'Computer science is the continuation of logic by other means.' -- Georg Gottlob

CQL: Categorical Query Language categoricaldata.net

Why functional programming matters cs.kent.ac.uk/people/staff/d… [pdf]

'The Yoda embedding, contravariant it is.' -- Mike Stay

The Brilliance of the Yoneda Lemma cantorsparadise.com/the-brilliance…

Universal properties johndcook.com/blog/universal…

The programming language name Caml was originally an acronym for 'categorical abstract machine language.'

'A diagram D in a category C can be seen as a system of constrains, and then a limit of D represents all possible solutions of the system.' -- Joseph Goguen

'Given a species of structure, say widgets, the result of interconnecting a system of widgets to form a super-widget corresponds to taking the colimit of the diagram of widgets in which the morphisms show how they are connected.' -- Goguen

Elliptic curves as functors johndcook.com/blog/2023/09/1…

'Coalgebras for polynomial functors can be thought of as generalised deterministic automata.' -- Robert Goldblatt

The idea of subobject classifiers is to generalize indicator functions and use this to define something analogous to subsets in categories besides Set.

How category theory is applied johndcook.com/blog/2019/04/2…

Idris: a general purpose pure functional programming language with dependent types. idris-lang.org

'The further you go in mathematics, especially pure mathematics, the more universal properties you will meet.' -- Tom Leinster, Basic Category Theory

Currying in calculus, PDEs, programming, and categories johndcook.com/blog/2018/08/1…

The State Monad: A Tutorial for the Confused? brandon.si/code/the-state…

Deconstructing functional programming infoq.com/presentations/… Presentation by Gilad Bracha

The category of Abelian groups is an Abelian category. But the category of topological Abelian groups is NOT an Abelian category.

'Sheaf theory is the subject in which you do topology horizontally and algebra vertically.' -- M. Auslander