This package contains modules that implement some category-theoretical concepts (see http://en.wikipedia.org/wiki/Category_theory).
categories.categories | This module is provides a representation for categories from Category Theory. |
categories.diagrams | Author: Ernesto Posse |
categories.limits | Author: Ernesto Posse |
categories.colimits | Author: Ernesto Posse |
categories.finite_sets | Author: Ernesto Posse |