Related papers: Tangent Ind-Categories
We develop the theory of ind-coherent sheaves on schemes and stacks. The category of ind-coherent sheaves is closely related, but inequivalent, to the category of quasi-coherent sheaves, and the difference becomes crucial for the…
We make precise the analogy between Goodwillie's calculus of functors in homotopy theory and the differential calculus of smooth manifolds by introducing a higher-categorical framework of which both theories are examples. That framework is…
This paper describes how to define and work with differential equations in the abstract setting of tangent categories. The key notion is that of a curve object which is, for differential geometry, the structural analogue of a natural number…
Tangent categories offer a categorical context for differential geometry, by categorifying geometric notions like the tangent bundle functor, vector fields, Euclidean spaces, vector bundles, connections, etc. In the last decade, the theory…
In this paper we provide a deep and systematic study of what it means to be an immersion, a submersion, a local diffeomorphism, and unramified in a tangent category. We also give a systematic study of the ways in which these classes of…
We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…
We describe the indecomposable components of the tangent bundle of the punctual Hilbert scheme of a smooth projective surface. As an application, we prove a recent conjecture about classification of products of punctual Hilbert schemes of…
Palu defined the index with respect to a cluster tilting object in a suitable triangulated category, in order to better understand the Caldero-Chapoton map that exhibits the connection between cluster algebras and representation theory. We…
Previous work has shown that reverse differential categories give an abstract setting for gradient-based learning of functions between Euclidean spaces. However, reverse differential categories are not suited to handle gradient-based…
We study the question when a category of ind-objects is abelian. Our answer allows a further generalization of the notion of weakly Tannakian categories introduced by the author. As an application we show that, under suitable conditions,…
Tangent category theory is a well-established categorical framework for differential geometry. A long list of fundamental geometric constructions, such as the tangent bundle functor, vector fields, Euclidean spaces, and vector bundles have…
Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and…
Several authors have recently constructed characteristic classes for classes of infinite rank vector bundles appearing in topology and physics. These include the tangent bundle to the space of maps between closed manifolds, the infinite…
We describe dual notions of tangent bundle for an infinity-topos, each underlying a tangent infinity-category in the sense of Bauer, Burke and the author. One of those notions is Lurie's tangent bundle functor for presentable…
We build a tangent structure on the category of divided power algebras using a particular notion of semidirect product. We show that this tangent structure admits an adjoint tangent structure, which involves a version of K\"ahler…
Cartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential categories include classical differential calculus of smooth…
Principal bundles have at least three different definitions, depending on the category of geometric objects studied. In Differential Geometry, they are defined as locally trivial projection map of smooth manifolds with an atlas whose…
For a full subcategory B of a unital A_infinity-category C a quotient unital A_infinity-category `C/B' is defined. For differential graded categories such quotient is constructed by V.Drinfeld. Our construction is explicit and uses freely…
This paper explores a new perspective on the universality of the vertical lift in tangent categories by presenting a categorification of the dimension of smooth manifolds. The universality of the vertical lift is a key part of the axioms of…
This paper explores differential bundles in tangent categories, characterizing them as functors from a structure category. This is analogous to the actegory perspective of Garner and Leung, which we also use to describe the tangent…