Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      D-semigroups and constellations

      Stokes, Tim E.
      Thumbnail
      Files
      constell2FINAL.pdf
      Accepted version, 266.2Kb
      DOI
       10.1007/s00233-017-9851-z
      Find in your library  
      Citation
      Export citation
      Stokes, T. E. (2017). D-semigroups and constellations. SEMIGROUP FORUM, 94(2), 442–462. https://doi.org/10.1007/s00233-017-9851-z
      Permanent Research Commons link: https://hdl.handle.net/10289/11858
      Abstract
      In a result generalising the Ehresmann–Schein–Nambooripad Theorem relating inverse semigroups to inductive groupoids, Lawson has shown that Ehresmann semigroups correspond to certain types of ordered (small) categories he calls Ehresmann categories. An important special case of this is the correspondence between two-sided restriction semigroups and what Lawson calls inductive categories. Gould and Hollings obtained a one-sided version of this last result, by establishing a similar correspondence between left restriction semigroups and certain ordered partial algebras they call inductive constellations (a general constellation is a one-sided generalisation of a category). We put this one-sided correspondence into a rather broader setting, at its most general involving left congruence D-semigroups (which need not satisfy any semiadequacy condition) and what we call co-restriction constellations, a finitely axiomatized class of partial algebras. There are ordered and unordered versions of our results. Two special cases have particular interest. One is that the class of left Ehresmann semigroups (the natural one-sided versions of Lawson’s Ehresmann semigroups) corresponds to the class of co-restriction constellations satisfying a suitable semiadequacy condition. The other is that the class of ordered left Ehresmann semigroups (which generalise left restriction semigroups and for which semigroups of binary relations equipped with domain operation and the inclusion order are important examples) corresponds to a class of ordered constellations defined by a straightforward weakening of the inductive constellation axioms.
      Date
      2017
      Type
      Journal Article
      Publisher
      Springer
      Rights
      This is an author’s accepted version of an article published in the journal: Semigroup Forum. © Springer Science+Business Media New York 2017.
      Collections
      • Computing and Mathematical Sciences Papers [1452]
      Show full item record  

      Usage

      Downloads, last 12 months
      101
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement