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.