Category theory

November 25, 2011 — April 18, 2016


I don’t know anything about category theory, but asides about it occur so often in my daily reading that I really should; moreover, since I frequently see it applied to formal syntax and network descriptions, two areas I am interested in, I am probably therefore missing some important tools from my toolbox if I don’t look it up.

1 To Read

[…] on why category theory is relevant for developers, discussing the principle of Propositions as Types connecting propositions and proofs in logic, and types and programs in computing.

2 References

Baez, Fong, and Pollard. 2015. A Compositional Framework for Markov Processes.” arXiv:1508.06448 [Math-Ph].
Heunen, Kammar, Staton, et al. 2017. A Convenient Category for Higher-Order Probability Theory.” arXiv:1701.02547 [Cs, Math].
Leinster. 2016. Basic Category Theory.
McInnes, Healy, and Melville. 2018. UMAP: Uniform Manifold Approximation and Projection for Dimension Reduction.” arXiv:1802.03426 [Cs, Stat].