Algebra in a Grothendieck topos: Injectivity in quasi-equational classes

DOI10.1016/0022-4049(82)90110-4zbMath0495.18012OpenAlexW2070451348WikidataQ122466794 ScholiaQ122466794MaRDI QIDQ1169550

M. Mehdi Ebrahimi

Publication date: 1982

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(82)90110-4

zbMATH Keywords

injectivityresidual smallnessGrothendieck toposboundedness of essential extensionsquasi-equational classesquasi-equations

Mathematics Subject Classification ID

Topoi (18B25) Projectives and injectives (category-theoretic aspects) (18G05) Categories and theories (18C99)

Related Items (14)

Unnamed Item ⋮ On the normal completion of a Boolean algebra ⋮ C-DENSE INJECTIVITY IN Act-S ⋮ Absolute retractness of automata on directed complete posets ⋮ CATEGORY OF M-ALGEBRAS AND INTERNAL HOMOMORPHISMS ⋮ Essentiality and injectivity ⋮ Sequentially dense essential monomorphisms of acts over semigroups ⋮ On the Baer Criterion for Acts Over Semigroups ⋮ Essentiality and injectivity relative to sequential purity of acts. ⋮ Proper Behaviour of Sequential Injectivity of Acts Over Semigroups ⋮ Internal completeness and injectivity of Boolean algebras in the topos of M-sets ⋮ Completion of Boolean algebras in MSet ⋮ Equational compactness of sheaves of algebras on a Noetherian locale ⋮ Stone representation theorem for Boolean algebras in the topos MSet

Cites Work

• Unnamed Item
• Unnamed Item
• Residually small varieties
• Injective Sheaves of Abelian Groups: A Counterexample
• WHEN ARE DIVISIBLE ABELIAN GROUPS INJECTIVE?
• The Injective Envelope of S-Sets

This page was built for publication: Algebra in a Grothendieck topos: Injectivity in quasi-equational classes