Related papers: Limits in $n$-categories
The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…
We develop a number of basic concepts in the theory of categories internal to an $\infty$-topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal categories, and we use these results to prove the universal…
We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $\Delta$-complexes, respectively. The functors of classifying spaces and face posets are compatible with…
Let $n$ be a positive integer. We show that an $n$-extension closed subcategory of an $n$-exangulated category naturally inherits an $n$-exangulated structure through restriction of the ambient $n$-exangulated structure. Furthermore, we…
In this paper we prove that various quasi-categories whose objects are $\infty$-categories in a very general sense are complete: admitting limits indexed by all simplicial sets. This result and others of a similar flavor follow from a…
We present some results on (co)limits of diagrams in $\infty$-categories, as well as those in $(n, 1)$-categories. In particular, we deduce a way to reshape colimit diagrams into simplicial ones, and a characterisations of $n$-cofinality…
We focus on working on incidence rings, a class of (possibly infinite) matrix rings indexed by ordered sets. Some general properties about them are given, including how they are always the inverse limit of finite matrix rings, giving a…
We construct model category structures on various types of (marked) *-categories. These structures are used to present the infinity categories of (marked) *-categories obtained by inverting (marked) unitary equivalences. We use this…
We show that basic homotopical notions such as homotopy sets and groups, connected and truncated maps, cellular constructions and skeleta, etc., extend to the setting of $(\infty,\infty)$-categories, as well as to presentable categories…
Recent work in set theory indicates that there are many different notions of 'set', each captured by a different collection of axioms, as proposed by J. Hamkins in [Ham11]. In this paper we strive to give one class theory that allows for a…
In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from…
Let $n$ be an integer greater or equal than $3$. We give a simultaneous generalization of $(n-2)$-exact categories and $n$-angulated categories, and we call it one-sided $n$-suspended categories. One-sided $n$-angulated categories are also…
We generalize the notion of ends and coends in category theory to the realm of module categories over finite tensor categories. We call this new concept "module (co)end". This tool allows us to give different proofs to several known results…
This paper is the first part of a series that investigates the existence of $n$-exact structures on idempotent complete additive categories for positive integers $n$. It is shown that every idempotent complete additive category has a unique…
We prove an ambidexterity result for $\infty$-categories of $\infty$-categories admitting a collection of colimits. This unifies and extends two known phenomena: the identification of limits and colimits of presentable $\infty$-categories…
In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model…
In this paper, we define indexed type theories which are related to indexed ($\infty$-)categories in the same way as (homotopy) type theories are related to ($\infty$-)categories. We define several standard constructions for such theories…
The study of topological quantum field theories increasingly relies upon concepts from higher-dimensional algebra such as n-categories and n-vector spaces. We review progress towards a definition of n-category suited for this purpose, and…
It is known that monoidal categories have a finite definition, whereas multicategories have an infinite (albeit finitary) definition. Since monoidal categories correspond to representable multicategories, it goes without saying that…
We develop some basic concepts in the theory of higher categories internal to an arbitrary $\infty$-topos. We define internal left and right fibrations and prove a version of the Grothendieck construction and of Yoneda's lemma for internal…