-- Category theory
-- Part of Cumulus, the Grace17 mathematics library.
-- Copyright (c) 2026 Grant Passmore.
-- Released under the Apache License 2.0. See LICENSE in the repository root.
-- Authors: Grant Passmore

module Grace.Cumulus.Category
import Core
import Isomorphism
import MonoEpi
import Terminal
import Functor
import Natural
import Opposite
import Product
import Examples
import SetMorphism
import HomFunctor
import Yoneda