Related papers: Finitary Cartesian closed varieties and semigroup …

This paper investigates the use of symmetric monoidal closed (SMC) structure for representing syntax with variable binding, in particular for languages with linear aspects. In our setting, one first specifies an SMC theory T, which may…

Let $\mathcal{B}$ be a conformal net. We give the notion of a proper action of a finite hypergroup acting by vacuum preserving unital completely positive (so-called stochastic) maps, which generalizes the proper actions of finite groups.…

Suppose $G$ is a finite group. In this paper, we construct an equivalence between the $\infty$-category of algebras over an $N_{\infty}$-operad $\mathcal{O}$ associated to a $G$-indexing system $\mathcal{I}$ and the corresponding…

For a given inverse semigroup action on a topological space, one can associate an \'etale groupoid. We prove that there exists a correspondence between the certain subsemigroups and the open wide subgroupoids in case that the action is…

Let $G$ be a finite group. A finite unordered sequence $S = g_1 \boldsymbol{\cdot} \ldots \boldsymbol{\cdot} g_{\ell}$ of terms from $G$, where repetition is allowed, is a product-one sequence if its terms can be ordered such that their…

We introduce the notion of $(G, \Gamma)$-crossed action on a tensor category, where $(G, \Gamma)$ is a matched pair of finite groups. A tensor category is called a $(G, \Gamma)$-crossed tensor category if it is endowed with a $(G,…

We show that a continuous action of a quantum semigroup $\mathcal{S}$ on a finite quantum space (finite dimensional $\mathrm{C}^*$-algebra) preserving a faithful state comes from a continuous action of the quantum Bohr compactification…

Bichon, De Rijdt and Vaes introduced the notion of monoidally equivalent compact quantum groups. In this paper we prove that there is a natural bijective correspondence between actions of monoidally equivalent quantum groups on unital…

We derive a lower and an upper bound for the rank of the finite part of operator $K$-theory groups of maximal and reduced $C^*$-algebras of finitely generated groups. The lower bound is based on the amount of polynomially growing conjugacy…

Two natural symplectic constructions, the Lagrangian suspension and Seidel's quantum representation of the fundamental group of the group of Hamiltonian diffeomorphisms, Ham(M), with (M,\omega) a monotone symplectic manifold, admit…

Let $G$ be a locally compact abelian group. By modifying a theorem of Pedersen, it follows that actions of $G$ on $C^*$-algebras $A$ and $B$ are outer conjugate if and only if there is an isomorphism of the crossed products that is…

In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question…

We show that for a locally compact group $G$, amongst a class which contains amenable and small invariant neighbourhood groups, that its Fourier algebra $A(G)$ satisfies a completely bounded version Pisier's similarity property with…

Self-similar group actions may be encoded by a class of left cancellative monoids called left Rees monoids, a result obtained by combining pioneering work by Perrot with later work by the first author. Left Rees monoids that are also right…

A set with a group action is referred to as a $G$-set, and the set of functions that commute with this action forms a monoid under function composition. This paper examines the case where the $G$-set is finite, which implies that the monoid…

We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal…

When $\mathbb C$ is a semi-abelian category, it is well known that the category $\mathsf{Grpd}(\mathbb C)$ of internal groupoids in $\mathbb C$ is again semi-abelian. The problem of determining whether the same kind of phenomenon occurs…

We show that the definition and many useful properties of Soergel's functor $\mathbb{V}$ extend to "universal" variants of the BGG category $\mathcal{O}$, such as the category which drops the semisimplicity condition on the Cartan action.…

We consider certain decision problems for the free model of the theory of Cartesian monoids. We introduce a model of computation based on the notion of a single stack one-way PDA due to Ginsburg, Greibach and Harrison. This model allows us…

Let G be a complex reductive algebraic group. Fix a Borel subgroup B of G, with unipotent radical U, and a maximal torus T in B with character group X(T). Let S be a submonoid of X(T) generated by finitely many dominant weights. V. Alexeev…