Related papers: Bisymmetric and quasitrivial operations: character…

The group of continuous binary operations on a topological space is studied; its relationship with the group of homeomorphisms is established. The category of binary $G$-spaces and bi-equivariant maps is constructed, which is a natural…

We motivate and study an infinite sequence of binary operations on the ordinal numbers, extending the standard arithmetic on the ordinals to higher degrees of iteration. Connections to the hyperoperations on the natural numbers are…

The symmetric inverse semigroup $I(X)$ on a set $X$ is the collection of all partial bijections between subsets of $X$ with composition as the algebraic operation. We study a minimal Hausdorff inverse semigroup topologies on $I(X)$. When…

We introduce two generalisations of the full symmetric inverse semigroup ${\mathcal{I}}_X$ and its dual semigroup ${\mathcal{I}^{\ast}}_X$ -- inverse semigroups ${\mathcal{PI}^{\ast}}_X$ and ${\overline{\mathcal{PI}^{\ast}}}_X$. Both of…

We construct bisymmetric, strictly increasing binary operations on real intervals which are not continuous. This answers a natural question in the theory of bisymmetric and mean-type operations by showing that continuity may fail for…

We say that an operator $T \in B(H)$ is complex symmetric if there exists a conjugate-linear, isometric involution $C:H\to H$ so that $T = CT^*C$. We prove that binormal operators, operators that are algebraic of degree two (including all…

We study monoids equipped with a second binary operation that captures the structure of the endomorphisms of an object $X$ such that $X=X\times X$. We construct a universal monoid of this type and examine some of its rich combinatorial…

The cyclic group labeled family of quasi-projection operators is used for investigation of decomposition of functions with respect to the cyclic group of order n . Series of new identities thus arising are demonstrated and new perspectives…

Let $X$ be a complex topological vector space with dim$(X)>1$ and $\mathcal{B}(X)$ the space of all continuous linear operators on $X$. In this paper, we extend the concept of supercyclicity of a single operators and strongly continuous…

We define a notion of normal form bisimilarity for the untyped call-by-value lambda calculus extended with the delimited-control operators shift and reset. Normal form bisimilarities are simple, easy-to-use behavioral equivalences which…

We define the concept of a bi-operad. We develop the homotopy theory of "Bital-Sets" and of infinite-bi-operads. We develop a geometry of generalized schemes based on the spectra of distributive monochromatic bi-operads.

Presentations for unbraided, braided and symmetric pseudomonoids are defined. Biequivalences characterising the semistrict bicategories generated by these presentations are proven. It is shown that these biequivalences categorify results in…

In this article we analyze the structure of $2$-categories of symmetric projective bimodules over a finite dimensional algebra with respect to the action of a finite abelian group. We determine under which condition the resulting…

Motivated by applications in databases, this paper considers various fragments of the calculus of binary relations. The fragments are obtained by leaving out, or keeping in, some of the standard operators, along with some derived operators…

Let $P(h),h\in]0,1]$ be a semiclassical scalar differential operator of order $2$. The existence of a supersymmetric structure given by a matrix $G(x;h)$ was exhibited in \cite{HeHiSj13} under rather general assumptions. In this note we…

Motivated by the problem of classifying quantum symmetries of non-semisimple, finite-dimensional associative algebras, we define a notion of connection between bounded quivers and build a bicategory of bounded quivers and quiver…

We define a convenient $\infty$-operad parametrizing modules over commutative algebras in $\infty$-categories.

We describe the combinatorics of the multisemigroup with multiplicities for the tensor category of subbimodules of the identity bimodule, for an arbitrary non-uniform orientation of a finite cyclic quiver.

Let $A$ and $B$ be compact operators over a topological space $X$ and suppose that these operators are normal and have same distinct eigenvalues at each point. By obstruction theory, we establish a necessary and sufficient condition for $A$…

Biserial algebras are a classical class in the representation theory of algebras, generalizing Nakayama algebras. They were further generalized by Green and Schroll to multiserial algebras, which share many structural properties with…