Related papers: Kan extensions and the calculus of modules for $\i…
We develop Weiss's manifold calculus in the setting of $\infty$-categories, where we allow the target $\infty$-category to be any $\infty$-category with small limits. We will establish the connection between polynomial functors, Kan…
In this dissertation we examine enrichment relations between categories of dual structure and we sketch an abstract framework where the theory of fibrations and enriched category theory are appropriately united. We initially work in the…
We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…
We give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We define universal properties for multicategories, and use these to derive familiar rules for…
For an endofunctor $F\colon\mathcal{C}\to\mathcal{C}$ on an ($\infty$-)category $\mathcal{C}$ we define the $\infty$-category $\operatorname{Cart}(\mathcal{C},F)$ of generalized Cartier modules as the lax equalizer of $F$ and the identity.…
Both simplicial sets and simplicial spaces are used pervasively in homotopy theory as presentations of spaces, where in both cases we extract the "underlying space" by taking geometric realization. We have a good handle on the category of…
We generalize the differential space concept as a tool for developing differential geometry, and enrich this geometry with infinitesimals that allow us to penetrate into the superfine structure of space. This is achieved by Yoneda embedding…
Optics are bidirectional accessors of data structures; they provide a powerful abstraction of many common data transformations. This abstraction is compositional thanks to a representation in terms of profunctors endowed with an algebraic…
We develop a theory of curved A-infinity-categories around equivalences of their module categories. This allows for a uniform treatment of curved and uncurved A-infinity-categories which generalizes the classical theory of uncurved…
A theorem of Keller states that the Yoneda algebra of the simple modules over a finite-dimensional algebra is generated in cohomological degrees $0$ and $1$ as a minimal $A_\infty$-algebra. We provide a proof of an extension of Keller's…
Prolongations of a group extension can be studied in a more general situation that we call group extensions of the co-type of a crossed module. Cohomology classification of such extensions is obtained by applying the obstruction theory of…
In this work we provide a model-independent notion of local fibrations of $(\infty,2)$-categories which generalises the well-known theory of locally coCartesian fibrations of $(\infty,1)$-categories. Based on previous work, we construct a…
This note is a contribution written for the second volume of the Encyclopedia of mathematical physics. We give an informal introduction to the notions of an $(\infty,n)$-category and $(\infty,n)$-functor, discussing some of the different…
Let $B$ be a finite dimensional algebra and $A=B[P_0]$ be the one-point extension algebra of $B$ with respect to the finitely generated projective $B$-module $P_0$. The categories of $B$-modules and $A$-modules are related by two adjoint…
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…
Modular operads are an extension of operads. In the same way that operads, as dendroidal sets, can be considered as presheaves over the category of trees, so can modular operads be considered as presheaves over a category of graphs. This…
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…
In this paper we start by pointing out that Yoneda's notion of a regular span $S \colon \mathcal{X} \to \mathcal{A} \times \mathcal{B}$ can be interpreted as a special kind of morphism, that we call fiberwise opfibration, in the 2-category…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
One of the major advantages of $\infty$-category theory over classical $1$-category theory is its robust and homotopically meaningful framework for taking (co)limits of diagrams of $\infty$-categories. However, it is both subtle and crucial…