Related papers: Geometric morphisms between toposes of monoid acti…
Within a subclass of monoids (with zero) a structural characterization is given of those that are associated to topologically transitive subshifts with Property (A).
For a finite group $H$ and connected topological spaces $X$ and $Y$ such that $X$ is endowed with a free left $H$-action $\tau$, we provide a geometric condition in terms of the existence of a commutative diagram of spaces (arising from the…
We generalize the notion of symmetric semigroups, pseudo symmetric semigroups, and row factorization matrices for pseudo Frobenius elements of numerical semigroups to the case of semigroups with maximal projective dimension (MPD…
The aim of this paper is sketch a theory of divisibility and factorisation in topological monoids, where finite products are replaced by convergent products. The algebraic case can then be viewed as the special case of discretely…
We describe algorithms to compute fixed fields, splitting fields and towers of radical extensions without using polynomial factorisation in towers or constructing any field containing the splitting field, instead extending Galois group…
We study matrix factorizations of locally free coherent sheaves on a scheme. For a scheme that is projective over an affine scheme, we show that homomorphisms in the homotopy category of matrix factorizations may be computed as the…
We generalize Exel's notion of partial group action to monoids. For partial monoid actions that can be defined by means of suitably well-behaved systems of generators and relations, we employ classical rewriting theory in order to describe…
Some sorts of generalized morphisms are defined from very basic mathematical objects such as sets, functions, and partial functions. A wide range of mathematical notions such as continuous functions between topological spaces, ring…
We consider Gaussian fields of real symmetric, complex Hermitian or quaternionic Hermitian matrices over an electrical network, and describe how the isomorphisms between these fields and random walks give rise to topological expansions…
We observe that there is an equivalence between the singularity category of an affine complete intersection and the homotopy category of matrix factorizations over a related scheme. This relies in part on a theorem of Orlov. Using this…
In this paper we introduce congruence spaces, which are topological spaces that are canonically attached to monoid schemes and that reflect closed topological properties. This leads to satisfactory topological characterizations of closed…
We exhibit the symmetric monoidal $\infty$-category $\mathrm{GrCob}$ of graph cobordisms between spaces as a full $\infty$-subcategory of the $\infty$-category $\mathrm{Psh}(\mathrm{Gr})$ of presheaves over $\mathrm{Gr}$, where…
Starting with a symmetric monoidal adjunction with certain properties, one derives another symmetric monoidal adjunction with the same properties between the respective categories of all V-categories. If one begins with a reflection of a…
We study toposes satisfying De Morgan's law, in particular we give characterizations of geometric theories whose classifying topos is De Morgan, clarifying the link with the amalgamation property of the category of models of such theory. We…
We announce recent results on a connection between factorization statistics of polynomials over a finite field and the structure of the cohomology of configurations in $\mathbb{R}^3$ as a representation of the symmetric group. This…
We explore $(-1)$-form symmetries within the framework of geometric engineering in M-theory. By constructing the Symmetry Topological Field Theory (SymTFT) for selected 5d $\mathcal{N}=1$, 4d $\mathcal{N}=2$ and 4d $\mathcal{N}=1$ theories,…
In this document, we study the interaction between different geometric structures that can be defined as morphisms of sections of the generalized tangent bundle $\mathbb TM:= TM\oplus T^*M\to M$. In particular, we show the behaviour of…
Bergman has given the following abstract characterisation of the inner automorphisms of a group $G$: they are exactly those automorphisms of $G$ which can be extended functorially along any homomorphism $G \rightarrow H$ to an automorphism…
If $H$ is a numerical semigroup (that is, a cofinite subset of the non-negative integers closed under addition), then the non-empty subsets of $H$ form a semigroup $\mathcal P(H)$ under the sumset operation induced by addition in $H$.…
In this paper we further the study of arrow algebras, simple algebraic structures inducing toposes through the tripos-to-topos construction, by defining appropriate notions of morphisms between them which correspond to morphisms of the…