A constructive approach to Freyd categories

DOI10.1007/s10485-020-09612-yzbMath1478.18008arXiv1712.03492MaRDI QIDQ2035866

Sebastian Posur

Publication date: 25 June 2021

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

Full work available at URL: https://arxiv.org/abs/1712.03492

zbMATH Keywords

finitely presented functor; computable abelian category; Freyd category

Mathematics Subject Classification ID

18E10: Abelian categories, Grothendieck categories

18C35: Accessible and locally presentable categories

18E05: Preadditive, additive categories

18A25: Functor categories, comma categories

16S99: Associative rings and algebras arising under various constructions

Uses Software

• GAP
• homalg
• Macaulay2
• SINGULAR
• GitHub
• CAP
• ModulePresentationsForCAP
• LinearAlgebraForCAP
• GeneralizedMorphismsForCAP
• FreydCategoriesForCAP