Related papers: Limits of $(\infty, 1)$-categories with structure …

We construct a left semi-model category of "marked strict $\infty$-categories" for which the fibrant objects are those whose marked arrows satisfy natural closure properties and are weakly invertible. The canonical model structure on strict…

Morphisms between (formal) contexts are certain pairs of maps, one between objects and one between attributes of the contexts in question. We study several classes of such morphisms and the connections between them. Among other things, we…

We consider epimorphisms and several variant notions -- split, effective, regular, strong, and extremal -- and determine which of these coincide in the metric coarse and coarsely Lipschitz categories. In particular, we characterise extremal…

We give a 3-categorical, purely formal argument explaining why on the category of Kleisli algebras for a lax monoidal monad, and dually on the category of Eilenberg-Moore algebras for an oplax monoidal monad, we always have a natural…

An n-category is some sort of algebraic structure consisting of objects, morphisms between objects, 2-morphisms between morphisms, and so on up to n-morphisms, together with various ways of composing them. We survey various concepts of…

Certain results involving "higher structures" are not currently accessible to computer formalization because the prerequisite $\infty$-category theory has not been formalized. To support future work on formalizing $\infty$-category theory…

In this short note we prove that two definitions of (co)ends in $\infty$-categories, via twisted arrow $\infty$-categories and via $\infty$-categories of simplices, are equivalent. We also show that weighted (co)limits, which can be defined…

We analyze a model for the homotopy theory of complete filtered $L_\infty$-algebras intended for applications in algebraic and algebro-geometric deformation theory. We provide an explicit proof of an unpublished result of E.\ Getzler which…

We characterise proper morphisms of $\infty$-topoi in terms of a relativised notion of compactness: we show that a geometric morphism of $\infty$-topoi is proper if and only if it commutes with colimits indexed by filtered internal…

We claim that the cube category whose morphisms are the interval-preserving monotone functions between finite Boolean lattices is a convenient general-purpose site for cubical sets. This category is the largest possible concrete…

Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…

We prove the existence of Morita model structures on the categories of small simplicial categories, simplicial sets, simplicial operads and dendroidal sets, modelling the Morita homotopy theory of $(\infty,1)$-categories and…

We study the relationship between almost mathematics, condensed mathematics and the categories of seminormed and Banach modules over a Banach ring $A$, with submetric (norm-decreasing) $A$-module homomorphisms for morphisms. If $A$ is a…

We introduce notions of lax semiadditive and lax additive $(\infty,2)$-categories, categorifying the classical notions of semiadditive and additive 1-categories. To establish a well-behaved axiomatic framework, we develop a calculus of lax…

We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…

In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…

Inspired by Lurie's theory of quasi-unital algebras we prove an analogous result for $\infty$-categories. In particular, we show that the unital structure of an $\infty$-category can be uniquely recovered from the underlying non-unital…

We consider categories of relational structures that fully embed every category of universal algebras, and prove a partial characterisation of these in terms of an infinitary variant of the notion of nowhere density of Ne\v{s}et\v{r}il and…

Coherence in a monoidal category asserts that all morphisms built from structural isomorphisms with a fixed source and target coincide. These structural isomorphisms include, in particular, the associators. Linearly distributive categories…

Stefanich generalized the notion of (locally) presentable $(\infty, 1)$-category to the notion of presentable $(\infty, n)$-category. We give a new description based on the new notion of $\kappa$-compactly generated $(\infty, n)$-category,…