Related papers: Finitary Cartesian closed varieties and semigroup …

The rational Borel equivariant cohomology for actions of a compact connected Lie group is determined by restriction of the action to a maximal torus. We show that a similar reduction holds for any compact Lie group $G$ when there is a…

Eilenberg's variety theorem, a centerpiece of algebraic automata theory, establishes a bijective correspondence between varieties of languages and pseudovarieties of monoids. In the present paper this result is generalized to an abstract…

We represent finite join-semilattices and join-preserving morphisms as a category whose objects and morphisms are binary relations. It is a quotient category of $\mathsf{Rel}_f$'s arrow category, where self-duality arises by taking the…

Let $S$ be a semigroup (written multiplicatively). Endowed with the operation of setwise multiplication induced by $S$ on its parts, the non-empty subsets of $S$ form themselves a semigroup, denoted by $\mathcal P(S)$. Accordingly, we say…

This paper presents a fanctor $S$ from the category of groupoids to the category of semigroups. Indeed, a monoid $S_G$ with a right zero element is related to a topological groupoid $G$. The monoid $S_G$ is a subset of $C(G,G)$, the set of…

Let M be a connected compact pseudoRiemannian manifold acted upon topologically transitively and isometrically by a connected noncompact simple Lie group G. If m_0, n_0 are the dimensions of the maximal lightlike subspaces tangent to M and…

We present a new construction of crossed-product duality for maximal coactions that uses Fischer's work on maximalizations. Given a group $G$ and a coaction $(A,\delta)$ we define a generalized fixed-point algebra as a certain subalgebra of…

We prove that the Flat Cover Conjecture holds for the category of (right) acts over any right-reversible monoid $S$, provided that the flat $S$-acts are closed under stable Rees extensions. The argument shows that the class…

When a semigroup has a unary operation, it is possible to define two binary operations, namely, left and right division. In addition it is well known that groups can be defined in terms of those two divisions. The aim of this paper is to…

In an earlier work, the author observed that Boolean inverse semi-groups, with semigroup homomorphisms preserving finite orthogonal joins, form a congruence-permutable variety of algebras, called biases. We give a full description of…

The theorems of M. Ratner, describing the finite ergodic invariant measures and the orbit closures for unipotent flows on homogeneous spaces of Lie groups, are extended for actions of subgroups generated by unipotent elements. More…

Let P be a semigroup that admits an embedding into a group G. Assume that the embedding satisfies a certain Toeplitz condition and that the Baum-Connes conjecture holds for G. We prove a formula describing the K- theory of the reduced…

We introduce a general framework, based on \'etale topological categories, for studying discrete restriction semigroups and their algebras. Generalizing Paterson's universal groupoid of an inverse semigroup, we define the universal category…

In this work the equivariant signature of a manifold with proper action of a discrete group is defined as an invariant of equivariant bordisms. It is shown that the computation of this signature can be reduced to its computation on fixed…

We prove that every coaction of a compact group on a finite-dimensional $C^*$-algebra is associated with a Fell bundle. Every coaction of a compact group on a matrix algebra is implemented by a unitary operator. A coaction of a compact…

We introduce the notion of the quotient of a category $C$ by the action $A : M \longrightarrow C \times C$ of a unital symmetric monoidal category $M$. The quotient $C/M$ is a 2-category. We prove its existence and uniqueness by first…

We classify a "dense open" subset of categories with an action of a reductive group, which we call nondegenerate categories, entirely in terms of the root datum of the group. As an application of our methods, we also: (1) Upgrade an…

We show that every action operad gives rise to a notion of monoidal category via the categorical version of the Borel construction, embedding action operads into the category of 2-monads on $\mathbf{Cat}$. We characterize those 2-monads in…

The category of matchings between finite sets extends to the category of cobordisms of signed sets. A chain of cobordisms that starts and ends with unsigned sets A and B yields a matching from A to B. This is a convenient way to package the…

We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the…