Daily Archives: September 17, 2017

Categories as Types

Math ∩ Programming In this post we’ll get a quick look at two ways to define a category as a type in ML. The first way will be completely trivial: we’ll just write it as a tuple of functions. The … Continue reading

Posted in category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie