Categories.Examples

Anna Williams, 13 November 2025

Examples of categories, this includes the following.

 * Set
 * Magma


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

module Categories.Examples.index where

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