packages feed

FiniteCategories-0.6.3.0: CHANGELOG.md

# 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.

## 0.3.0.0 -- 2023-09-29

* Splitting the package with FiniteCategoriesGraphViz. Colimit of composition graphs.

### 0.3.0.1 -- 2023-09-29

* Broadening range of text bounds.

## 0.4.0.0 -- 2023-10-10

* Broadening range of base bounds.

## 0.5.0.0 -- 2023-10-10

* Better bounds.

## 0.6.0.0 -- 2024-01-11

* Sketches, (co)complete categories and cartesian closed categories.

## 0.6.0.1 -- 2024-01-14

* Correct bug in completeDiagram.

## 0.6.0.2 -- 2024-01-22

* Bug fix in checkNaturalTransformation.

## 0.6.1.0 -- 2024-01-23

* Add checkFiniteSketch to be more specific.

## 0.6.1.1 -- 2024-01-23

* Bug fix in sketchMorphism

## 0.6.2.0 -- 2024-01-24

* Add mapOnObjects2 and mapOnArrows2

## 0.6.3.0 -- 2024-02-05

* Add helpers for cones and cocones