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

DOI10.1016/0022-4049(82)90110-4zbMath0495.18012WikidataQ122466794 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

injectivity; residual smallness; Grothendieck topos; boundedness of essential extensions; quasi-equational classes; quasi-equations

Mathematics Subject Classification ID

18B25: Topoi

18G05: Projectives and injectives (category-theoretic aspects)

18C99: Categories and theories

Related Items

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

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