- MathNotebook
- MathConcepts
- StudyMath
- Geometry
- Logic
- Bott periodicity
- CategoryTheory
- FieldWithOneElement
- MathDiscovery
- Math Connections
Epistemology
- m a t h 4 w i s d o m - g m a i l
- +370 607 27 665
- My work is in the Public Domain for all to share freely.
- 读物 书 影片 维基百科
Introduction E9F5FC
Questions FFFFC0
Software
Category theory, Limits Vs Colimits
We're studying Steven Roman's book, "An Introduction to the Language of Category Theory". His book outlines a progression of concepts. I'm working to present that progression in my own terms.
- Study manifestations of the relationship between "for all" and "there exists".
- Write out the structures for limits and colimits and compare them to the structures in the progression.
- List out key examples of each type of structure.
- Study Eduardo Och's new work-in-progress.
Readings
Progression of concepts
The ideas seem to relate to the duality between composition (which merges two arrows into one arrow) and factoring with the "do nothing" action (which splits one arrow into two).
Comma category
Universality
Naturalness
Adjunction
Kan extension
