Abstract
Category theory plays an important role as a unifying agent in a rapidly expanding universe of mathematics. In this paper, an introduction is given to the basic definitions of category theory, as well as to more advanced concepts such as adjointness, factorization systems and cartesian closedness.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Adámek, H. Herrlich and G.E. Strecker. Abstract and Concrete Categories, Wiley Interscience, New York, 1990.
J. Adámek and J. Rosický. Locally Presentable and Accessible Categories, Cambridge University Press, 1994.
F. Borceux. Handbook of Categorical Algebra 1, Cambridge University Press, 1994.
N. Bourbaki. Éléments de mathématique, Vol. VII, Algèbre, Livre II, Algèbre multilinéaire, ch. 3, Actualités Sci. Indust., 1044 Hermann, Paris, 1948.
H. Brandt. Über eine Verallgemeinerung des Gruppenbegriffs, Math. Ann., 96 (1926), 360–366.
R. Brown. From groups to groupoids: a brief survey, Bull. London Math. Soc., 19 (1987), 113–134.
C. Cassidy, M. Hébert and G. M. Kelly: Reflective subcategories, localizations and factorization systems, J. Austral. Math. Soc., 38 (1985), 287–329
Corrigenda C. Cassidy, M. Hébert and G. M. Kelly: Reflective subcategories, localizations and factorization systems, J. Austral. Math. Soc., 41 (1986), 286.
G. Castellini. Categorical closure operators, this volume.
G. Choquet. Convergences, Ann. Univ. Grenoble, Sect. Sci. Math. Phys., II, Ser. 23 (1948), 57–112.
B. J. Day and G. M. Kelly. On topological quotient maps preserved by pullbacks or products. Proc. Cambridge Phil. Soc., 67 (1970), 553–558.
D. Dikranjan and E. Giuli. Closure operators I, Topology Appl., 27 (1987), 129–143.
D. Dikranjan and W. Tholen. Categorical Structure of Closure Operators, Kluwer Academic Publishers, Dordrecht, 1995.
H. Ehrig and H. Herrlich. The construct PRO of projection spaces: its internal structure, Lect. Notes Comp. Sci., 393, Springer, Berlin, 1989.
S. Eilenberg and S. Mac Lane. General theory of natural equivalences, Trans. Amer. Math. Soc., 58 (1945), 231–294.
R. Engelking. General Topology, Heldermann, Berlin, 1989.
P. J. Freyd and G. M. Kelly. Categories of continuous functors, I, J. Pure Appl. Algebra, 2 (1972), 169–191.
P. Gabriel, F. Ulmer. Lokal präsentierbare Kategorien, Lect. Notes Math., 221, Springer, Berlin, 1971.
R. Goldblatt. Topoi. The Categorial Analysis of Logic, rev. ed., North-Holland, Amsterdam, 1984.
M. Artin, A. Grothendieck and J.L. Verdier. Théorie des topos et cohomologie étale des schémas, Lect. Notes Math. 269, 270, Springer, Berlin, 1972.
H. Herrlich. Topologische Reflexionen und Coreflexionen, Lect. Notes Math., 78, Springer, Berlin, 1968.
H. Herrlich. Initial completions, Math. Z., 150 (1976), 101–110.
H. Herrlich. Topological improvements of categories of structured sets, Topology Appl., 27 (1987), 145–155.
H. Herrlich and W. Meyer. Factorization of flows and completeness of categories, Quaest. Math., 17 (1994), 1–11.
H. Herrlich and G. E. Strecker. Semi-universal maps and universal initial completions, Pacific J. Math., 82 (1979), 407–428.
P. T. Johnstone. Topos Theory, Academic Press, London, 1977.
J. F. Kennison. Full reflective subcategories and generalized covering spaces, Illinois J. Math., 12 (1968), 353–365.
H. Kleisli. Every standard construction is induced by a pair of adjoint functors, Proc. Amer. Math. Soc., 16 (1065), 544–546.
J. Lambek and P. J. Scott. Introduction to Higher Order Categorical Logic, Cambridge University Press, 1986.
F. W. Lawvere. Functorial Semantics of Algebraic Theories, PhD thesis, Columbia University, 1963. Summary in Proc. Natl. Acad. Sci. USA, 50 (1963), 869–872.
F. Linton. Some aspects of equational categories, in Proceedings of the Conference on Categorical Algebra at La Jolla, Springer, Berlin, 1966.
S. Mac Lane. Categories for the Working Mathematician, Springer, Berlin, 1972.
E. Moggi. Notions of Computation and Monads, Inform, and Comput., 93 (1991), 55–92.
H. E. Porst. Equivalence of varieties in general and of Bool in particular, to appear in Algebra Universalis.
L. Schröder. Composition Graphs and Free Extensions of Categories (in German), PhD thesis, University of Bremen, 1999
also L. Schröder. Composition Graphs and Free Extensions of Categories (in German), PhD thesis, Logos, Berlin, 1999.
L. Schröder. Monads on composition graphs. Submitted to Appl. Cat. Struct.
L. Schröder and H. Herrlich. Free adjunction of morphisms, Appl. Cat. Struct., 8 (2000), 595–606.
V. Trnkova, J. Adárnek and J. Rosický. Topological reflections revisited, Proc. Amer. Math. Soc., 108 (1990), 605–612.
O. Wyler. Are there topoi in topology? Lect. Notes Math., 540, Springer, Berlin, 1976, 699–719.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Schröder, L. (2001). Categories: A Free Tour. In: Koslowski, J., Melton, A. (eds) Categorical Perspectives. Trends in Mathematics. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-1370-3_1
Download citation
DOI: https://doi.org/10.1007/978-1-4612-1370-3_1
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-1-4612-7117-8
Online ISBN: 978-1-4612-1370-3
eBook Packages: Springer Book Archive