Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have split off ordinal sum from the entry on joins as it is needed in other entries as well. I have not revised the entry just doing a cut and paste, so it needs more work!
I added a note here on Lawvere’s definition of the ordinal sum of categories, from “Ordinal sums and equational doctrines”.
@ Anonymous #3 ???? There are no natural isomorphisms but for finite ordinals, is the same ordinal as as both are , so is that what you ment?
Further clarified that addition of finite ordinals is symmetric, but not infinite ones. Actually this page needs some more serious work in clarifying the finite/infinite distinction; it reads kind of as if whoever wrote it thought that “ordinal” meant “finite ordinal”. (Not that I think anyone actually thought that, I’m just saying the wording is confusing.)
Wait a minute: anonymous must have been saying that there is no symmetry isomorphism (even for finite ordinals) for the ordinal sum monoidal product that is natural with respect to ordinal maps. That’s a correct statement! The current page suggests that carries symmetric monoidal structure, but that’s wrong.
Thanks Todd; that’s probably a better guess as to what Anonymous had in mind.
Added a redirect for ordinal sum of categories.
1 to 9 of 9