A constructive approach to Freyd categories
Category Theory
2020-10-15 v1 Rings and Algebras
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.
Cite
@article{arxiv.1712.03492,
title = {A constructive approach to Freyd categories},
author = {Sebastian Posur},
journal= {arXiv preprint arXiv:1712.03492},
year = {2020}
}