Sources, authorship and component terms

Growing course with 86 lessons and 344 graded exercises with full solutions. Written or adapted and self-checked with GPT-6.1 Sol (OpenAI), Ultra reasoning effort. Independent model reviews cover eight exact unchanged lesson versions; seven historical reviews retain their original source bindings. Separate scoped model checks cover specified new arguments, retained prerequisite interfaces and four exercise solutions per new lesson; these checks add no whole-lesson or whole-course review. Original exposition uses CC0 1.0. The whole Tom Leinster adaptation retains CC BY-NC-SA 4.0. Further lessons, course-wide coverage, source reconciliation and review remain in progress.

Original course contributions and the original build script use CC0 1.0, with the following separately licensed lesson.

Pointwise abelian structure and natural splittings is licensed as a whole under CC BY-NC-SA 4.0. Section 1 adapts Tom Leinster, Basic Category Theory, arXiv:1612.09375v2, 26 August 2025, Theorem 6.2.5, pp. 148–150, and the cone interface of Lemma 6.1.3. Source copyright © Tom Leinster 2014, 2016. AI changes notation and expands the functor and naturality checks; later sections add complete proofs and exercises. Preserve attribution, marked changes, the noncommercial and share-alike terms, and the licence warranty disclaimer. No endorsement is implied. Other named bibliographic references are cited without copying their source text.

The portable renderer is CC0 under its explicit component notice. markdown-it-py 4.2.0 and mdurl 0.1.2 are MIT; their original notices accompany the source package. MathJax retains Apache 2.0; its unmodified fonts retain OFL 1.1 and font notices.

Course licence notice · Component provenance