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 |