Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-25T05:09:38.529Z Has data issue: false hasContentIssue false

Embedding of Accessible Regular Categories

Published online by Cambridge University Press:  20 November 2018

Michael Barr*
Affiliation:
Department of Mathematics and Statistics, McGill University, 805 Sherbrooke St., W. Montréal, Québec, Canada H3A 2K6
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The purpose of this note is to prove that a regular accessible category has a full regular embedding into a set-valued functor category.

Keywords

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1989

References

1. Barr, M., Exact Categories. In Exact Categories and Categories of Sheaves, Lecture Notes in Math. 236, Springer-Verlag (1971), 2121.Google Scholar
2. Barr, M., Representations of categories. J. Pure Appl. Algebra, 41 (1986), 113-137.Google Scholar
3. Freyd, P., Abelian Categories: an Introduction to the Theory of Functors. Harper & Row, 1964.Google Scholar
4. Mitchell, B., Theory of Categories. Academic Press, 1965.Google Scholar
5. Makkai, M., Strong conceptual completeness for first order logic. To appear in Annals Pure Applied Logic. 6. M. Makkai & R. Paré, Accessible Categories: The Foundations of Categorical Model Theory. To appear in the Contemporary Mathematics series, Amer. Math. Soc.Google Scholar
7. Makkai, M. & Reyes, G. E., First Order Categorical Logic. Lecture Notes in Math. 611, Springer- Verlag (1977).Google Scholar