Related papers: Axiomatic Differential Geometry III-2

In this paper we give an axiomatization of differential geometry comparable to model categories for homotopy theory. Weil functors play a predominant role.

In our previous paper entitled "Axiomatic differential geometry -towards model categories of differential geometry-, we have given a category-theoretic framework of differential geometry. As the first part of our series of papers concerned…

In this paper is proposed a kind of model theory for our axiomatic differential geometry. It is claimed that smooth manifolds, which have occupied the center stage in differential geometry, should be replaced by functors on the category of…

The principal objective in this paer is to study the relationship between the old kingdom of differential geometry (the category of smooth manifolds) and its new kingdom (the category of functors on the category of Weil algebras to some…

We refurbish our axiomatics of differential geometry introduced in [Mathematics for Applications,, 1 (2012), 171-182]. Then the notion of Euclideaness can naturally be formulated. The principal objective in this paper is to present an…

We define Weil spaces, Weil manifolds, Weil varieties and Weil Lie groups over an arbitrary commutative base ring K (in particular, over discrete rings such as the integers), and we develop the basic theory of such spaces, leading up the…

Topos theory is a category-theoretic axiomatization of set theory. Model categories are a category-theoretical framework for abstract homotopy theory. They are complete and cocomplete categories endowed with three classes of morphisms…

We show that the category of finite-dimensional modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category is equivalent to the Gabriel-Zisman localisation of the category with respect to a certain class…

We prove that there exists a version of Weil descent, or Weil restriction, in the category of $\mathcal{D}$-algebras. The objects of this category are $k$-algebras $R$ equipped with a homomorphism $e \colon R \to R \otimes_k \mathcal{D}$…

We construct the Weil functor $T^A$ corresponding to a general Weil algebra $A = K \oplus N$: this is a functor from the category of manifolds over a general topological base field or ring $K$ (of arbitrary characteristic) to the category…

A covariant functor from the category of generic complex algebraic curves to a category of the AF-algebras is constructed. The construction is based on a representation of the Teichmueller space of a curve by the measured foliations due to…

We show that the category of categories with pullbacks and pullback preserving functors is cartesian closed.

We construct a 2-category of differential graded schemes. The local affine models in this theory are differential graded algebras, which are graded commutative with unit over a field of characteristic zero, are concentrated in non-positive…

We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…

This paper is a continuation of "Quantization of Lie bialgebras, I" (q-alg/9606005). We show that the quantization procedure defined in "Quantization of Lie bialgebras, I" is given by universal acyclic formulas and defines a functor from…

We present a differential-geometric formulation of automatic differentiation (AD) based on jet functors and Weil algebras. In this framework, forward- and reverse-mode differentiation arise naturally as pushforward and cotangent pullback,…

A new approach is suggested to characterize algebraically automorphisms of the category of free algebras of a given variety. It gives in many cases an answer to the problem set by the first of authors, if automorphisms of such a category…

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…

We show that the unbounded derived category of a Grothendieck category with enough projective objects is the base category of a derivator whose category of diagrams is the full 2-category of small categories. With this structure, we give a…

Let k be an algebraically closed field of characteristic two. Let R be the ring of Witt vectors of length two over k. We construct a group stack \hat G over k, the metaplectic extension of the Greenberg realization of Sp_{2n}(R). We also…