Beginning Category Theory: Chs 1 to 6

Slow progress, but some progress is better than none. So here are Chapters 1 to 6 of Beginning Category Theory. The chapters are

Introduction [The categorial imperative!]One structured family of structures. [Revision about groups, and categories of groups introduced]Groups and sets [Why I don’t want to assume straight off the bat that structures are sets]Categories defined [General definition, and lots of standard examples]Diagrams [Reading commutative diagrams]Categories beget categories [Duals of categories, subcategories, products, slice categories, etc.]

Both Chs 2 and 3 are mildly revised from the posting a week or so back. Chapters 4 to 6 are tidier versions of what were Chapters 3 and 4 in the old Category Theory: A Gentle Introduction. And so these six chapters taken together replace the first four of the Gentle Intro.

The Stage 1 plan over the coming weeks is to correct/smooth the existing content from the Gentle Intro. Stage 2 will then be to round out that content (same or closely related topics, same level, but improved examples, etc.). Stage 3 will be to push on to a look at a few more topics I want to cover.

The post Beginning Category Theory: Chs 1 to 6 appeared first on Logic Matters.