Partial Maps with Domain and Range: Extending Schein's Representation

DOI10.1080/00927870802625562zbMath1182.20058OpenAlexW2039226851MaRDI QIDQ3395624

Marcel Jackson, Timothy Stokes

Publication date: 11 September 2009

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/10289/4135

zbMATH Keywords

semigroups of functionspartial mapsfunctional representationssemigroups of partial functionsinterior semigroupsclosure semigroups

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Relational systems, laws of composition (08A02) Representation of semigroups; actions of semigroups on sets (20M30)

Related Items (7)

Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ The algebra of functions with antidomain and range ⋮ Axioms for function semigroups with agreement quasi-order. ⋮ Domain and range for angelic and demonic compositions ⋮ Undecidability of representability as binary relations ⋮ Ehresmann semigroups whose categories are EI and their representation theory ⋮ MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS

Cites Work

• The algebra of functions
• The algebra of functions. II
• Semigroups and ordered categories. I: The reduced case
• Algebras of multiplace functions
• Agreeable semigroups.
• Interior algebras and varieties
• The algebra of functions. III
• Guarded and banded semigroups.
• Function systems
• Relation algebras and function semigroups
• Representability is not decidable for finite relation algebras
• Adequate Semigroups
• IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
• Free right type A semigroups
• Difference semigroups
• Lectures on semigroups of transformations
• PROPER WEAKLY LEFT AMPLE SEMIGROUPS
• FUNCTIONAL MENGER -ALGEBRAS
• Inverse Monoids With a Natural Semilattice Ordering
• Kleene algebra with domain
• FAITHFUL FUNCTORS FROM CANCELLATIVE CATEGORIES TO CANCELLATIVE MONOIDS WITH AN APPLICATION TO ABUNDANT SEMIGROUPS
• On Hoare logic and Kleene algebra with tests
• Restriction categories. I: Categories of partial maps

This page was built for publication: Partial Maps with Domain and Range: Extending Schein's Representation