Project Page
Index
Table of Contents
ITree.Basics.Category
Generic library for categories (reexports the three other modules)
From
ITree.Basics
Require
Export
CategoryOps
CategoryTheory
CategoryFacts
CategoryFunctor
.