A constructive approach to Freyd categories
From MaRDI portal
Publication:2035866
DOI10.1007/s10485-020-09612-yzbMath1478.18008arXiv1712.03492OpenAlexW3092865148MaRDI QIDQ2035866
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
Abelian categories, Grothendieck categories (18E10) Accessible and locally presentable categories (18C35) Preadditive, additive categories (18E05) Functor categories, comma categories (18A25) Associative rings and algebras arising under various constructions (16S99)
Related Items (3)
Methods of constructive category theory ⋮ Tensor products of finitely presented functors ⋮ On free abelian categories for theorem proving
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the ext-computability of Serre quotient categories
- T.T.F. theories for left and right exact sequences
- A course in constructive algebra
- Linear systems over localizations of rings
- Gauge backgrounds and zero-mode counting in F-theory
- Characterizing Serre quotients with no section functor and applications to coherent sheaves
- Injective stabilization of additive functors. II. (Co)torsion and the Auslander-Gruson-Jensen functor
- AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION
- homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
- A Constructive Solution to Interconnection and Decomposition Problems with Multidimensional Behaviors
- Homotopy Type Theory: Univalent Foundations of Mathematics
- The word problem
- On the Freyd categories of an additive category
This page was built for publication: A constructive approach to Freyd categories