Connecting...

Pexels Photo 546819

Classical Category Theory in Plain Scala by Vlad Patryshev

Pexels Photo 546819

Looking to expand your Scala knowledge?

Check out this talk from Scale by the Bay 2018 where Lead Data Engineer, Vlad Patryshev shared his experience of a full implementation of small categories and constructs using plain Scala.


Classical Category Theory in Plain Scala

This is a full implementation of small categories and constructs based on them, like diagrams, cones, cocones, limits, colimits, etc. As an illustration, a model of Zermelo-Fraenkel set theory is implemented. Choice Axiom included.


This talk was given by Vlad Patryshev at Scale by the Bay 2018.