Anna Williams 25 February 2026

Examples of Displayed Categories

\begin{code}

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

module Categories.Displayed.Examples.index where

import Categories.Displayed.Examples.Magma

\end{code}