Related papers: Sheaf Topos Theory: A powerful setting for Lagrang…
We discuss of the conceptual difficulties connected with the anticommutativity of classical fermion fields, and we argue that the "space" of all classical configurations of a model with such fields should be described as an…
I present the recent developments in a specific sub-field of chiral gauge theories on the lattice. This sub-field pertains to the use of infinitely many fermi fields to describe a single chiral field. In this approach, both anomalous and…
The purpose of this note is to record a connection between sheaves on complete Boolean algebras and conditional sets. This connection yields a transfer principle for conditional set theory. On the other hand we use conditional set theory to…
Spatio-temporally chaotic dynamics of a classical field can be described by means of an infinite hierarchy of its unstable spatio-temporally periodic solutions. The periodic orbit theory yields the global averages characterizing the chaotic…
In this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, predicative analogues of the notion of a topos, with the aim of using sheaf models to interprete predicative formal…
Classical field theory is adequately formulated as Lagrangian theory on fibre bundles and graded manifolds. One however observes that non-trivial higher stage Noether identities and gauge symmetries of a generic reducible degenerate…
We introduce a notion of a sheaf of vector spaces on a graph, and develop the foundations of homology theories for such sheaves. One sheaf invariant, its "maximum excess," has a number of remarkable properties. It has a simple definition,…
We consider the category of perverse sheaves on a complex vector space smooth with respect to a stratification given by an arrangement of hyperplanes with real equations. As shown in an earlier wotk of two of the authors, this category can…
In this thesis we study classical aspects of superconformal field theory via symmetry principles. Specifically, by employing the powerful setup of conformal superspace, we obtain a plethora of new results in the fields of geometric and…
We develop an axiomatic set theory -- the Theory of Hyperfinite Sets THS, which is based on the idea of existence of proper subclasses of big finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to…
An abstract theory of ultradifferentiable sheafs is developed. Moreover, various applications to the theory of linear partial differential equations, differential geometry and, in particular, CR geometry are discussed.
The multisymplectic description of Classical Field Theories is revisited, including its relation with the presymplectic formalism on the space of Cauchy data. Both descriptions allow us to give a complete scheme of classification of…
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…
It has been common wisdom among mathematicians that Extended Topological Field Theory in dimensions higher than two is naturally formulated in terms of n-categories with n> 1. Recently the physical meaning of these higher categorical…
This paper is a very non-rigorous, loose, and extremely basic introduction to sheaves. This is meant to be a a guide to gaining intuition about sheaves, what they look like, and how they work, so that after reading this paper, someone can…
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…
The scalar field-perfect fluid (sf-pf) correspondence shows that the energy-momentum tensor of a scalar field is in correspondence with the dynamics of a perfect fluid. In this work we generalize this concept to study the higher-derivative…
We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…
Inspired by the recent algebraic approach to classical field theory, we propose a more general setting based on the manifold of smooth sections of a non-trivial fiber bundle. Central is the notion of observables over such sections, i.e.…
We determine a strong form of the decomposition theorem for proper toric maps over finite fields.