Banaschewski's theorem for \(S\)-posets: regular injectivity and completeness.
From MaRDI portal
Publication:972593
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
completeness; monomorphisms; retracts; pomonoids; \(S\)-posets; injective posets; pogroups; regular injectivity
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