The category
- The Underlying Category. The category
of pointed sets. - The Monoidal Product. The coproduct functor
of Chapter 2: Constructions With Sets, Item 1 of Proposition 2.2.3.1.3.
- The Monoidal Unit. The functor
- The Associators. The natural isomorphism
- The Left Unitors. The natural isomorphism
- The Right Unitors. The natural isomorphism
- The Symmetry. The natural isomorphism