Tag - Higher category theory
Riehl and Verity introduced ∞-cosmoi - certain simplicially enriched categories - as a framework in which to give a model-independent approach to ∞-categories. For instance, there is an infinity cosmos of ∞-categories with finite limits or colimits, or of cartesian fibrations. In this talk, I will introduce the notion
of an accessible ∞-cosmos and explain that most, if not all, ∞-cosmoi arising in practice are accessible. Applying results of earlier work, it follows that accessible ∞-cosmoi have homotopy weighted colimits and admit a broadly applicable homotopical adjoint functor theorem.
Martin Bidlingmaier: Model categories of lcc categories and the gros model of dependent type theory.
In this talk we discuss various model categories of locally cartesian closed (lcc) categories and their relevance to coherence problems, in particular the coherence problem of categorical semantics of dependent type theory. We begin with Lcc, the model category of locally cartesian closed (lcc) sketches. Its fibrant objects are precisely the lcc categories, though without assigned choices of universal objects. We then obtain a Quillen equivalent model category sLcc of strict lcc categories as the category of algebraically fibrant objects of Lcc. Strict lcc categories are categories with assigned choice of lcc structure, and their morphisms preserve these choices on the nose. Conjecturally, sLcc is precisely Lack’s model category of algebras for a 2-monad T , where T is instantiated with the free lcc category functor on Cat. We then discuss the category of algebraically cofibrant objects of sLcc and show how it can serve as a "gros" model of dependent type theory.
The homotopy hypothesis is a well-known bridge between topology and category theory. Its most general formulation, due to Grothendieck, asserts that topological spaces should be "the same" as infinity-groupoids. In the stable version of the homotopy hypothesis, topological spaces are replaced with spectra.
In this talk we will review the classical homotopy hypothesis, and then focus on the stable version. After discussing what the stable homotopy hypothesis should look like on the categorical side, we will use the Tamsamani model of higher categories to provide a proof.
We introduce the notion of M-locally generated category for a factorization system (E,M) and study its properties. We offer a Gabriel-Ulmer duality for these categories, introducing the notion of nest. We develop this theory also from an enriched point of view. We apply this technology to Banach spaces showing that it is equivalent to the category of models of the nest of finite-dimensional Banach spaces.
Among Banach spaces approximate injectivity is more important than injectivity. We will treat it from the point of view of enriched category theory - as enriched injectivity over complete metric spaces.
Cartmell showed that the category of generalized algebraic theories is equivalent to the category of contextual categories. This implies that the theory of generalized algebraic theories is essentially algebraic. We characterize the essentially algebraic theory of generalized algebraic theories as the free category with finite limits and with an exponentiable arrow.
Hopf categories were introduced by Batista, Caenepeel and Vercruysse in 2016, as a many-object generalization of Hopf algebras linked to other notions like multiplier Hopf algebras and with applications to categorical Galois theory. What is of particular interest is that the multiplication and comultiplication appear to make use of different monoidal products: Gabriella Böhm in subsequent work expressed Hopf categories as specific opmonoidal monads. In our work, we follow a different direction of generalizing Hopf monoids in a braided monoidal bicategory, that allows us to realize Hopf categories as Hopf-type objects over the same monoidal product, restoring in a sense the self-dual feature of classical Hopf algebras. In this talk, we introduce oplax bimonoids and oplax Hopf monoids in an arbitrary braided monoidal bicategory, we study their main properties and we exemplify such structures in a Span-type bicategory where they return semi-Hopf and Hopf categories.
Comprehension schemes arose as crucial notions in the early work on the foundations of set theory, and hence they found expression in a considerable variety of foundational settings for mathematics. Particularly, they have been introduced to the context of categorical logic first by Lawvere and then by Benabou in the 1970s.
In this talk we define and study a theory of comprehension schemes for fibered ∞-categories, generalizing Johnstone’s respective notion for ordinary categories. This includes natural generalizations of all the fundamental instances originally defined by Benabou, and their application to Jacob's comprehension categories. Thereby, we can characterize
- numerous categorical structures arising in higher topos theory,
- the notion of univalence,
- internal ∞-categories,
in terms of comprehension schemes, while some of the 1-categorical counterparts fail to hold in ordinary category theory. As an application, we can show that the universal cartesian fibration is represented via externalization by the "freely walking chain" in the ∞-category of small ∞-categories.
In the end, if my time management permits, we take a look at the externalization construction of internal ∞-categories from a model categorical perspective and review some examples from the literature in this light.
You must be logged in to post a comment.