Towards constructivising the Freyd-Mitchell embedding theorem

MaRDI QIDQ6634616

Anna Giulia Montaruli

Publication date: 8 November 2024

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

zbMATH Keywords

embeddingconstructive mathematicsCZFabelian categoriesIZF

Mathematics Subject Classification ID

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

Cites Work

• A course in constructive algebra
• Are there enough injective sets?
• Exact categories
• Injectivity, Projectivity, and the Axiom of Choice
• CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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