Related papers: A Universal Characterisation of Codescent Objects
We discuss here geometric structures of condensed matters by means of a fundamental topological method. Any geometric pattern can be universally represented by a decomposition space of a topological space consisting of the infinite product…
Lenses may be characterised as objects in the category of algebras over a monad, however they are often understood instead as morphisms, which propagate updates between systems. Working internally to a category with pullbacks, we define…
We consider a transformation of a normalized measure space such that the image of any point is a finite set. We call such transformation $m$-transformation. In this case the orbit of any point looks like a tree. In the study of…
Our representation of the Universe is built with sequences of symbols, numbers, operators, rules and undecidable propositions defining our mathematical truths, represented either by classical, quantum and probabilistic Turing Machines…
Inspired by work of Borzellino and Brunsden, we generalize the notion of a submanifold identifying a natural and sufficiently general condition which guarantees that a subset of an (effective) orbifold carries itself a canonical induced…
This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…
We study a generalization of the Langevin equation, that describes fluctuations, of commuting degrees of freedom, for scalar field theories with worldvolumes of arbitrary dimension, following Parisi and Sourlas and correspondingly…
Let $\Cc$ and $\Dd$ be two corings over a ring $A$ and $\Cc\stackrel{\lambda}{\longrightarrow}\Dd$ be a morphism of corings. We investigate the situation when the associated induced ("corestriction of scalars") functor…
The evolution of both quantum and classical ensembles may be described via the probability density P on configuration space, its canonical conjugate S, and an_ensemble_ Hamiltonian H[P,S]. For quantum ensembles this evolution is, of course,…
Higher dimensional theories, wherein our four dimensional universe is immersed into a bulk ambient, have received much attention recently, and the direction of investigation had, as far as we can discern, all followed the ordinary Euclidean…
The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved,…
Quasirandomness is a general mathematical concept meant to encapsulate several characteristics usually satisfied by random combinatorial objects, and which we regard as describing when a given object 'looks random'. In this survey we…
The lightest Kaluza-Klein particle appearing in models with universal extra dimensions has recently been proposed as a viable dark matter candidate when the extra dimensions are compactified on a scale of the order of 1 TeV. Underlying…
Recent work on the use of dimensional reduction for the regularisation of non--supersymmetric theories is reviewed. It is then shown that there exists a class of theories for which a universal form of the soft supersymmetry breaking terms…
In this paper we expand on previous results, studying the extent to which one can detect fusion in certain finite groups $\Gamma$, from information about the universal deformation rings of absolutely irreducible…
In this paper we use the theory of central elements in order to provide a characterization for coextensive varieties. In particular, if the variety is of finite type, congruence-permutable and its class of directly indecomposable members is…
We develop a theory for describing composite objects in physics. These can be static objects, such as tables, or things that happen in spacetime (such as a region of spacetime with fields on it regarded as being composed of smaller such…
In this work we study different aspect of self-interacting 2-form fields with special emphasis in their cosmological applications. We provide the explicit construction of how massless 2-forms are compatible with the cosmological principle…
J. Mather characterized uniform hyperbolicity of a discrete dynamical system as equivalent to invertibility of an operator on the set of all sequences bounded in norm in the tangent bundle of an orbit. We develop a similar characterization…
A universality of deformed Heisenberg algebra involving the reflection operator is revealed. It is shown that in addition to the well-known infinite-dimensional representations related to parabosons, the algebra has also finite-dimensional…