Documentation

The category of qubits, to implement ZX calculus from quantum computing.

The category of 2 objects and one arrow between them, a.k.a. the walking arrow.

The category of categories and profunctors between them.

The category of type class constraints. An arrow from constraint a to constraint b | means that a implies b, i.e. if a holds then b holds.

Category of linear functions.

The category of types with an added point and point-preserving morphisms.

The (augmented) simplex category is the category of finite ordinals and order preserving maps.

The category with no objects, the initial category.

The category with one object, the terminal category.

The category of Haskell types (a.k.a Hask), where the arrows are functions.

The (thin) category of finite ordinals. An arrow from a to b means that a is less than or equal to b.

The Int construction, a.k.a. the geometry of interaction, the free compact closed category on a traced monoidal category.

The category of matrices with entries in a type a, where the objects are natural numbers and the arrows n ~> m are matrices of dimension n by m.

The preorder as a category.

The reverse of the category of k, i.e. with the tensor flipped.

The opposite category of the category of k.

The same category as the category of k, but with coproducts as the tensor.

The same category as the category of k, but with products as the tensor.

The category of lists of arrows.

The strictified monoidal category, making the unitors and associators identities.

The coproduct of two categories.

Every promonad makes a category.

The category of functors and natural transformations.

The subcategory with objects with instances of the given constraint ob.

The category of profunctors and natural transformations between them.

The product of two categories.

The category of functors with target category k2 -> k3 -> k4 -> Type.

The category of functors with target category k2 -> k3 -> Type. Note that CategoryOf (k1 -> k2 -> Type) is reserved for profunctors.

The category of functors with target category Hask.

The collage of a profunctor.

The category of charts.

The category of optics.

The subcategory with objects with instances of the given constraint `IsOb tag`.