Back To Schedule
Saturday, November 17 • 4:25pm - 5:00pm
Classical Category Theory in Plain Scala

Sign up or log in to save this to your schedule, view media, leave feedback 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


contributor, Patryshev
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 PST