Non-pointed strongly protomodular theories

DOI10.1023/B:APCS.0000040554.75066.CCMaRDI QIDQ702197zbMATH OpenOpenAlexFDO

Authors F. Borceux

Publication date 17 January 2005

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:apcs.0000040554.75066.cc

zbMATH Keywords

ringBoolean algebraHeyting algebranormal subobjectsemi-Abelian category\(\mathbb C^*\)-algebraStrongly protomodular category

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Nonabelian homological algebra (category-theoretic aspects) (18G50)

Recommendations

• Remarks on strong nonstructure theorems
• scientific article; zbMATH DE number 2208072
• Pointed protomodularity via natural imaginary subtractions
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B
• On a strengthening of the non-isomorphism theorem for provability algebras
• scientific article; zbMATH DE number 4051585
• Pointwise definable models of set theory

Cited in

(11)

• Bourn-normal monomorphisms in regular Mal'tsev categories
• Non-pointed abelian categories
• Topological protomodular algebras
• Non Σ_n axiomatizable almost strongly minimal theories
• Monoids and pointed \(S\)-protomodular categories
• A note on strong protomodularity, actions and quotients
• Closedness properties of internal relations. III: Pointed protomodular categories
• scientific article; zbMATH DE number 2125644 (Why is no real title available?)
• scientific article; zbMATH DE number 2125655 (Why is no real title available?)
• Butterflies in a semi-abelian context
• Pointed protomodularity via natural imaginary subtractions

This page was built for publication: Non-pointed strongly protomodular theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q702197)