Authors

- Anonymous Coward? co- or authored: idempotent monad
- Stephan Alexander Spahn? co- or authored: (n,1)-category in Ho TT, étale group scheme, étale scheme, étale topos, étale types, 几何易经, Ad(K), Alexandre Miquel, Cartier duality, Clemens Berger, A Cellular Nerve for Higher Categories, Coq, Dold-Kan correspondence, Et/X, Eugenio Moggi, Feynman diagram, Fiore and Leinster on complex numbers, Formalizing Belief Revision in Type Theory, Gallina example, Galois connection, Galois module, Giuseppe Primiero, Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach, Grothendieck construction in HTT, HTT, 1. an overview of higher category theory, HTT, 1.1, fondations for higher category theory, HTT, 1.2, the language of higher category theory, HTT, 2. fibrations of simplicial sets, HTT, 4. limits and colimits, HTT, 5. presentable and accessible infinity-categories, HTT, A.2 model categories, HTT, A.2.2, HTT, A.3 simplicial categories, HTT, A.3.1, HTT, A.3.2, Haskell, Hazewinkel, Witt vectors, Hilbert scheme, Ho TT-Coq - references, Joyal model structure in HTT, Lawvere et al, algebraic theories, Lawvere-Tierney operator, Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads, Monads and the Barr-Beck Theorem, Pi-closure, Pi-factorization system, Poset, Primiero, information and knowledge, chapter 2, analyticity and information, Primiero, information and knowledge, chapter 3, formal representation of the notion of information, Rod Nedepelt, Segal condition, Sylow's theorem, W-type, Witt polynomial, Witt vectors, a reading guide to HTT, a syntactical approach to weak omega-groupoids, adjunctions, modalities and closures, aesthetics of mathematics, algebraic- and coalgebraic semantics of modal logic, applications of operads, aspects of topoi, axiomatic cohesion, axioms of choice, bimodule, bisimulation , categorical distribution, categorical logic and type theory, category object, category theoretic aspects of the theory of group schemes, classical lambda calculus in modern dress, coalgebra over a comonad, coalgebras, corings and birings in the theory of group shemes, codensity monad, combinatorial shape, combinatorial species, combinatorics, combinatorics of trees, constant group scheme, continuum hypothesis, copy locally representable structured (infinity,1)-topos, cosimplicial-thickening functor, couniversal mapping property 1, derivation, diagonalizable group scheme, dictionary Ho CT-Ho TT, directed algebraic structure, directed homotopy theory, directed object, directed object', directed object - references, display of a formal p-divisible group, duality, effect algebra, effect algebra of predicates, ethics of mathematics, examples of (group) schemes, extensive category, extensive quantity, factorization of a monad, factorization system, field with one element, foundations, graded derivation, graph - references, group algebra, heterogenous equality, higher inductive type, homotopy type theory and Voevodsky's univalent foundations, idempotent monad, infinitesimal cohesive type theory, information theory, internal formulation of cohesion, internal type theory and nonstandard type theory, interval object, lambda ring, level in a topos, locally representable structured (infinity,1)-topos, mapping simplex, mates, modal logic, modalities and multimodalities, model structure on s Set Cat in HTT, model theory, modus, monad (functional programming), monad on a quasicategory, monads, operads, algebraic theories, substitution, monads in Haskell, monoidal quasicategory, motivic measure, multiplicative group scheme, multivariable adjunction, n-categories, hyperstructures and cohesive Ho TT, n-gram, neorealism, nerve, nerves and Segal conditions, new directions in categorical logic, new page Galois theory, new page Krull dimension, new page number theory, newpage étale types, newpage cohesion, notes on Lawvere-Tierney topologies, monads, object classifiers, local toposes, indexed functors , notes on elephant, notes on modal logic, p-divisible simplicial group scheme, p-torsion, philosophy of mathematics, polynomial functor, polynomial monad, realisation-and-nerve adjunction, reflective subcategory of a topos, relation of certain classes of group schemes, relative nerve, rules of type theories, segment object, setoid, sheaf on a sheaf, simplicial scheme, spam, spam 1, strength, substitution, subtopos, the fundamental group and Galois theory, the higher derived cahiers topos, the p-divisible group A(p), timeline of the theory of operads, total category, type category, type theory, univalence axiom, univalence in simplicial sets, weighted homotopy theory
- Toby Bartels? co- or authored: a reading guide to HTT
- Urs Schreiber? co- or authored: Home Page
- admin? co- or authored: Home Page