Related papers: Synthetic differential geometry within homotopy ty…
We develop a differential geometric framework for parallel transport over path spaces and a corresponding discrete theory, an integrated version of the continuum theory, using a category-theoretic framework.
The goal of this dissertation is to present results from synthetic homotopy theory based on homotopy type theory (HoTT). After an introduction to Martin-L\"of's dependent type theory and homotopy type theory, key results include a synthetic…
The investigation of the Hamiltonian dynamical counterpart of phase transitions, combined with the Riemannian geometrization of Hamiltonian dynamics, has led to a preliminary formulation of a differential-topological theory of phase…
A discretisation scheme that preserves topological features of a physical problem is extended so that differential geometric structures can be approximated in a consistent way thus giving access to the study of physical systems which are…
We give an elementary introduction to our papers relating the geometry of rational homogeneous varieties to representation theory. We also describe related work and recent progress.
We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models…
In this paper we introduce and study motives for rational homotopy types.
These notes are designed for those who either plan to work in differential geometry, or at least want to have a good reason not to do it. We discuss smooth curves and surfaces -- the main gate to differential geometry. We focus on the…
After the first heuristic ideas about `the field of one element' F_1 and `geometry in characteristics 1' (J.~Tits, C.~Deninger, M.~Kapranov, A.~Smirnov et al.), there were developed several general approaches to the construction of…
For a pointed topological space $X$, we use an inductive construction of a simplicial resolution of $X$ by wedges of spheres to construct a "higher homotopy structure" for $X$ (in terms of chain complexes of spaces). This structure is then…
In order to apply nonstandard methods to questions of algebraic geometry we continue our investigation from "Enlargements of categories" (Theory Appl. Categ. 14 (2005), No. 16, 357--398) and show how important homotopical constructions…
Topological bases of behaviour of trajectories for autonomous differential systems of the second order on sphere are stated. Stereographic atlas of trajectories is constructed. Differential connections between trajectories of…
We introduce a homotopy theory of digraphs (directed graphs) and prove its basic properties, including the relations to the homology theory of digraphs constructed by the authors in previous papers. In particular, we prove the homotopy…
This is a chapter for a planned collective volume entitled "New spaces in mathematics and physics" (M. Anel, G. Catren Eds.). The first part contains a short formal exposition of supergeometry as it is understood by mathematicians. The…
We use the method of synthetic differential geometry to revisit the geometric reasoning employed by Lie, Klein and others in their study of partial differential equations.
Hopf algebra structure on the differential algebra of the extended $q$-plane is defined. An algebra of forms which is obtained from the generators of the extended $q$-plane is introduced and its Hopf algebra structure is given.
The field of directed type theory seeks to design type theories capable of reasoning synthetically about (higher) categories, by generalizing the symmetric identity types of Martin-L\"of Type Theory to asymmetric hom-types. We articulate…
We develop sheaf theory in the context of difference algebraic geometry. We introduce categories of difference sheaves and develop the appropriate cohomology theories. As specializations, we get difference Galois cohomology, difference…
Recently discovered domain-specific formal systems -- specifically homotopy type theory and simplicial type theory -- provide new perspectives on spaces and categories in a natively equivalence-invariant setting. In this note, we expose…
In this article we study homotopes of finite-dimensional algebras (not necessarily, associative). In the case of associative algebras we study homotopes by methods of Category theory and give description of so-called well-tempered elements…