Related papers: A short course on $\infty$-categories
We define for each $n \geq 1$ a symmetric monoidal $(\infty, n+1)$-category $n\mathrm{Pr}^L$ whose objects we call presentable $(\infty,n)$-categories, generalizing the usual theory of presentable $(\infty,1)$-categories. We show that each…
We generalise to a group homomorphism $\tau$ the $\chi$-graded categories of S\"{o}zer and Virelizier. These are categories in which both morphisms and objects have compatible degrees. We give a 'half-enriched' Yoneda lemma, a structure…
We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…
In this paper we introduce the notion of a relative volutive (higher) category, specializing to the notion of a lax volutive (higher) category. Our primary motivation to study these objects is the following: while any rigid symmetric…
In this paper we prove the equivalence of two symmetric monoidal $\infty$-categories of $\infty$-operads, the one defined in Lurie's book on Higher Algebra and the one based on dendroidal spaces. V.2 Some corrections made and exposition…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…
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…
This introduction to higher category theory is intended to a give the reader an intuition for what $(\infty,1)$-categories are, when they are an appropriate tool, how they fit into the landscape of higher category, how concepts from…
We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects…
In this review we give a detailed introduction to the theory of (curved) $L_\infty$-algebras and $L_\infty$-morphisms. In particular, we recall the notion of (curved) Maurer-Cartan elements, their equivalence classes and the twisting…
Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to…
The first and shorter part of this thesis deals with the structural assumption of invertibility in a Lie groupoid. When this assumption is dropped, we obtain the notion of a Lie category: a small category, endowed with a compatible…
Let $\mathcal A$ be a locally noetherian Grothendieck category. In this paper, we study subcategories of $\mathcal A$ using subsets of the Rosenberg spectrum $\mathfrak Spec(\mathcal A)$. Along the way, we also develop results in local…
We introduce a (bi)category $\mathfrak{Sing}$ whose objects can be functorially assigned spaces of distributions and generalized functions. In addition, these spaces of distributions and generalized functions possess intrinsic notions of…
Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant under the weaker notions of equivalence at play, such as…
This work is the first in a series laying the foundations of derived geometry in the $C^{\infty}$ setting, and providing tools for the construction and study of moduli spaces of solutions of Partial Differential Equations that arise in…
An elementary theory of strict $\infty $-categories with application to concrete duality is given. New examples of first and second order concrete duality are presented.
In this survey, we first present basic facts on A-infinity algebras and modules including their use in describing triangulated categories. Then we describe the Quillen model approach to A-infinity structures following K. Lefevre's thesis.…
The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…