Related papers: De Morgan's law in toposes I
In this article, we introduce equivariant formal deformation theory of associative algebra morphisms. We introduce an equivariant deformation cohomology of associative algebra morphisms and using this we study the equivariant formal…
We construct a first order local model for Poisson manifolds around a large class of Poisson submanifolds and we give conditions under which this model is a local normal form. The resulting linearization theorem includes as special cases…
This paper introduces a new family of models of intensional Martin-L\"of type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path. By considering a particular gros topos,…
We introduce the notion of a topological symmetry as a quantum mechanical symmetry involving a certain topological invariant. We obtain the underlying algebraic structure of the Z_2-graded uniform topological symmetries of type (1,1) and…
It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with…
We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degrees for formulas and theories with respect to given properties…
We determine a strong form of the decomposition theorem for proper toric maps over finite fields.
We establish the deformation theory of Lie groupoid morphisms, describe the corresponding deformation cohomology of morphisms, and show the properties of the cohomology. We prove its invariance under isomorphisms of morphisms. Additionally,…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…
An algebraic deformation theory of module-algebras over a bialgebra is constructed. The cases of module-coalgebras, comodule-algebras, and comodule-coalgebras are also considered.
This book is an account of certain topics in general and algebraic topology. Instead of laying out a synopsis of each chapter, here is a sample of some of what is taken up: 1) Nilpotency and its role in homotopy theory. 2) Bousfield's…
We use group theoretic methods to obtain the extended Lie point symmetries of the equations of motion for a charged particle in the field of a monopole. Cases with certain model magnetic fields and potentials are also studied. Our analysis…
The goal of this survey is to give a list of resent results about topology of manifolds admitting different metrics with the same geodesics. We emphasize the role of the theory of integrable systems in obtaining these results.
We study formal deformations of multiplication in an operad. This closely resembles Gerstenhaber's deformation theory for associative algebras. However, this applies to various algebras of Loday-type and their twisted analogs. We explicitly…
For each lattice one can define a free boson theory propagating on the corresponding torus. We give an alternative definition where one employs any automorphism of the group $M^*/M$. This gives a wealth of conformal data, which we realize…
We study tree-to-tree transformations that can be defined in first-order logic or monadic second-order logic. We prove a decomposition theorem, which shows that every transformation can be obtained from prime transformations, such as…
As the prototypical category, $\mathbf{Set}$ has many properties which make it special amongst categories. From the point of view of mathematical logic, one such property is that $\mathbf{Set}$ has enough structure to "properly" formalise…
We study topological properties of the graph topology.
In this paper, we first introduce a technique that we call "Yoneda representation of flat functors", based on ideas from indexed category theory; then we provide applications of this technique to the theory of classifying toposes.…
A complete description of the deformation classes of real ruled manifolds is given. In particular, we prove that once the complex deformation class is fixed, the real deformation class is prescribed by the topology of the real structure.