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.
To what would Prof be analogously equivalent?
To total categories.
Wouldn’t it be presheaf categories, i.e. free cocomplete categories?
Oh, sorry, yes, I was reading much too quickly.
Daniel, I’m sorry, but that’s just wrong. I’m going to have to revert.
Normally I refer to posets with finite joins as a join-semilattice.
1 to 11 of 11