Unboxing Algebraic Theories of Generalised Arities
12 May 2017 | 4:38 am

An introduction to the paper "Monads with arities and their associated theories" written for the Kan Extension Seminar

A Discussion on Notions of Lawvere Theories
1 May 2017 | 11:37 pm

A discussion of the paper "Notions of Lawvere Theory" by Stephen Lack and Jiri Rosicky written for the Kan Extension Seminar

Functional Equations, Entropy and Diversity: A Seminar Course
19 April 2017 | 5:06 pm

Notes from a seminar course.


More News from this Feed See Full Web Site