Related papers: Finitary Cartesian closed varieties and semigroup …

This paper is the second in a series investigating cartesian closed varieties. In first of these, we showed that every non-degenerate finitary cartesian variety is a variety of sets equipped with an action by a Boolean algebra B and a…

In 1990, Johnstone gave a syntactic characterisation of the equational theories whose associated varieties are cartesian closed. Among such theories are all unary theories -- whose models are sets equipped with an action by a monoid M --…

We prove a structure result on proper extensions of two-sided restriction semigroups in terms of partial actions, generalizing respective results for monoids and for inverse semigroups and upgrading the latter. We introduce and study…

We extend the equivalence by Cockett and Garner between restriction monoids and ample categories to the setting of Boolean range semigroups which are non-unital one-object versions of range categories. We show that Boolean range semigroups…

In this paper, we prove that all automorphisms of categories of free S-acts are semi-inner, which solves a variation of a well known B. Plotkin's problem in the case of monoids. We also give a description of automorphisms of categories of…

We present some laws relating the $\Cat$-indexed categories of left, right and bi-actions: by defining $(A\comp M)x = Mx^{Ax}$ one gets a biclosed monoidal action of $\Set^{X\op}$ on $(\Set^X)\op$, while $\B X$ and $\Cat/X$ act (partially)…

We define the notion of a partial action on a generalized Boolean algebra and associate to every such system and commutative unital ring $R$ an $R$-algebra. We prove that every strongly $E^{\ast}$-unitary inverse semigroup has an associated…

After recalling basic definitions and constructions for a finite group $G$ action on a $k$-linear category we give a concise proof of the following theorem of Elagin: if $\mathcal{C} = \langle \mathcal{A}, \mathcal{B} \rangle$ is a…

Let A be a unitary algebra and G be a finite abelian group. Then a G-graded algebra is merely a G-algebra and viceversa because of the fact that G and its group of characters G* are isomorphic. This fact is no longer true if we substitute G…

We study classes of proper restriction semigroups determined by properties of partial actions underlying them. These properties include strongness, antistrongness, being defined by a homomorphism, being an action etc. Of particular interest…

In this work, we introduce the notion of a partial action of a group on a strict monoidal category. We propose, in the context of Monoidal categories, new constructions analogous to those existing for partial group actions over an algebra…

This paper concerns a class of semigroups that arise as products $US$, associated to what we call `action pairs'. Here $U$ and $S$ are subsemigroups of a common monoid and, roughly speaking, $S$ has an action on the monoid completion $U^1$…

We show that the category of $X$-generated $E$-unitary inverse monoids with greatest group image $G$ is equivalent to the category of $G$-invariant, finitary closure operators on the set of connected subgraphs of the Cayley graph of $G$.…

An action of a finite group $G$ is a pair $(S,\hat{G})$, where $S$ is a compact Riemann surface of genus $g \geqslant 2$ and $\hat{G} \leqslant {\rm Aut}(S)$ is isomorphic to $G$. To each action $(S,\hat{G})$ there is associated a signature…

Given an action of an affine algebraic group with only trivial characters on a factorial variety, we ask for categorical quotients. We characterize existence in the category of algebraic varieties. Moreover, allowing constructible sets as…

Let $k$ be a commutative Noetherian ring, and $k[S]$ the polynomial ring whose indeterminates are parameterized by elements in a set $S$. We show that $k[S]$ is Noetherian up to highly homogenous actions of groups. In particular, there is a…

Given a group G, we construct, in a canonical way, an inverse semigroup S(G) associated to G. The actions of S(G) are shown to be in one-to-one correspondence with the partial actions of G, both in the case of actions on a set, and that of…

We show that an $\infty$-category $\mathcal{M}$ with a closed left action of a monoidal $\infty$-category $\mathcal{V}$ is completely determined by the $\mathcal{V}$-valued graph of morphism objects equipped with the structure of a…

Consider homogeneous G/H and G/F, for an S-algebraic group G. A lattice {\Gamma} acts on the left strictly conservatively. The following rigidity results are obtained: morphisms, factors and joinings defined apriori only in the measurable…

We present a Galois theory connecting finitary operations with pairs of finitary relations one of which is contained in the other. The Galois closed sets on both sides are characterised as locally closed subuniverses of the full iterative…