| Copyright | Guillaume Sabbagh 2022 |
|---|---|
| License | GPL-3 |
| Maintainer | guillaumesabbagh@protonmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Math.Functors.Adjunction.Example
Description
An exemple of leftAdjoint and rightAdjoint use exported with GraphViz.
Export the lim functor of a discrete Diagram in Ens in the directory "OutputGraphViz/Examples/Functor/Adjunction".
Synopsis
- main :: IO ()
Documentation
An exemple of leftAdjoint and rightAdjoint use exported with GraphViz.