Category Theory for Programmers
Bartosz Milewski
Learn category theory's limits and colimits from Bartosz Milewski's engaging course. Essential for advanced programming concepts!
More resources on Limits & Colimits
Wolfram MathWorld
MathWorld is an online mathematics encyclopedia from Wolfram Research offering detailed, browsable articles on topics across the math spectrum, including algebra, geometry, calculus, and number theory. Each entry includes definitions, theorems, formulas, diagrams, worked examples, and links to further reading.
nLab: Colimit
nLab reference entry defining colimits as the dual of limits, via universal cocones and representable functors, with standard examples such as coproducts, coequalizers, and pushouts and their key properties. Useful for checking precise definitions once basic category theory is familiar.
nLab: Limit
Detailed nLab reference entry defining limits in category theory via representable functors, universal cones, and adjoints to the constant-diagram functor, with weighted limits, construction from products and equalizers, and behavior in functor categories. Best for readers already fluent in basic category theory.
nLab
Collaborative wiki for mathematics, physics and philosophy written from a category-theoretic viewpoint, with cross-linked entries on categories, functors, adjunctions, topos theory, higher category theory and homotopy theory. Readers can look up precise definitions, examples and references for advanced structural mathematics.