Anna Williams, 30 January 2026

Notation for Category Theory.

\begin{code}

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

\end{code}