2.3 Categories

A category $\mathcal{C}$ consists of a set of objects and, for each pair of objects, a set of morphisms between them. In other words, it is what is called a “small” category in other texts. We will use “big” categories (categories whose objects form a proper class) as well, but only those that are listed in Categories, Remark 4.2.2.

Comment #4972 by M. Farrokhi D. G. on

The expression "A category $\mathcal{C}$ consists of a set of objects and, for each pair of objects, a set of morphisms between them" looks confusing specially for beginners. Should it it read "A category $\mathcal{C}$ consists of a set of objects and, for each ordered pair of objects, a set whose elements are called morphisms".

Comment #5220 by on

This is just the introduction so the language is a bit loose. Going to leave as is for now unless more people complain.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).