## Categories: A Free Tour

Citations: | 1 - 0 self |

### BibTeX

@MISC{Schröder_categories:a,

author = {Lutz Schröder},

title = {Categories: A Free Tour},

year = {}

}

### OpenURL

### 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 denitions of category theory, as well as to more advanced concepts such as adjointness, factorization systems and cartesian closedness. In the past decades, the subject of mathematics has experienced an explosive increase both in diversity and in the sheer amount of published material. (E.g., the Mathematical Reviews volume of 1950 features 766 pages of reviews, compared to a total of 4550 pages in the six volumes for the rst half of 2000.) It has thus become inevitable that this growth, taking place in numerous and increasingly disconnected branches, be complemented by some form of unifying theory. There have been attempts at such unications in the past, such as Birkho-style universal algebra or the encyclopedic work of Bourbaki. However, the most successful and universal approach so far is certainly the theory of cat...