Michael Shulman
Authors
-
Anonymous Coward?
co- or authored:
Beck-Chevalley condition > history, Heyting 2-category, comprehensive factorization
-
Bas Spitters?
co- or authored:
categorified logic
-
David Corfield?
co- or authored:
categorified logic, internal logic of a 2-category
-
David Roberts?
co- or authored:
regular 2-categories and choice
-
Jacques Distler?
co- or authored:
exponentials in a 2-category
-
Mathieu Dupont?
co- or authored:
exactness hypothesis, n-prefix
-
Mike Shulman
co- or authored:
2-Giraud theorem, 2-categorical logic, 2-categorical logic collated, 2-congruence, 2-geometric morphism, 2-internal first-order logic, 2-polycongruence, 2-pretopos, 2-quasitopos, 2-site, Beck-Chevalley condition > history, Cauchy factorization, Grothendieck 2-topos, Heyting 2-category, Home Page, Mike Shulman, NNO in a 2-category, Street CBS, Weber YS2T, What is a 2-topos, axiom of 2-choice, balancedness in n-pretoposes, categorified logic, category of all sets, classifying cosieve, classifying discrete opfibration, coherent 2-category, colimits in an n-pretopos, comprehensive factorization, core, definitional equality for 2-logic, dependent types in a 2-category, discrete object, duality involution, eso-generator, exact 2-category, exact completion of a 2-category, exactness hypothesis, exponentials in 2-categories, exponentials in a 2-category, extensive 2-category, fibrational slice, full morphism, functor comprehension principle, functorially dependent types, groupoidal object, header size test, internal logic of a 2-category, n-congruence, n-prefix, n-topos for large n, opposites in an exact 2-category, posetal object, product types in a 2-category, regular 2-categories and choice, regular 2-category, size structure, slice 2-category, stack semantics, truncated 2-topos, truncated object, truncation in an exact 2-category
-
Toby Bartels?
co- or authored:
2-site, Cauchy factorization, categorified logic, category of all sets, classifying discrete opfibration, colimits in an n-pretopos, exponentials in a 2-category, header size test, internal logic of a 2-category, n-prefix, n-topos for large n, truncated 2-topos, truncated object
-
admin?
co- or authored:
Home Page