F

FiniteCategories

Project information

A Haskell package for constructing finite categories and usual constructions on them.

Category theory Mathematics Haskell Cone Cocone Category Functor Natural tran... Diagonal fun... Limit Colimit Diagram

190 Commits
1 Branch
0 Tags

README
GNU GPLv3
CHANGELOG

Created on

November 11, 2021

Loading