Related papers: Discrete differential geometry in homotopy type th…

Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work…

The combination of words ``discrete curvature'' is only an apparent contradiction. In this survey we describe curvature notions associated with polygons, polyhedral surfaces, and with abstract polyhedral manifolds. Several theorems about…

Using the idea of the degree of a smooth mapping between two manifolds of the same dimension we present here the topological (homotopical) classification of the mappings between spheres of the same dimension, vector fields, monopole and…

We consider here the category of diffeological vector pseudo-bundles, and study a possible extension of classical differential geometric tools on finite dimensional vector bundles, namely, the group of automorphisms, the frame bundle, the…

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…

The statement of the Gauss-Bonnet theorem brings up an unexpected form of reflexivity (major concept of philosophy of mathematics), so that geometry contemplates itself in it. It is therefore the revolutionary and multifaceted concept of…

In the first part we use Gromov's K--area to define the K--area homology which stabilizes into singular homology on the category of pairs of compact smooth manifolds. The second part treats the questions of certain curvature gaps. For…

We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…

We define a frontal bundle by imposing a compatibility condition on two types of coherent tangent bundles over a surface with boundary. Since it is known that there are two Gauss-Bonnet type formulas for coherent tangent bundles, we obtain…

We develop the theory of fundamental classes in the setting of motivic homotopy theory. Using this we construct, for any motivic spectrum, an associated bivariant theory in the sense of Fulton-MacPherson. We import the tools of Fulton's…

This study first provides a brief overview of the structure of typical Grassmann manifolds. Then a new type of supergrassmannians is construced using an odd involution in a super ringed space and by gluing superdomains together. Next,…

The inclusion of 1-categories into $(\infty,1)$-categories fails to preserve colimits in general, and pushouts in particular. In this note, we observe that if one functor in a span of categories belongs to a certain previously-identified…

Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…

A tangent category is a category equipped with an endofunctor that satisfies certain axioms which capture the abstract properties of the tangent bundle functor from classical differential geometry. Cockett and Cruttwell introduced…

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…

A theory of principal bundles possessing quantum structure groups and classical base manifolds is presented. Structural analysis of such quantum principal bundles is performed. A differential calculus is constructed, combining differential…

We formulate differential cohomology and Chern-Weil theory -- the theory of connections on fiber bundles and of gauge fields -- abstractly in the context of a certain class of higher toposes that we call "cohesive". Cocycles in this…

The apparatus of motivic stable homotopy theory provides a notion of Euler characteristic for smooth projective varieties, valued in the Grothendieck-Witt ring of the base field. Previous work of the first author and recent work of…

Perhaps the most important contribution of gauge theory to general mathematics is to point out the importance of association functors. Emphasizing category theory we characterize association functors by two of their natural properties and…

We characterize the class of homotopy pull-back squares by means of elementary closure properties. The so called Puppe theorem which identifies the homotopy fiber of certain maps constructed as homotopy colimits is a straightforward…