Loading…
Saturday, November 17 • 4:25pm - 5:00pm
Classical Category Theory in Plain Scala

Sign up or log in to save this to your schedule and see who's attending!

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.

Speakers
avatar for Vlad Patryshev

Vlad Patryshev

contributor, Salesforce
Software developer with an experience in categories and toposes.Teaching logic and formal methods at Santa Clara University.Working as a data engineer at Salesforce.


Saturday November 17, 2018 4:25pm - 5:00pm
functional

Attendees (38)