A Short Note on Monads in Programming and Enriched Category Theory

Monads are becoming increasingly popular in the everyday programming practice.  As a design pattern, (computational) monads are supported by (more or less pure) functional languages such as Haskell as well as by mainstream languages such us Scala.

An Introduction to Monoidal Topology for Computer Scientists (Part 0)

You may wonder what is monoidal topology and why it should be something interesting for computer scientists (theoretical ones, at least).  In a slogan, monoidal topology is a unifying theory of ordered, metric and topological spaces. Such unification is made possible by the non-trivial observation that the above three notions can be ‘reduced’ to specific categorical structures…

%d bloggers like this: