Connecting...

W1siziisimnvbxbpbgvkx3rozw1lx2fzc2v0cy9zawduawz5lxrly2hub2xvz3kvanbnl2jhbm5lci1kzwzhdwx0lmpwzyjdxq

Classical Category Theory in Plain Scala by Vlad Patryshev

W1siziisijiwmtkvmdmvmtuvmtyvmjmvntevnjeyl3blegvscy1wag90by01ndy4mtkuanblzyjdlfsiccisinrodw1iiiwiotawedkwmfx1mdazzsjdxq

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.