Related papers: Cross-connection structure of concordant semigroup…
This paper is a contribution to the theory of finite semigroups and their classification in pseudovarieties, which is motivated by its connections with computer science. The question addressed is what role can play the consideration of an…
In [8] we proved that any categorical group defines a c-crossed module, which is a cssc-crossed module defined in the same paper. In [9] we constructed a categorical group for any cssc-crossed module. In the presented paper we prove that…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
In this paper we introduce a quotient structure on topological ternary semigroup by defining a congruence suitably. We have found conditions under which this quotient structure becomes a topological ternary semigroup. We have also obtained…
Every mathematician is familiar with the beautiful structure of finite commutative groups. What is less well known is that finite commutative semigroups also have a neat and well-described structure. We prove this in an efficient fashion.…
We present the complete classification of the subgroup of the classical knot concordance group generated by knots with eight or fewer crossings. Proofs are presented in summary. We also describe extensions of this work to the case of nine…
We revise the notion of the quasi-sectorial contractions. Our main theorem establishes a relation between semigroups of quasi-sectorial contractions and a class of m-sectorial generators. We discuss a relevance of this kind of contractions…
A partial automorphism of a semigroup $S$ is any isomorphism between its subsemigroups, and the set all partial automorphisms of $S$ with respect to composition is the inverse monoid called the partial automorphism monoid of $S$. Two…
Various concerns suggest looking for internal co-categories in categories with strong logical structure. It turns out that in any coherent category, all co-categories are co-equivalence relations.
For a given inverse semigroup, one can associate an \'etale groupoid which is called the universal groupoid. Our motivation is studying the relation between inverse semigroups and associated \'etale groupoids. In this paper, we focus on…
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic…
We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…
A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is…
In this paper, we characterize completely the structure of Clifford semigroups of matrices over an arbitrary field. It is shown that a semigroups of matrices of finite order is a Clifford semigroup if and only if it is isomorphic to a…
Double Bruhat cells in a semisimple group are intersections of cells in two Bruhat decompositions corresponding to two opposite Borel subgroups. They form a geometric framework for the study of total positivity in semisimple groups; they…
A group is coherent if all its finitely generated subgroups are finitely presented. In this article we provide a criterion for positively determining the coherence of a group. This criterion is based upon the notion of the perimeter of a…
The structure of categorical at zero semigroups is studied from the point of view their likeness to categories.
We generalize the notion of a crossed module of groups to that of a crossed module of racks. We investigate the relation to categorified racks, namely strict 2-racks, and trunk-like objects in the category of racks, generalizing the…
We develop a functorial framework for the ideal theory of commutative semirings using coherent frames and spectral spaces. Two central constructions-the radical ideal functor and the $k$-radical ideal functor-are shown to yield coherent…
We investigate semigroups $S$ which have the property that every subsemigroup of $S\times S$ which contains the diagonal $\{ (s,s)\colon s\in S\}$ is necessarily a congruence on $S$. We call such $S$ a DSC semigroup. It is well known that…