Categories.Notation

Anna Williams, 30 January 2026

Notation for Category Theory.


{-# OPTIONS --safe --without-K #-}

module Categories.Notation.index where

import Categories.Notation.Wild
import Categories.Notation.Pre
import Categories.Notation.Univalent

import Categories.Notation.Functor
import Categories.Notation.NaturalTransformation