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