Loading…
Attending this event?
View analytic
Saturday, November 17 • 4:30pm - 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:30pm - 5:00pm
functional

Attendees (3)




Twitter Feed