A constructive approach to Freyd categories

DOI10.1007/S10485-020-09612-YMaRDI QIDQ2035866zbMATH OpenOpenAlexFDO

Authors Sebastian Posur

Publication date 25 June 2021

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

computable abelian categoryfinitely presented functorFreyd category

Mathematics Subject Classification ID

Associative rings and algebras arising under various constructions (16S99) Functor categories, comma categories (18A25) Accessible and locally presentable categories (18C35) Preadditive, additive categories (18E05) Abelian categories, Grothendieck categories (18E10)

Abstract: In this paper we give an algorithmic description of Freyd categories that subsumes and enhances the usual approach to finitely presented modules in computer algebra. The upshot is a constructive approach to finitely presented functors that only relies on a few basic algorithms.

Recommendations

• On the Freyd categories of an additive category
• Closing the category of finitely presented functors under images made constructive
• Tensor products of finitely presented functors
• Methods of constructive category theory
• Embeddings of Exactly Definable and Finitely Accessible Additive Categories into Freyd Categories

Cites work

• A Constructive Solution to Interconnection and Decomposition Problems with Multidimensional Behaviors
• A course in constructive algebra
• An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
• Characterizing Serre quotients with no section functor and applications to coherent sheaves
• Gauge backgrounds and zero-mode counting in F-theory
• homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 1726532 (Why is no real title available?)
• scientific article; zbMATH DE number 3138253 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 1390914 (Why is no real title available?)
• scientific article; zbMATH DE number 3305162 (Why is no real title available?)
• scientific article; zbMATH DE number 3321315 (Why is no real title available?)
• Injective stabilization of additive functors. II. (Co)torsion and the Auslander-Gruson-Jensen functor
• Linear systems over localizations of rings
• On the ext-computability of Serre quotient categories
• On the Freyd categories of an additive category
• Purity, spectra and localisation.
• T.T.F. theories for left and right exact sequences
• The word problem

Cited in

(10)

• On free abelian categories for theorem proving
• Freyd categories are enriched Lawvere theories
• A presheaf interpretation of the generalized Freyd conjecture
• Methods of constructive category theory
• Closing the category of finitely presented functors under images made constructive
• Tensor products of finitely presented functors
• On the Freyd categories of an additive category
• An abelian ambient category for behaviors in algebraic systems theory
• The ring of polynomial ordinary integro-differential operators is an effective Cramer ring
• The structure of free closed categories

Describes a project that uses

Uses Software

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

This page was built for publication: A constructive approach to Freyd categories

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