Non-pointed strongly protomodular theories
DOI10.1023/B:APCS.0000040554.75066.CCzbMATH Open1063.18001OpenAlexW2072656954MaRDI QIDQ702197FDOQ702197
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
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
ringBoolean algebraHeyting algebranormal subobjectsemi-Abelian category\(\mathbb C^*\)-algebraStrongly protomodular category
Equational logic, Mal'tsev conditions (08B05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Nonabelian homological algebra (category-theoretic aspects) (18G50)
Cited In (11)
- Pointed protomodularity via natural imaginary subtractions
- Butterflies in a semi-abelian context
- Title not available (Why is that?)
- Title not available (Why is that?)
- Monoids and pointed \(S\)-protomodular categories
- A note on strong protomodularity, actions and quotients
- Non Σn axiomatizable almost strongly minimal theories
- Non-pointed abelian categories
- Bourn-normal monomorphisms in regular Mal'tsev categories
- Closedness properties of internal relations. III: Pointed protomodular categories
- Topological protomodular algebras
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)
