(untitled)

We haven’t covered product categories, however some pages ago, when we covered monoids and groups, we talked about the concept of a product group. The good news is that product categories are a generalization of product groups… -- https:// abuseofnotation.github.io/cate gory-theory-illustrated/11_natural_transformations/index.html