Category theory



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.

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.

References

Baez, John C., Brendan Fong, and Blake S. Pollard. 2015. “A Compositional Framework for Markov Processes.” arXiv:1508.06448 [math-Ph], August. http://arxiv.org/abs/1508.06448.
Heunen, Chris, Ohad Kammar, Sam Staton, and Hongseok Yang. 2017. “A Convenient Category for Higher-Order Probability Theory.” arXiv:1701.02547 [cs, Math], January. http://arxiv.org/abs/1701.02547.
Leinster, Tom. 2016. Basic Category Theory. http://arxiv.org/abs/1612.09375.
McInnes, Leland, John Healy, and James Melville. 2018. “UMAP: Uniform Manifold Approximation and Projection for Dimension Reduction.” arXiv:1802.03426 [cs, Stat], December. http://arxiv.org/abs/1802.03426.

No comments yet. Why not leave one?

GitHub-flavored Markdown & a sane subset of HTML is supported.