Towards constructivising the Freyd-Mitchell embedding theorem

MaRDI QIDQ6634616zbMATH OpenFDO

Authors Anna Giulia Montaruli

Publication date 8 November 2024

Published in Theory and Applications of Categories (Search for Journal in Brave)

zbMATH Keywords

abelian categoriesconstructive mathematicsCZFembeddingIZF

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Categorical logic, topoi (03G30) Abelian categories, Grothendieck categories (18E10) Categorical embedding theorems (18E20)

Recommendations

• Representation of categories
• An embedding theorem for abelian categories
• Embeddings of Exactly Definable and Finitely Accessible Additive Categories into Freyd Categories
• Representation of \(n\)-abelian categories in abelian categories
• Surjection-like classes of morphisms

Cites work

• A course in constructive algebra
• Are there enough injective sets?
• Constructive reflectivity principles for regular theories
• Exact categories
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 1347320 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (Why is no real title available?)
• scientific article; zbMATH DE number 3377452 (Why is no real title available?)
• Injectivity, Projectivity, and the Axiom of Choice

This page was built for publication: Towards constructivising the Freyd-Mitchell embedding theorem

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