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

  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.