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

Posted in Mathematics | Tagged | Leave a comment

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

Posted in Mathematics, Tools | Tagged , , , | 24 Comments

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

Posted in Mathematics | Tagged | 1 Comment

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:

Posted in Mathematics | Tagged , | Leave a comment