Related papers: Gluing Data categories and gluing data functors
This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a…
We develop algebraic geometry for general Segal's Gamma-rings and show that this new theory unifies two approaches we had considered earlier on (for a geometry under Spec Z). The starting observation is that the category obtained by gluing…
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…
The concept of $typed$ $topology$ is introduced. In a typed topological space, some open sets are assigned "types", and topological concepts such as closure, connectedness can be defined using types. A finite data set in $R^2$ is a…
We develop the notion of a geometric covering of a rigid space X, which yields a much larger class of covering spaces than that studied previously by de Jong. Geometric coverings of X are closed under disjoint unions and are \'etale local…
We define a superspace over a ring $R$ as a functor on a subcategory of the category of supercommutative $R$-algebras. As an application the notion of a $p$-adic superspace is introduced and used to give a transparent construction of the…
In this paper, we unify various approaches to generalized covering space theory by introducing a categorical framework in which coverings are defined purely in terms of unique lifting properties. For each category $\mathcal{C}$ of…
We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and…
We give an introduction for the non-expert to TQFT (Topological Quantum Field Theory), focussing especially on its role in algebraic topology. We compare the Atiyah axioms for TQFT with the Eilenberg Steenrod axioms for homology, give a few…
We describe applications of the gluing formalism discussed in the companion paper. When a $d$-dimensional local theory $\text{QFT}_d$ is supersymmetric, and if we can find a supersymmetric polarization for $\text{QFT}_d$ quantized on a…
In this work we describe a class of subsets of the Euclidean plane which, with the induced length metric, are locally $CAT(0)$ spaces and we show that the gluing of two such subsets along a piece of their boundary is again a locally…
It is well known that the SU(2)-gauge invariant phase space of loop gravity can be represented in terms of twisted geometries. These are piecewise-linear-flat geometries obtained by gluing together polyhedra, but the resulting geometries…
A new category of algebro-geometric objects is defined. This construction is a vast generalization of existing F1-theories, as it contains the the theory of monoid schemes on the one hand and classical algebraic theory, e.g. Grothendieck…
We develop a gluing construction which adds scaled and truncated asymptotically Euclidean solutions of the Einstein constraint equations to compact solutions with potentially non-trivial cosmological constants. The result is a one-parameter…
Universal algebraic geometry allows considering of geometric properties of every universal algebra. When two algebras have same algebraic geometry? We must consider the categories of algebraic closed sets of these algebras to answer this…
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…
This paper is mainly a semi-tutorial introduction to elementary algebraic topology and its applications to Ising-type models of statistical physics, using graphical models of linear and group codes. It contains new material on systematic…
An abstract mathematical framework is presented in this paper as a unification of several deformed or generalized algebra proposed recently in the context of generalized statistical theories intended to treat certain complex thermodynamic…
We introduce the notion of the full quiver of a representation of an algebra, which is a cover of the (classical) quiver, but which captures properties of the representation itself. Gluing of vertices and of arrows enables one to study…
We review, for a general audience, a variety of recent experiments on extracting structure from machine-learning mathematical data that have been compiled over the years. Focusing on supervised machine-learning on labeled data from…