↑ Top

---

Category theory examples

This is the [Examples.Categories][] module of the Agda Universal Algebra Library.

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

module Examples.Categories where

open import Examples.Categories.Functors public

---