Anna Williams, 13 November 2025

Examples of categories, this includes the following.

 * Set
 * Magma

\begin{code}

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

module Categories.Examples.index where

import Categories.Examples.Set
import Categories.Examples.Magma

\end{code}