-
Recent Posts
Archives
Categories
July 2020 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 Meta
Category Archives: Mathematics
A course on Homotopy Type Theory
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.
Posted in Mathematics, TCS, Uncategorized
Leave a comment
More Free Introductory Category Theory Video Lectures
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
Some resources on functional programming, types, logic, etc.
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
Posted in Haskell, Mathematics, TCS
1 Comment
How to draw commutative diagrams in LaTeX with TikZ
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
Category Theory Video Lectures
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
Definition of a monad
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: