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.

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

Attendees (38)