Add to ORKGCategories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an inverse-Baer*-category with closed projections and in which the idempotents split is an exact category. Finally the Noether isomorphism theorems are given for this exact category
AbstractThe theory in this paper was motivated by an example of an inverse semigroup important in Gi...
AbstractLet B be the closed term model of the λ-calculus in which terms with the same Böhm tree are ...
International audienceWe prove a categorical duality between a class of abstract algebras of partial...
The theory of inverse semigroups forms a major part of semigroup theory. This theory has deep connec...
The theory of inverse semigroups forms a major part of semigroup theory. This theory has deep connec...
Category Theory is becoming an useful tool to formalize abstract concepts making easy to construct p...
AbstractWe study the relationship between algebraic structures and their inverse semigroups of parti...
AbstractThis paper attempts to reconcile the various abstract notions of “category of partial maps” ...
AbstractLet K:C→D be a continuous functor from a complete category to a ‘weakly bounded’ category (a...
A number of concepts in modern algebra have arisen as abstract versions of systems of functions of o...
with an appendix by B. KELLER Abstract. In a series of papers starting with [ASo] additive subbifunc...
. In a series of papers starting with [ASo] additive subbifunctors F of the bifunctor Ext ( ; ) ar...
summary:We present some special properties of inverse categories with split idempotents. First, we e...
We consider two categories with one object, namely the set of all partial functions of one variable ...
WWW:http://mizar.org/JFM/Vol3/oppcat_1.html The articles [6], [4], [7], [8], [1], [2], [5], and [3] ...
AbstractThe theory in this paper was motivated by an example of an inverse semigroup important in Gi...
AbstractLet B be the closed term model of the λ-calculus in which terms with the same Böhm tree are ...
International audienceWe prove a categorical duality between a class of abstract algebras of partial...
The theory of inverse semigroups forms a major part of semigroup theory. This theory has deep connec...
The theory of inverse semigroups forms a major part of semigroup theory. This theory has deep connec...
Category Theory is becoming an useful tool to formalize abstract concepts making easy to construct p...
AbstractWe study the relationship between algebraic structures and their inverse semigroups of parti...
AbstractThis paper attempts to reconcile the various abstract notions of “category of partial maps” ...
AbstractLet K:C→D be a continuous functor from a complete category to a ‘weakly bounded’ category (a...
A number of concepts in modern algebra have arisen as abstract versions of systems of functions of o...
with an appendix by B. KELLER Abstract. In a series of papers starting with [ASo] additive subbifunc...
. In a series of papers starting with [ASo] additive subbifunctors F of the bifunctor Ext ( ; ) ar...
summary:We present some special properties of inverse categories with split idempotents. First, we e...
We consider two categories with one object, namely the set of all partial functions of one variable ...
WWW:http://mizar.org/JFM/Vol3/oppcat_1.html The articles [6], [4], [7], [8], [1], [2], [5], and [3] ...
AbstractThe theory in this paper was motivated by an example of an inverse semigroup important in Gi...
AbstractLet B be the closed term model of the λ-calculus in which terms with the same Böhm tree are ...
International audienceWe prove a categorical duality between a class of abstract algebras of partial...