Under construction. This area is a framework being built: most courses have no teaching material yet, and things may change or break. Private self-study. Not an official programme and not recognised by any ministry or school. No qualification, mark or document is issued, and “years 1 to 3” and “advanced” are names of study paths only.
P10 Category theory & structural methods
Advanced pathP: Advanced pureplannedabout 140 h (planning estimate)
Draft lectures and exercises are available for this course. They were written by AI and checked by a second AI; no person has reviewed them yet. Use them as a study aid, not as an authority.
Named in: Advanced pure mathematics pathway
Why this course
Universal properties, limits and adjunctions as a unifying language.
Prerequisites
Concept-level units
Units follow the syllabus order, as a recommended sequence rather than a gate.
- Categories and functors
- Natural transformations
- Universal properties
- Limits and colimits
- Adjunctions
- Applications in algebra and topology
Assessable outcome
Express a mathematical construction through its universal property.
Assessment design
- deeper problem sets
- reconstruction of an unfamiliar argument
- advanced source reading
- cumulative examination or substantial project
cumulative; uses spaced retrieval
Resources
Every title here is candidate, unverified unless marked verified. Titles were suggested while planning. Nobody has checked that they exist, what they cost or how they are licensed.
- Riehl · Category Theory in Context
Content record
- Version
- 0.0.0
- Review
- no review of any kind
- Provenance
- catalogue imported from the owner brief of 29 Oct 2026; no teaching content authored
- Known issues
- none recorded
- Type
- course
Bridges and laboratories
No bridge or laboratory is attached to this course yet.
You and this course
Reading your plan on this device…