module Math.Functors.Examples
(
main
)
where
import qualified Math.Functors.SetValued.Example as SetValued
import qualified Math.Functors.Adjunction.Example as Adjunction
import qualified Math.Functors.DiagonalFunctor.Example as DiagonalFunctor
import qualified Math.Functors.DataMigration.Example as DataMigration
import qualified Math.Functors.KanExtension.Example as KanExtension
import qualified Math.Functors.YonedaEmbedding.Example as Yoneda
main :: IO ()
main = do
IO ()
SetValued.main
IO ()
KanExtension.main
IO ()
DataMigration.main
IO ()
Adjunction.main
IO ()
DiagonalFunctor.main
IO ()
Yoneda.main