Content atlas · skill

Verify natural transformations

The learner can verify a family of component morphisms by checking the naturality equation for every morphism in the source category.

1 published problem

1. Two Kinds of One — Keep the category of sets fixed, change how sets combine, and determine which object acts like one in each sense.