Related papers: Weil Diffeology I: Classical Differential Geometry
Modular functors, i.e. consistent systems of projective representations of mapping class groups of surfaces, have been constructed for non-semisimple modular categories already decades ago. Concepts from homological algebra have not been…
This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…
Ehresmann's introduction of differentiable groupoids in the 1950s may be seen as a starting point for two diverging lines of research, many-object Lie theory (the study of Lie algebroids and Lie groupoids) and sketch theory. This thesis…
This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…
Homotopy Type Theory may be seen as an internal language for the $\infty$-category of weak $\infty$-groupoids which in particular models the univalence axiom. Voevodsky proposes this language for weak $\infty$-groupoids as a new foundation…
With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…
This article is the first report of an ongoing project aimed at finding a geometric interpretation of the Witten genus and other tmf classes. Section 2 reviews the sheaves of chiral differential operators (CDOs) over a complex manifold,…
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}$…
This paper explores analogies between the Weil proof of the Riemann hypothesis for function fields and the geometry of the adeles class space, which is the noncommutative space underlying Connes' spectral realization of the zeros of the…
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…
We view difference algebra as the study of algebraic objects in the topos of difference sets. The methods of topos theory and categorical logic enable us to develop difference homological algebra, identify a solid foundation for difference…
Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…
This paper deals with topos-theoretic truth-value valuations of quantum propositions. Concretely, a mathematical framework of a specific type of modal approach is extended to the topos theory, and further, structures of the obtained…
A fundamental tool of Differential Galois Theory is the assignment of an algebraic group to each finite-dimensional differential module over differential field in such a way that the category of differential modules it generates is…
Topological insulators and topological semimetals are both new classes of quantum materials, which are characterized by surface states induced by the topology of the bulk band structure. Topological Dirac or Weyl semimetals show linear…
We construct a category $\mathrm{HomCob}$ whose objects are {\it homotopically 1-finitely generated} topological spaces, and whose morphisms are {\it cofibrant cospans}. Given a manifold submanifold pair $(M,A)$, we prove that there exists…
Ever since the introduction of motivic homotopy theory, as a well-proposed approximation of Grothendieck's dream, algebraic geometers then have the chance to study schemes via a homotopy theory. However topologists also found that lifting…
In Categorial Topology, given a category (as a "geometric object") we can consider its properties preserved under continuous action (a "deformation") of a comma-propagation operation. However, the Metacategory space, valid for all…
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.…
Consider the functor describing deformations of a representation of the fundamental group of a variety X. This paper is chiefly concerned with establishing an analogue in finite characteristic of a result proved by Goldman and Millson for…