English
Related papers

Related papers: Geometric morphisms between toposes of monoid acti…

200 papers

A topological monoid is isomorphic to an endomorphism monoid of a countable structure if and only if it is separable and has a compatible complete ultrametric such that composition from the left is non-expansive. We also give a topological…

Logic · Mathematics 2018-10-16 Manuel Bodirsky , Friedrich Martin Schneider

In this paper we present general techniques for characterising minimal and maximal semigroup topologies on the endomorphism monoid $\operatorname{End}(\mathbb{A})$ of a countable relational structure $\mathbb{A}$. As applications, we show…

Group Theory · Mathematics 2022-03-23 L. Elliott , J. Jonušas , J. D. Mitchell , Y. Péresse , M. Pinsker

This is an expository article on properties of actions on Lie groups by subgroups of their automorphism groups. After recalling various results on the structure of the automorphism groups, we discuss actions with dense orbits, invariant and…

Group Theory · Mathematics 2017-03-29 S. G. Dani

Let $M$ be a multiplicative monoid with identity. Then I show that there is a universal one dimensional formal group law equipped with an action of $M$. If $M$ is $p$-perfect (i.e. $m\mapsto m^p$ is an isomorphism for some prime number $p$)…

Algebraic Geometry · Mathematics 2024-10-14 Kirti Joshi

We show that interval partition functions (transition amplitudes) of three-dimensional $N = 2$ theories admit factorizations into sums of products of hemisphere partition functions with additional normalization factors. We prove the…

High Energy Physics - Theory · Physics 2025-09-30 Boan Zhao , Panos Betzios , Paul Luis Roehl

It is shown that the category of \emph{semi-biproducts} of monoids is equivalent to the category of \emph{pseudo-actions}. A semi-biproduct of monoids is a new notion, obtained through generalizing a biproduct of commutative monoids. By…

Category Theory · Mathematics 2021-09-15 Nelson Martins-Ferreira

First, we prove a theorem on dynamics of actions of monoids by endomorphisms of semigroups. Second, we introduce algebraic structures suitable for formalizing infinitary Ramsey statements and prove a theorem that such statements are implied…

Combinatorics · Mathematics 2018-11-14 Sławomir Solecki

Topoi are categories which have enough structure to interpret higher order logic. They admit two notions of morphism: logical morphisms which preserve all of the structure and therefore the interpretation of higher order logic, and…

Logic · Mathematics 2013-05-15 Shawn J. Henry

Let $\psi : G\to GL(V)$ and $\varphi :G \to GL (W)$ be representations of finite group $G$. A linear map $T: V\to W$ is called a morphism from $\psi$ to $\varphi$ if it satisfys $T\psi_g= \varphi_g T$ for each $g\in G$ and let…

Representation Theory · Mathematics 2019-12-30 Yang Huang , Yongtao Li , Weijun Liu , Lihua Feng

We introduce and investigate the category of factorization of a multiplicative, commutative, cancellative, pre-ordered monoid $A$, which we denote $\mathcal{F}(A)$. The objects of $\mathcal{F}(A)$ are factorizations of elements of $A$, and…

Commutative Algebra · Mathematics 2019-01-21 Brandon Goodell , Sean K. Sather-Wagstaff

A foliation on a manifold M can be informally thought of as a partition of M into injectively immersed submanifolds, called leaves. In this thesis we study foliations whose leaves carry some specific geometric structures. The thesis…

Differential Geometry · Mathematics 2014-09-12 Sauvik Mukherjee

We consider toy models of holography arising from 3d Chern-Simons theory. In this context a duality to an ensemble average over 2d CFTs has been recently proposed. We put forward an alternative approach in which, rather than summing over…

High Energy Physics - Theory · Physics 2023-02-15 Francesco Benini , Christian Copetti , Lorenzo Di Pietro

For an affine spherical homogeneous space G/H of a connected semisimple algebraic group G, we consider the factorization morphism by the action on G/H of a maximal unipotent subgroup of G. We prove that this morphism is equidimensional if…

Algebraic Geometry · Mathematics 2013-01-23 Roman Avdeev

We discuss how triposes may be understood as generalizations of localic geometric morphisms.

Category Theory · Mathematics 2023-09-19 J. Frey , T. Streicher

We show that for algebraic groups over local fields of characteristic zero, the following are equivalent: Every homomorphism has a closed image, every unitary representation decomposes into a direct sum of finite-dimensional and mixing…

Group Theory · Mathematics 2024-04-16 Elyasheev Leibtag

Finite dynamical systems (FDSs) are commonly used to model systems with a finite number of states that evolve deterministically and at discrete time steps. Considered up to isomorphism, those correspond to functional graphs. As such, FDSs…

Discrete Mathematics · Computer Science 2022-12-15 Émile Naquin , Maximilien Gadouleau

Arithmetical invariants---such as sets of lengths, catenary and tame degrees---describe the non-uniqueness of factorizations in atomic monoids. We study these arithmetical invariants by the monoid of relations and by presentations of the…

Commutative Algebra · Mathematics 2010-06-23 Víctor Blanco , Pedro A. García-Sánchez , Alfred Geroldinger

Let $\text{Mod}(S_g)$ be the mapping class group of the closed orientable surface $S_g$ of genus $g \geq 1$. In this paper, we develop various methods for factoring periodic mapping classes into Dehn twists, up to conjugacy. As…

Geometric Topology · Mathematics 2022-06-27 Neeraj K. Dhanwani , Ajay K. Nair , Kashyap Rajeevsarathy

We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…

Category Theory · Mathematics 2018-07-19 Misha Gavrilovich , Konstantin Pimenov

A factorization of an element $x$ in a monoid $(M, \cdot)$ is an expression of the form $x = u_1^{z_1} \cdots u_k^{z_k}$ for irreducible elements $u_1, \ldots, u_k \in M$, and the length of such a factorization is $z_1 + \cdots + z_k$. We…