This is an experiment. As with any experiment, it may flop.
The idea is to create a series of “Understandings”, i.e. tutorial references that work through category-theoretic constructions for various categories. Hopefully, each Understanding will be fairly homogeneous in structure, e.g. we define the category briefly with a reference to its formal page and then proceed to work through specific constructions in gory detail with specific examples.
Here is a list of pages we hope to get started on:
Here is an initial list of constructions to include (originally designed for Set):