↑ Top
{-# OPTIONS --without-K --exact-split --safe #-} module Examples.Categories where open import Examples.Categories.Functors public