Related papers: On (co)ends in $\infty$-categories
The goal of this paper is to develop a theory of join and slices for strict $\infty$-categories. To any pair of strict $\infty$-categories, we associate a third one that we call their join. This operation is compatible with the usual join…
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with…
This paper explores the restriction behavior of silting-induced $t$-structures and co-$t$-structures on triangulated categories endowed with metrics. For compactly generated triangulated categories admitting small coproducts, silting…
Thick simplices are the nerves of the contractible groupoids obtained by inverting the arrows in the categories [n]. Using explicit expansions of simplicial subsets of the thick simplices, we present a new approach to results of Rezk and of…
We provide an $(\infty,n)$-categorical version of the straightening-unstraightening construction, asserting an equivalence between the $(\infty,n)$-category of double $(\infty,n-1)$-right fibrations over an $(\infty,n)$-category…
We develop a notion of an algebra over an infinity-operad with values in infinity-categories which is completely intrinsic to the formalism of dendroidal sets. Its definition involves the notion of a coCartesian fibration of dendroidal sets…
A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…
In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we establish criteria implying that an $\infty$-category - for…
We define the notion of Cartesian 2-fibrations, and prove a weak analogue of straightening. Using Barwick's notion of operator categories and the notion of a Cartesian 2-fibration, we extend the notion of $\infty$-operads to the…
We study (not necessarily connected) Z-graded A-infinity-algebras and their A-infinity-modules. Using the cobar and the bar construction and Quillen's homotopical algebra, we describe the localisation of the category of A-infinity-algebras…
This paper provides a blueprint for the construction of a symplectic $(A_\infty,2)$-category, $\mathsf{Symp}$. We develop two ways of encoding the information in $\mathsf{Symp}$ -- one topological, one algebraic. The topological encoding is…
Coherence is here demonstrated for sesquicartesian categories, which are categories with nonempty finite products and arbitrary finite sums, including the empty sum, where moreover the first and the second projection from the product of the…
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 show that both the $\infty$-category of $(\infty, \infty)$-categories with inductively defined equivalences, and with coinductively defined equivalences, satisfy universal properties with respect to weak enrichment in the sense of Gepner…
Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…
Effective Burnside $\infty$-categories are the centerpiece of the $\infty$-categorical approach to equivariant stable homotopy theory. In this \'etude, we recall the construction of the twisted arrow $\infty$-category, and we give a new…
In this paper we introduce in a braided setting the notion of left module for an invertible 1-cocycle and we prove some categorical equivalences between categories of modules associated to an invertible 1-cocycle and categories of modules…
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…
In this paper we describe two ways on which cofibred categories give rise to bisimplicial sets. The "fibred nerve" is a natural extension of Segal's classical nerve of a category, and it constitutes an alternative simplicial description of…
We prove a refinement of Quillen's Theorem A, providing necessary and sufficient conditions for a functor to be cofinal with respect to diagrams valued in a fixed $\infty$-category. We deduce this from a general duality phenomenon for…