Content atlas · skill
Classify monoidal unit objects
Given a stated monoidal product, the learner can construct or classify an object I with natural unit isomorphisms I⊗X≅X and X⊗I≅X and distinguish this property from terminality.
1 published problem
- Two Kinds of One — Keep the category of sets fixed, change how sets combine, and determine which object acts like one in each sense.