Related Tags
categorical-logic × 70ct.category-theory × 48
lo.logic × 35
topos-theory × 35
type-theory × 9
model-theory × 7
reference-request × 6
set-theory × 5
foundations × 5
mathematical-philosophy × 3
ag.algebraic-geometry × 2
higher-category-theory × 2
constructive-mathematics × 2
locales × 2
linear-logic × 2
multiverse-of-sets × 2
sketches × 2
gn.general-topology × 1
sheaf-theory × 1
semigroups-and-monoids × 1
monoidal-categories × 1
universal-algebra × 1
quantum-mechanics × 1
proof-theory × 1
limits-and-colimits × 1