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.

*Updated*: The definition of a commutative diagram improved.