Related papers: Affine geometric spaces in tangent categories
This article is a sequel to hep-th/9411050, q-alg/9412017. In Chapter 1 we associate with every Cartan matrix of finite type and a non-zero complex number $\zeta$ an abelian artinian category $\FS$. We call its objects {\em finite…
We investigate the structure of smooth holomorphic foliations with numerically flat tangent bundles on compact K\"ahler manifolds. Extending earlier results on non-uniruled projective manifolds by the second and fourth authors, we show that…
In this paper we study cobordism categories consisting of manifolds which are endowed with geometric structure. Examples of such geometric structures include symplectic structures, flat connections on principal bundles, and complex…
We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex)…
We determine a class of ringed space X, for which the category of locally free sheaves of bounded rank is equivalent to the category of finitely generated projective A(X)-modules, where A(X) denote the ring of global sections of X. The…
In the present paper we investigate the mechanics of systems of affinely-rigid bodies, i.e., bodies rigid in the sense of affine geometry. Certain physical applications are possible in modelling of molecular crystals, granular media, and…
We develop algebraic geometry for general Segal's Gamma-rings and show that this new theory unifies two approaches we had considered earlier on (for a geometry under Spec Z). The starting observation is that the category obtained by gluing…
In a previous work, the authors introduced the notion of `coherent tangent bundle', which is useful for giving a treatment of singularities of smooth maps without ambient spaces. Two different types of Gauss-Bonnet formulas on coherent…
One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a "structured cospan" is a…
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…
A theory of graded manifolds can be viewed as a generalization of differential geometry of smooth manifolds. It allows one to work with functions which locally depend not only on ordinary real variables, but also on $\mathbb{Z}$-graded…
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…
Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and…
We make a systematic study of the focal surface of a congruence of lines in the projective space. Using differential techniques together with techniques from intersection theory, we reobtain in particular all the invariants of the focal…
In this paper, we try to realize the unbounded derived category of an abelian category as the homotopy category of a Quillen model structure on the category of unbounded chain complexes. We construct such a model structure based on…
In the first part of the paper we define a perturbative (pre-formal) geometry and formulate a theorem on the relation between the construction of a perturbative neighborhood of affine varieties and the higher tangent bundles. In the second…
We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong…
Given a complex manifold $X$, any K\"ahler class defines an affine bundle over $X$, and any K\"ahler form in the given class defines a totally real embedding of $X$ into this affine bundle. We formulate conditions under which the affine…
We introduce a tangential theory for linked smooth manifolds of depth $1$, i.e., for spans $\mathfrak{S}=(M\overset{\pi}{\twoheadleftarrow} L\overset{\iota}{\hookrightarrow}N)$ of smooth manifolds where $\pi$ is a fibre bundle and $\iota$…
We introduce a spherical variant of Milnor's classifying construction for diffeological groups, based on quadratic normalization of barycentric coordinates. This construction gives rise to a contractible diffeological space endowed with…