Joe MoellerSep 17, 2024

Neither “Categorical product” nor “Cartesian product” are ideal descriptors imo. How are tensor products or coproducts not categorical? Cartesian is confusing when the product is not given by pairs, or when pairs gives a different monoidal structure.

I’m not sure why nobody afaict has used “limit product”.

Show threadjuleshSep 18, 2024
@Joemoeller I was twooting about something similar to this like a month ago..... back then I realised there is no product-y version of the phrase "disjoint union”, as in “the cartesian product in Set^op is disjoint union”. Maybe we should bring back the term "ordered pairs" from set theory, as in "the coproduct in Set^op is ordered pairs”
Show threadJoe Moeller
@julesh right, but that’s not exactly the answer to my question. I mean a name for product in any category.
Sep 18, 2024 at 2:38pmWeb