Abstract
The concept of a finitely related algebra, as opposed to the ones of finitely presentable and finitely generated ones, is not preserved under categorical equivalences. We propose a categorically well behaved approximation for it in the context of locally presentable categories, which turns out to be a natural counterpart to the (slightly reformulated) categorical definitions of finitely presentable and finitely generated objects. A stronger notion is also defined, which may be considered more natural in the restricted context of algebraic categories, as it corresponds to the classical one when the canonical theory is considered. Both concepts are equivalent to finite presentability when finite generation is added.
Similar content being viewed by others
References
Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge Univ. Press, Cambridge (1994)
Adámek, J., Rosický, J.: On pure quotients and pure subobjects. Czechoslovak Math. J. 54(129), no. 3, 623–636 (2004)
Adámek, J., Rosický, J., Vitale, E.: Algebraic theories: a categorical introduction to general algebra. Cambridge Tracts in Mathematics 184, Cambridge Univ. Press, Cambridge (2011)
Borceux, F.: Handbook of Categorical Algebra 1. Encyclopedia of Mathematics vol. 50, Cambridge Univ. Press, Cambridge (1994)
Cohn, P.M.: Algebra, vol. 3. John Wiley, Chichester (1991)
Coste, M.: Localisation dans les catégories de modèles. Thèse de doctorat d’état, Université de Paris Nord (1977)
Gabriel, P., Ulmer, F.: Local Präsentierbare Kategorien. Lect. Notes in Math. 221, Springer-Verlag, Berlin (1971)
Hinohara, Y.: Projective modules over weakly noetherian rings. J. Math. Soc. Japan 15(1), 75–88 (1963)
Kaplansky, I.: Projective modules. Ann. Math. 68, 372–377 (1958)
Kelly, G.M.: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on. Bull. Austral. Math. Soc 22, 1–83 (1980)
Lam, T. Y.: Lectures on modules and rings. Graduate Texts in Mathematics 189, Springer-Verlag, New York (1999)
Mal’cev, A.I.: Quasi primitive classes of abstract algebras. In: Wells, B.F. (ed.) The Metamathematics of Algebraic Systems, North-Holland, Amsterdam (1971)
McGovern, W., Puninski, G., Rothmaler, P.: When every projective module is a direct sum of finitely generated modules. J. Algebra 315, 454–481 (2007)
Taylor, P.: Practical Foundations of Mathematics. Cambridge Univ. Press, Cambridge (1999)
Volger, H.: Preservation theorems for limits of structures and global sections of sheaves. Math. Zeitschr. 166, 27–53 (1979)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hébert, M. What is a Finitely Related Object, Categorically?. Appl Categor Struct 21, 1–14 (2013). https://doi.org/10.1007/s10485-011-9250-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-011-9250-7