(0,1)-category theory: logic, order theory
(0,1)-category
relation between preorders and (0,1)-categories
proset, partially ordered set (directed set, total order, linear order)
top, true,
bottom, false
monotone function
implication
filter, interval
lattice, semilattice
meet, logical conjunction, and
join, logical disjunction, or
compact element
lattice of subobjects
complete lattice, algebraic lattice
distributive lattice, completely distributive lattice, canonical extension
hyperdoctrine
(0,1)-topos
Heyting algebra
regular element
Boolean algebra
frame, locale
A kind of modular lattice.
Created on August 25, 2012 at 23:40:09. See the history of this page for a list of all contributions to it.