Compositionality

The open-access journal for the mathematics of composition

Closing the category of finitely presented functors under images made constructive

Sebastian Posur

RWTH Aachen University, Germany

ABSTRACT

For an additive category $\mathbf{P}$ we provide an explicit construction of a category $\mathcal{Q}( \mathbf{P})$ whose objects can be thought of as formally representing $\frac{\textrm{im}( \gamma )}{\textrm{im}( \rho ) \cap \textrm{im}( \gamma )}$ for given morphisms $\gamma: A \rightarrow B$ and $\rho: C \rightarrow B$ in $\mathbf{P}$, even though $\mathbf{P}$ does not need to admit quotients or images. We show how it is possible to calculate effectively within $\mathcal{Q}( \mathbf{P})$, provided that a basic problem related to syzygies can be handled algorithmically. We prove an equivalence of $\mathcal{Q}( \mathbf{P})$ with the smallest subcategory of the category of contravariant functors from $\mathbf{P}$ to the category of abelian groups $\mathbf{Ab}$ which contains all finitely presented functors and is closed under the operation of taking images. Moreover, we characterize the abelian case: $\mathcal{Q}( \mathbf{P})$ is abelian if and only if it is equivalent to $\mathrm{fp}( \mathbf{P}^{\mathrm{op}}, \mathbf{Ab})$, the category of all finitely presented functors, which in turn, by a theorem of Freyd, is abelian if and only if $\mathbf{P}$ has weak kernels.

The category $\mathcal{Q}( \mathbf{P})$ is a categorical abstraction of the data structure for finitely presented $R$-modules employed by the computer algebra system Macaulay2, where $R$ is a ring. By our generalization to arbitrary additive categories, we show how this data structure can also be used for modeling finitely presented graded modules, finitely presented functors, and some not necessarily finitely presented modules over a non-coherent ring.

► BibTeX data

► References

[1] Mohamed Barakat. The homomorphism theorem and effective computations. Habilitation thesis, Department of Mathematics, RWTH-Aachen University, April 2009.
https:/​/​algebra.mathematik.uni-siegen.de/​barakat/​habil/​habil.pdf

[2] Mohamed Barakat and Markus Lange-Hegermann. An axiomatic setup for algorithmic homological algebra and an alternative approach to localization. Journal of Algebra and its Applications, 10 (2): 269–293, 2011. https:/​/​doi.org/​10.1142/​S0219498811004562.
https:/​/​doi.org/​10.1142/​S0219498811004562

[3] Mohamed Barakat and Markus Lange-Hegermann. Gabriel morphisms and the computability of Serre quotients with applications to coherent sheaves. (arXiv:1409.2028), Sep. 2014.
arXiv:1409.2028

[4] Apostolos Beligiannis. On the Freyd categories of an additive category. Homology, Homotopy and Applications, 2: 147–185, 2000. ISSN 1512-0139. https:/​/​doi.org/​10.4310/​HHA.2000.v2.n1.a11.
https:/​/​doi.org/​10.4310/​HHA.2000.v2.n1.a11

[5] P. J. Freyd and G. M. Kelly. Categories of continuous functors. I. Journal of Pure and Applied Algebra, 2: 169–191, 1972. ISSN 0022-4049. https:/​/​doi.org/​10.1016/​0022-4049(72)90001-1.
https:/​/​doi.org/​10.1016/​0022-4049(72)90001-1

[6] Peter Freyd. Representations in abelian categories. In Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965), pages 95–120. Springer, New York, 1966. https:/​/​doi.org/​10.1007/​978-3-642-99902-4_4.
https:/​/​doi.org/​10.1007/​978-3-642-99902-4_4

[7] Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system for research in algebraic geometry. http:/​/​www.math.uiuc.edu/​Macaulay2/​.
http:/​/​www.math.uiuc.edu/​Macaulay2/​

[8] G. Greuel and G. Pfister. A Singular Introduction to Commutative Algebra. Springer-Verlag, 2002. https:/​/​doi.org/​10.1007/​978-3-662-04963-1. With contributions by Olaf Bachmann, Christoph Lossen and Hans Schönemann.
https:/​/​doi.org/​10.1007/​978-3-662-04963-1

[9] Sebastian Gutsche. Constructive category theory and applications to algebraic geometry. Dissertation, University of Siegen, 2017. (https:/​/​nbn-resolving.org/​urn:nbn:de:hbz:467-12411).
https:/​/​nbn-resolving.org/​urn:nbn:de:hbz:467-12411

[10] Sebastian Gutsche, Øystein Skartsæterhagen, and Sebastian Posur. The $\mathtt{CAP}$ project – Categories, Algorithms, Programming. (http:/​/​homalg-project.github.io/​CAP_project), 2013–2018.
http:/​/​homalg-project.github.io/​CAP_project

[11] Saunders Mac Lane. Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1998. ISBN 0-387-98403-8. https:/​/​doi.org/​10.1007/​978-1-4757-4721-8.
https:/​/​doi.org/​10.1007/​978-1-4757-4721-8

[12] Ray Mines, Fred Richman, and Wim Ruitenburg. A course in constructive algebra. Universitext. Springer-Verlag, New York, 1988. ISBN 0-387-96640-4. https:/​/​doi.org/​10.1007/​978-1-4419-8640-5.
https:/​/​doi.org/​10.1007/​978-1-4419-8640-5

[13] Barry Mitchell. Rings with several objects. Advances in Mathematics, 8: 1–161, 1972. ISSN 0001-8708. https:/​/​doi.org/​10.1016/​0001-8708(72)90002-3.
https:/​/​doi.org/​10.1016/​0001-8708(72)90002-3

[14] Sebastian Posur. A constructive approach to Freyd categories. (arXiv:1712.03492), Dec. 2017a.
arXiv:1712.03492

[15] Sebastian Posur. Constructive Category Theory and Applications to Equivariant Sheaves. Dissertation, University of Siegen, 2017b. (https:/​/​nbn-resolving.org/​urn:nbn:de:hbz:467-11798).
https:/​/​nbn-resolving.org/​urn:nbn:de:hbz:467-11798

[16] Sebastian Posur. Linear systems over localizations of rings. Archiv der Mathematik, 111 (1): 23–32, 2018. ISSN 0003-889X. https:/​/​doi.org/​10.1007/​s00013-018-1183-z.
https:/​/​doi.org/​10.1007/​s00013-018-1183-z

[17] Sebastian Posur. Methods of constructive category theory. (arXiv:1908.04132), Aug. 2019.
arXiv:1908.04132

[18] Alban Quadrat. Grade Filtration of Linear Functional Systems. Acta Applicandae Mathematicae. An International Survey Journal on Applying Mathematics and Mathematical Applications, 127: 27–86, 2013. https:/​/​doi.org/​10.1007/​s10440-012-9791-2.
https:/​/​doi.org/​10.1007/​s10440-012-9791-2

Cited by

On Crossref's cited-by service no data on citing works was found (last attempt 2020-11-23 11:02:40). On SAO/NASA ADS no data on citing works was found (last attempt 2020-11-23 11:02:41).