Related papers: Biunit pairs in semiheaps and associated semigroup…
The set of idempotents of a regular semigroup is given an abstract characterization as a regular biordered set in [2], and in [4] it is shown how a biordered set can be associated with a complemented modular lattice. Von Neumann has shown…
This work introduces a general theory of universal pseudomorphisms and develops their connection to diagrammatic coherence. The main results give hypotheses under which pseudomorphism coherence is equivalent to the coherence theory of…
We review the basic properties of paired operators and their adjoints, the transposed paired operators, with particular reference to commutation relations, and we study the properties of their kernels, bringing out their similarities and…
Given a horizontal monoid M in a duoidal category F, we examine the relationship between bimonoid structures on M and monoidal structures on the category of right M-modules which lift the vertical monoidal structure of F. We obtain our…
A theory of cyclic elements in semisimple Lie algebras is developed. It is applied to an explicit construction of regular elements in Weyl groups.
This survey article explores the notion of z-classes in groups. The concept introduced here is related to the notion of orbit types in transformation groups, and types or genus in the representation theory of finite groups of Lie type. Two…
Consider an exact couple in a semiabelian category in the sense of Palamodov, i.e., in an additive category in which every morphism has a kernel as well as a cokernel and the induced morphism between coimage and image is always monic and…
We define a type of biquandle which is a generalization of symplectic quandles. We use the extra structure of these bilinear biquandles to define new knot and link invariants and give some examples.
A survey of properties of the adjunction involving a semisymmetrization functor, which was suggested by J.D.H. Smith, and which maps the category of quasigroups with homotopies to the category of semisymmetric quasigroups with…
We observe that the notion of two sets being equal up to finitely many elements is a homotopy equivalence relation in a model category, and suggest a homotopy-invariant variant of Generalised Continuum Hypothesis about which more can be…
We develop a bicategorical setup in which one can speak about adjoint 1-morphisms even in the absence of genuine identity 1-morphisms. We also investigate which part of 2-representation theory of 2-categories extends to this new setup.
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
A quasi-schemoid is a small category with a particular partition of the set of morphisms. We define a homotopy relation on the category of quasi-schemoids and study its fundamental properties. As a homotopy invariant, the homotopy set of…
Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with…
This paper continues the study of combinatorial properties of binary functions --- that is, functions $f:2^E\rightarrow\mathbb{C}$ such that $f(\emptyset)=1$, where $E$ is a finite set. Binary functions have previously been shown to admit…
New fundamental mathematical structures are introduced by the triples (left semistructure,right semistructure,bisemistructure) associated with the classical mathematical structures and such that the bisemistructures,resulting from the…
Let $p$ be an odd prime, $D_{2p}$ be the dihedral group of order 2p, and $F_{2}$ be the finite field with two elements. If * denotes the canonical involution of the group algebra $F_2D_{2p}$, then bicyclic units are unitary units. In this…
The cyclic shift graph of a monoid is the graph whose vertices are the elements of the monoid and whose edges connect elements that are cyclic shift related. The Patience Sorting algorithm admits two generalizations to words, from which two…
We introduce the notion of (half) 2-adjoint equivalences in Homotopy Type Theory and prove their expected properties. We formalized these results in the Lean Theorem Prover.
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.