October 2021 M T W T F S S 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Category Archives: Mathematics
Here’s a link to a course on Homotopy Type Theory taught by Robert Harper at Carnegie Mellon. The first few lectures introduce different views of logic and compution and their relationships. Highly recommended.
Recently I discovered another Youtube Channel with some lectures on Category Theory. They cover only some of the basics with examples drawn mostly from topology and I do not know if the series will continue any time soon. Anyway, it’s … Continue reading
If you’ve got some time to kill I’d suggest heading over to Edsko de Vries’ presentations page where he’s collected a few slides and some notes on topics ranging from linear and separation logic to proof theoretical basics and category … Continue reading
Sooner or later everyone who uses LaTeX to typeset documents containing maths will encounter the problem of how to draw commutative diagrams. There are many packages, some general purpose other specialized for the task. An excellent survey of some of … Continue reading
Edsko de Vries of Trinity College Dublin has created a very useful overview of the series of lectures on category theory by Eugenia Cheng and Simon Willerton that has been available on Youtube for quite some time. So, if for … Continue reading
This rather rendundant post serves as a test case for the WP LaTeX plugin. A monad on a category is given by an endofunctor and two natural transformations: such that the following two diagrams commute: