Banaschewski's theorem for \(S\)-posets: regular injectivity and completeness.

DOI10.1007/s00233-010-9207-4zbMath1198.20060WikidataQ122661056 ScholiaQ122661056MaRDI QIDQ972593

H. Rasouli, Mojgan Mahmoudi, M. Mehdi Ebrahimi

Publication date: 21 May 2010

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00233-010-9207-4

zbMATH Keywords

completeness; monomorphisms; retracts; pomonoids; \(S\)-posets; injective posets; pogroups; regular injectivity

Mathematics Subject Classification ID

06F05: Ordered semigroups and monoids

20M50: Connections of semigroups with homological algebra and category theory

Related Items

On unitary down-closed regular monomorphisms of pomonoid actions, Down closed injectivity and essentialness, ON REGULAR PRIME INJECTIVITY OF S-POSETS, COGENERATOR AND SUBDIRECTLY IRREDUCIBLE IN THE CATEGORY OF S-POSETS, ORDER DENSE ESSENTIALITY AND BEHAVIOR OF ORDER DENSE INJECTIVITY, Quasi-injectivity of partially ordered acts, Categorical Properties of Down Closed Embeddings, Injectivity of directed complete poset acts, Quasi injectivity andθ-internal order sum in partially ordered acts, Unnamed Item, Unnamed Item, Down closed-quasi-injectivity of partially ordered acts, The regular-injective envelope of \(S\)-posets, On injective hulls of \(S\)-posets, Injectivity of \(S\)-posets with respect to down closed regular monomorphisms., Completion of \(S\)-posets

Cites Work

• Subpullback flat \(S\)-posets need not be subequalizer flat.
• Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
• The category of \(S\)-posets.
• Categorial characterization of the MacNeille completion
• On homological classification of pomonoids by regular weak injectivity properties of \(S\)-posets
• Internal completeness and injectivity of Boolean algebras in the topos of M-sets
• Flatness Properties of S-Posets
• The Injective Envelope of S-Sets
• Lazard's Theorem for S ‐posets
• Internal injectivity of Boolean algebras in \({\mathcal{MS}}et\)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item