Related papers: Tangent infinity-categories and Goodwillie calculu…
Conically smooth spaces (CSSs), introduced by Ayala, Francis and Tanaka, constitute a large class of singular spaces including Whitney-stratified spaces. We reduce the stratified topology of CSSs over depth-$1$ posets to the ordinary…
The Legendre-Fenchel transform is a classical piece of mathematics with many applications. In this paper we show how it arises in the context of category theory using categories enriched over the extended real numbers $\overline{…
We extend Lurie's definition of enriched $\infty$-categories to notions of left enriched, right enriched and bienriched $\infty$-categories, which generalize the concepts of closed left tensored, right tensored and bitensored…
The theory of principal bundles makes sense in any infinity-topos, such as that of topological, of smooth, or of otherwise geometric infinity-groupoids/infinity-stacks, and more generally in slices of these. It provides a natural geometric…
We introduce limit categories for cotangent stacks of smooth stacks as an effective version of classical limits of categories of D-modules on them. We develop their general theory and pursue their relation with categories of D-modules. In…
The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of…
We explain the relationship between various characteristic classes for smooth manifold bundles known as ``higher torsion'' classes. We isolate two fundamental properties that these cohomology classes may or may not have: additivity and…
With a view towards applications in the theory of infinite-dimensional representations of finite-dimensional Lie supergroups, we introduce a new category of supermanifolds. In this category, supermanifolds of `maps' and `fields' (fibre…
We introduce the theory of generalised ultracategories, these are relational extensions to ultracategories as defined by Lurie. An essential example of generalised ultracategories are topological spaces, and these play a fundamental role in…
We generalise the construction of the Lie algebroid of a Lie groupoid so that it can be carried out in any tangent category. First we reconstruct the bijection between left invariant vector fields and source constant tangent vectors based…
We prove that an enriched $\infty$-category is completely determined by its enriched presheaf category together with a `marking' by the representable presheaves. More precisely, for any presentably monoidal $\infty$-category $\mathcal{V}$…
The Andr\'e-Quillen cohomology of an algebra with coefficients in a module is defined by deriving a functor based on K\"ahler differential forms. It can be computed using a cofibrant resolution of the algebra in a model category structure…
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…
In the theory of so called "Covariant Quantum Mechanics" a basic role is played by Hermitian vector fields on a complex line bundle in the frameworks of Galilei and Einstein spacetimes. In fact, it has been proved that the Lie algebra of…
In this paper we propose a new treatment about infinite dimensional manifolds, using the language of category and functor. Our definition of infinite dimensional manifolds is a natural generalization of finite dimensional manifolds in the…
We introduce the notion of generalized function taking values in a smooth manifold into the setting of full Colombeau algebras. After deriving a number of characterization results we also introduce a corresponding concept of generalized…
We characterize Kaehler manifolds with trivial logarithmic tangent bundle (with respect to a divisor D) as a class of certain compatifications of complex semi-tori.
We study various characterizations of higher sites over a given $\infty$-category $\mathcal{C}$ which are conceptually in line with their classical ordinary categorical counterparts, and extract some new results about $\infty$-topos theory…
We do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $\infty$-categories) for additive $\infty$-categories, (2) define the notion of nilpotent extensions for…
$\infty$-category theory was originally developed in the context of classical homotopy theory using standard set theoretical assumptions, but has since been extended to a variety of mathematical foundations. One such successful effort,…