DanielFilan comments on DanielFilan’s Shortform Feed

[DanielFilan]

I do not have many ideas here, so it might mostly be me talking about the category-theoretic definition of products and co-products.