Tagged Questions
3
votes
2answers
118 views
Is there a categorification of (infinite) ordinal arithmetic?
Background for the curious reader:
An ordinal $\beta$ is a transitive set in the sense that $\alpha\in\beta$ implies $\alpha\subset\beta$. Any ordinal is naturally well-ordered under $\in$ (so any ...
2
votes
1answer
114 views
Products and coproducts in the simplex category
I wonder if the category $\Delta$ of finite totally ordered sets and monotone functions has binary products and coproducts. In particular, is the ordinal sum a categorical coproduct and/or is there ...
