Identities in Categories
- 1 June 1972
- journal article
- Published by Canadian Mathematical Society in Canadian Mathematical Bulletin
- Vol. 15 (2) , 297-299
- https://doi.org/10.4153/cmb-1972-055-0
Abstract
In [4] Hatcher introduced the notion of an identity in an arbitrary category and proved a characterization of quasivarietal subcategories which is similar to Birkhoff's characterization of varietal subcategories in universal algebra. The aim of this note is to show that the theorem of Hatcher as well as the categorical generalization of Birkhoff's theorem are special cases of a "relative" theorem, formulated with respect to a projective structure.Keywords
This publication has 7 references indexed in Scilit:
- Quasiprimitive subcategoriesMathematische Annalen, 1970
- Kennzeichnung von primitiven und quasiprimitiven Kategorien von AlgebrenArchiv der Mathematik, 1968
- Normal completions of categoriesPublished by Springer Nature ,1967
- Some Aspects of Equational CategoriesPublished by Springer Nature ,1966
- Injective structuresTransactions of the American Mathematical Society, 1964
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935