Grace/Cumulus/Category.g17

Open in Workbench Download source

Imports

Core · Isomorphism · MonoEpi · Terminal · Functor · Natural · Opposite · Product · Examples · SetMorphism · HomFunctor · Yoneda

Declarations

Source

1-- Category theory2-- Part of Cumulus, the Grace17 mathematics library.3-- Copyright (c) 2026 Grant Passmore.4-- Released under the Apache License 2.0. See LICENSE in the repository root.5-- Authors: Grant Passmore67module Grace.Cumulus.Category8import Core9import Isomorphism10import MonoEpi11import Terminal12import Functor13import Natural14import Opposite15import Product16import Examples17import SetMorphism18import HomFunctor19import Yoneda20