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.
in the natural numbers ordered by divisibility, {powers of 2} and {powers of 3} are both downsets with no maximal elements.
in the divisibility lattice, is the maximal element of everything. If we say it is a power of , there is no downset that just contains powers of .
This strikes me as a rather unsatisfactory fix.
1 to 13 of 13