Methods of constructive category theory

DOI10.1090/CONM/769/15417MaRDI QIDQ5043423zbMATH OpenOpenAlexFDO

Authors Sebastian Posur

Publication date 21 October 2022

Published in Representations of Algebras, Geometry and Physics (Search for Journal in Brave)

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

zbMATH Keywords

constructive category theorydiagram chasesfinitely presented functors

Mathematics Subject Classification ID

Functor categories, comma categories (18A25) Preadditive, additive categories (18E05) Abelian categories, Grothendieck categories (18E10)

Abstract: We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like $mathrmExt$ and $mathrmTor$ over a commutative coherent ring $R$? We give an answer by introducing category constructors that enable us to build up a category which is both suited for performing explicit calculations and equivalent to the category of all finitely presented functors. The second question is: how do we determine the differentials on the pages of a spectral sequence associated to a filtered cochain complex only in terms of operations directly provided by the axioms of an abelian category? Its answer relies on a constructive method for performing diagram chases based on a calculus of relations within an arbitrary abelian category.

Recommendations

• Closing the category of finitely presented functors under images made constructive
• A constructive approach to Freyd categories
• On the ext-computability of Serre quotient categories
• scientific article; zbMATH DE number 193170
• scientific article; zbMATH DE number 3999258

Cites work

• A constructive approach to Freyd categories
• A course in constructive algebra
• A simple presentation of a group with unsolvable word problem
• Abelsche und exakte Kategorien, Korrespondenzen
• An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• scientific article; zbMATH DE number 1726532 (Why is no real title available?)
• scientific article; zbMATH DE number 108068 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1361350 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3305160 (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?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• Korrespondenzen in abelschen Kategorien
• Linear systems over localizations of rings
• On the Freyd categories of an additive category
• Purity, spectra and localisation.

Cited in

(3)

• A constructive approach to Freyd categories
• Closing the category of finitely presented functors under images made constructive
• Computing the nonfree locus of the moduli space of arrangements and Terao’s freeness conjecture

Describes a project that uses

Uses Software

• SINGULAR
• GAP
• ModulePresentationsForCAP
• GeneralizedMorphismsForCAP
• LinearAlgebraForCAP
• CAP

This page was built for publication: Methods of constructive category theory

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