# Revision history for FiniteCategories

## 0.1.0.0 -- 2022-03-21

* First version.

## 0.2.0.0 -- 2023-03-13

* Separation between Category and FiniteCategory typeclasses, new architecture for the project, Kan extensions, etc.