Methods of constructive category theory

DOI10.1090/conm/769/15417zbMath1497.18011arXiv1908.04132OpenAlexW3158862684MaRDI QIDQ5043423

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

finitely presented functorsconstructive category theorydiagram chases

Mathematics Subject Classification ID

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

Related Items (1)

Computing the nonfree locus of the moduli space of arrangements and Terao’s freeness conjecture

Uses Software

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

Cites Work

• A simple presentation of a group with unsolvable word problem
• Korrespondenzen in abelschen Kategorien
• A course in constructive algebra
• Linear systems over localizations of rings
• A constructive approach to Freyd categories
• 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
• Abelsche und exakte Kategorien, Korrespondenzen
• AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION
• On the Freyd categories of an additive category
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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