| Copyright | Guillaume Sabbagh 2022 |
|---|---|
| License | GPL-3 |
| Maintainer | guillaumesabbagh@protonmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Math.Functors.DataMigration
Description
Data migration functors as defined by David Spivak in FQL.
Synopsis
- deltaFunctor :: (FiniteCategory c1 m1 o1, Morphism m1 o1, Eq m1, FiniteCategory c2 m2 o2, Morphism m2 o2, Eq c2, Eq m2, Eq o2, FiniteCategory c3 m3 o3, Morphism m3 o3, Eq c3, Eq m3, Eq o3) => c3 -> Diagram c1 m1 o1 c2 m2 o2 -> Diagram (FunctorCategory c2 m2 o2 c3 m3 o3) (NaturalTransformation c2 m2 o2 c3 m3 o3) (Diagram c2 m2 o2 c3 m3 o3) (FunctorCategory c1 m1 o1 c3 m3 o3) (NaturalTransformation c1 m1 o1 c3 m3 o3) (Diagram c1 m1 o1 c3 m3 o3)
- piFunctor :: (FiniteCategory c1 m1 o1, FiniteCategory c3 m3 o3, FiniteCategory c2 m2 o2, Morphism m1 o1, Morphism m3 o3, Morphism m2 o2, Eq c1, Eq m1, Eq o1, Eq c3, Eq m3, Eq o3, Eq c2, Eq m2, Eq o2) => c3 -> Diagram c1 m1 o1 c2 m2 o2 -> Diagram (FunctorCategory c1 m1 o1 c3 m3 o3) (NaturalTransformation c1 m1 o1 c3 m3 o3) (Diagram c1 m1 o1 c3 m3 o3) (FunctorCategory c2 m2 o2 c3 m3 o3) (NaturalTransformation c2 m2 o2 c3 m3 o3) (Diagram c2 m2 o2 c3 m3 o3)
- sigmaFunctor :: (FiniteCategory c2 m2 o2, FiniteCategory c3 m3 o3, FiniteCategory c1 m1 o1, Morphism m2 o2, Morphism m3 o3, Morphism m1 o1, Eq c2, Eq m2, Eq o2, Eq c3, Eq m3, Eq o3, Eq c1, Eq m1, Eq o1) => c3 -> Diagram c1 m1 o1 c2 m2 o2 -> Diagram (FunctorCategory c1 m1 o1 c3 m3 o3) (NaturalTransformation c1 m1 o1 c3 m3 o3) (Diagram c1 m1 o1 c3 m3 o3) (FunctorCategory c2 m2 o2 c3 m3 o3) (NaturalTransformation c2 m2 o2 c3 m3 o3) (Diagram c2 m2 o2 c3 m3 o3)
Documentation
deltaFunctor :: (FiniteCategory c1 m1 o1, Morphism m1 o1, Eq m1, FiniteCategory c2 m2 o2, Morphism m2 o2, Eq c2, Eq m2, Eq o2, FiniteCategory c3 m3 o3, Morphism m3 o3, Eq c3, Eq m3, Eq o3) => c3 -> Diagram c1 m1 o1 c2 m2 o2 -> Diagram (FunctorCategory c2 m2 o2 c3 m3 o3) (NaturalTransformation c2 m2 o2 c3 m3 o3) (Diagram c2 m2 o2 c3 m3 o3) (FunctorCategory c1 m1 o1 c3 m3 o3) (NaturalTransformation c1 m1 o1 c3 m3 o3) (Diagram c1 m1 o1 c3 m3 o3) Source #
Precomposition functor.
piFunctor :: (FiniteCategory c1 m1 o1, FiniteCategory c3 m3 o3, FiniteCategory c2 m2 o2, Morphism m1 o1, Morphism m3 o3, Morphism m2 o2, Eq c1, Eq m1, Eq o1, Eq c3, Eq m3, Eq o3, Eq c2, Eq m2, Eq o2) => c3 -> Diagram c1 m1 o1 c2 m2 o2 -> Diagram (FunctorCategory c1 m1 o1 c3 m3 o3) (NaturalTransformation c1 m1 o1 c3 m3 o3) (Diagram c1 m1 o1 c3 m3 o3) (FunctorCategory c2 m2 o2 c3 m3 o3) (NaturalTransformation c2 m2 o2 c3 m3 o3) (Diagram c2 m2 o2 c3 m3 o3) Source #
Right adjoint of the precomposition functor.
sigmaFunctor :: (FiniteCategory c2 m2 o2, FiniteCategory c3 m3 o3, FiniteCategory c1 m1 o1, Morphism m2 o2, Morphism m3 o3, Morphism m1 o1, Eq c2, Eq m2, Eq o2, Eq c3, Eq m3, Eq o3, Eq c1, Eq m1, Eq o1) => c3 -> Diagram c1 m1 o1 c2 m2 o2 -> Diagram (FunctorCategory c1 m1 o1 c3 m3 o3) (NaturalTransformation c1 m1 o1 c3 m3 o3) (Diagram c1 m1 o1 c3 m3 o3) (FunctorCategory c2 m2 o2 c3 m3 o3) (NaturalTransformation c2 m2 o2 c3 m3 o3) (Diagram c2 m2 o2 c3 m3 o3) Source #
Left adjoint of the precomposition functor.