├── .gitignore ├── ChangeLog.md ├── LICENSE ├── README.md ├── Setup.hs ├── app └── Main.hs ├── doc ├── examples │ └── benabou-roubaud │ │ ├── benabou-roubaud.out │ │ ├── benabou-roubaud.pdf │ │ ├── benabou-roubaud.tex │ │ ├── preamble.tex │ │ └── source-files │ │ ├── adjunction-counit.tex │ │ ├── adjunction-eq-1.tex │ │ ├── adjunction-eq-2.tex │ │ ├── adjunction-f-id.tex │ │ ├── adjunction-g-id.tex │ │ ├── adjunction-to-monad-check-1-1.tex │ │ ├── adjunction-to-monad-check-1-2.tex │ │ ├── adjunction-to-monad-check-1-3.tex │ │ ├── adjunction-to-monad-check-2-1.tex │ │ ├── adjunction-to-monad-check-2-2.tex │ │ ├── adjunction-to-monad-def-t2.tex │ │ ├── adjunction-unit.tex │ │ ├── algebra-c-id.tex │ │ ├── algebra-equality-1.tex │ │ ├── algebra-equality-2-1.tex │ │ ├── algebra-equality-2-2.tex │ │ ├── algebra-gd-eq-1-1.tex │ │ ├── algebra-gd-eq-1-2.tex │ │ ├── algebra-gd-eq-2-1.tex │ │ ├── algebra-gd-eq-2-2.tex │ │ ├── algebra-gd-h-def.tex │ │ ├── algebra-gd-h.tex │ │ ├── algebra-morphism.tex │ │ ├── algebra-to-desc-def-1.tex │ │ ├── algebra-to-desc-def-2.tex │ │ ├── algebra-to-desc-def-3.tex │ │ ├── algebra-to-desc-inv-def-3.tex │ │ ├── br-diagrams-1.tzsd │ │ ├── br-diagrams-2.tzsd │ │ ├── counit-iso-eq-1.tex │ │ ├── counit-iso-eq-2.tex │ │ ├── desc-iso-inv-comp-1.tex │ │ ├── desc-iso-inv-comp-2.tex │ │ ├── desc-iso-inv-comp-3.tex │ │ ├── desc-iso-inv-comp-4.tex │ │ ├── desc-iso-inv-comp-5.tex │ │ ├── desc-iso-inv-comp-6.tex │ │ ├── desc-iso-inv.tex │ │ ├── desc-iso.tex │ │ ├── desc-to-gamma-def.tex │ │ ├── descent-id-1.tex │ │ ├── descent-id-2.tex │ │ ├── descent-id-double-comp-1.tex │ │ ├── descent-id-double-comp-2.tex │ │ ├── descent-id-double-comp-3.tex │ │ ├── descent-id-double-comp-4.tex │ │ ├── descent-id-ij-1.tex │ │ ├── descent-id-ij-2.tex │ │ ├── descent-id-ij-component-1.tex │ │ ├── descent-id-ij-component-2.tex │ │ ├── descent-to-gamma-axiom-1-1.tex │ │ ├── descent-to-gamma-axiom-2-1.tex │ │ ├── descent-to-gamma-axiom-2-2.tex │ │ ├── descent-to-gamma-axiom-2-3.tex │ │ ├── descent-to-gamma-axiom-2-4.tex │ │ ├── f1f2-comp-of-isos.tex │ │ ├── f1f2-counit-id-1.tex │ │ ├── f1f2-counit-id-2.tex │ │ ├── f1f2-unit-id-1.tex │ │ ├── f1f2-unit-id-2.tex │ │ ├── fby-to-desc-eq-1.tex │ │ ├── fby-to-desc-eq-2.tex │ │ ├── fby-to-desc-eq-3.tex │ │ ├── gamma-axiom-1-eq-1.tex │ │ ├── gamma-axiom-1-eq-2.tex │ │ ├── gamma-axiom-2-eq-1.tex │ │ ├── gamma-axiom-2-eq-2.tex │ │ ├── gamma-to-algebra-axiom-1-1.tex │ │ ├── gamma-to-algebra-axiom-1-2.tex │ │ ├── gamma-to-algebra-axiom-1-3.tex │ │ ├── gamma-to-algebra-axiom-1-4.tex │ │ ├── gamma-to-algebra-axiom-1-5.tex │ │ ├── gamma-to-algebra-axiom-1-6.tex │ │ ├── gamma-to-algebra-axiom-2-1.tex │ │ ├── gamma-to-algebra-axiom-2-2.tex │ │ ├── gamma-to-algebra-axiom-2-3.tex │ │ ├── gamma-to-algebra-axiom-2-4.tex │ │ ├── gamma-to-algebra-axiom-2-5.tex │ │ ├── gamma-to-algebra-axiom-2-6.tex │ │ ├── gamma-to-algebra-axiom-2-7.tex │ │ ├── gamma-to-algebra-axiom-2-8.tex │ │ ├── gamma-to-algebra-axiom-2-9.tex │ │ ├── gamma-to-algebra-def-1.tex │ │ ├── gamma-to-algebra-def-2.tex │ │ ├── gamma.tex │ │ ├── monad-prod-eq-1.tex │ │ ├── monad-prod-eq-2.tex │ │ ├── monad-t-id.tex │ │ ├── monad-t0.tex │ │ ├── monad-t2.tex │ │ ├── monad-unit-eq-1.tex │ │ ├── monad-unit-eq-2.tex │ │ ├── mult-fb-y-def.tex │ │ ├── mult-fb-y.tex │ │ ├── push-pull-stfg-def.tex │ │ ├── push-pull-stfg.tex │ │ ├── tau12-tau23-comp-eq-1.tex │ │ ├── tau12-tau23-comp-eq-2.tex │ │ ├── tau12-tau23-comp-eq-3.tex │ │ ├── tau12-tau23-comp-eq-4.tex │ │ ├── tau12-tau23-comp.tex │ │ ├── tau13.tex │ │ ├── three-composition-algebra.tex │ │ ├── three-composition-descent.tex │ │ └── three-composition-gamma.tex └── user-manual │ ├── adjunction-definitions.tzsd │ ├── adjunction-draw.tzsd │ ├── adjunction-eq-1.tex │ ├── preamble.tex │ ├── user-manual.pdf │ ├── user-manual.tex │ └── user-manual.toc ├── images ├── example-pic-1.pdf ├── example-pic-1.png ├── example-pic-1.tex ├── example-pic-2.pdf ├── example-pic-2.png └── example-pic-2.tex ├── package.yaml ├── src ├── Internal │ ├── FormattingData.hs │ └── TwoCatOfCats.hs ├── SDNamespace.hs ├── SDParser.hs ├── TikzObjects.hs ├── TikzStringDiagram.hs └── TwoCatOfCats.hs ├── stack.yaml ├── test └── Spec.hs └── tikzsd.cabal /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/.gitignore -------------------------------------------------------------------------------- /ChangeLog.md: -------------------------------------------------------------------------------- 1 | # Changelog for tikzsd 2 | 3 | Initial commit. 4 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/app/Main.hs -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/benabou-roubaud.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/benabou-roubaud.out -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/benabou-roubaud.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/benabou-roubaud.pdf -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/benabou-roubaud.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/benabou-roubaud.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/preamble.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/preamble.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/adjunction-counit.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/adjunction-counit.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/adjunction-eq-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/adjunction-eq-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/adjunction-eq-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/adjunction-eq-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/adjunction-f-id.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/adjunction-f-id.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/adjunction-g-id.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/adjunction-g-id.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/adjunction-to-monad-check-1-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/adjunction-to-monad-check-1-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/adjunction-to-monad-check-1-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/adjunction-to-monad-check-1-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/adjunction-to-monad-check-1-3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/adjunction-to-monad-check-1-3.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/adjunction-to-monad-check-2-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/adjunction-to-monad-check-2-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/adjunction-to-monad-check-2-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/adjunction-to-monad-check-2-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/adjunction-to-monad-def-t2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/adjunction-to-monad-def-t2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/adjunction-unit.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/adjunction-unit.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-c-id.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-c-id.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-equality-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-equality-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-equality-2-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-equality-2-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-equality-2-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-equality-2-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-gd-eq-1-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-gd-eq-1-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-gd-eq-1-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-gd-eq-1-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-gd-eq-2-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-gd-eq-2-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-gd-eq-2-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-gd-eq-2-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-gd-h-def.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-gd-h-def.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-gd-h.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-gd-h.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-morphism.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-morphism.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-to-desc-def-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-to-desc-def-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-to-desc-def-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-to-desc-def-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-to-desc-def-3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-to-desc-def-3.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/algebra-to-desc-inv-def-3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/algebra-to-desc-inv-def-3.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/br-diagrams-1.tzsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/br-diagrams-1.tzsd -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/br-diagrams-2.tzsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/br-diagrams-2.tzsd -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/counit-iso-eq-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/counit-iso-eq-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/counit-iso-eq-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/counit-iso-eq-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/desc-iso-inv-comp-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/desc-iso-inv-comp-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/desc-iso-inv-comp-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/desc-iso-inv-comp-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/desc-iso-inv-comp-3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/desc-iso-inv-comp-3.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/desc-iso-inv-comp-4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/desc-iso-inv-comp-4.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/desc-iso-inv-comp-5.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/desc-iso-inv-comp-5.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/desc-iso-inv-comp-6.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/desc-iso-inv-comp-6.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/desc-iso-inv.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/desc-iso-inv.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/desc-iso.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/desc-iso.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/desc-to-gamma-def.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/desc-to-gamma-def.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-id-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-id-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-id-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-id-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-id-double-comp-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-id-double-comp-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-id-double-comp-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-id-double-comp-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-id-double-comp-3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-id-double-comp-3.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-id-double-comp-4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-id-double-comp-4.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-id-ij-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-id-ij-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-id-ij-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-id-ij-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-id-ij-component-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-id-ij-component-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-id-ij-component-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-id-ij-component-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-to-gamma-axiom-1-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-to-gamma-axiom-1-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-to-gamma-axiom-2-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-to-gamma-axiom-2-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-to-gamma-axiom-2-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-to-gamma-axiom-2-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-to-gamma-axiom-2-3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-to-gamma-axiom-2-3.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/descent-to-gamma-axiom-2-4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/descent-to-gamma-axiom-2-4.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/f1f2-comp-of-isos.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/f1f2-comp-of-isos.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/f1f2-counit-id-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/f1f2-counit-id-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/f1f2-counit-id-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/f1f2-counit-id-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/f1f2-unit-id-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/f1f2-unit-id-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/f1f2-unit-id-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/f1f2-unit-id-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/fby-to-desc-eq-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/fby-to-desc-eq-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/fby-to-desc-eq-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/fby-to-desc-eq-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/fby-to-desc-eq-3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/fby-to-desc-eq-3.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-axiom-1-eq-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-axiom-1-eq-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-axiom-1-eq-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-axiom-1-eq-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-axiom-2-eq-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-axiom-2-eq-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-axiom-2-eq-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-axiom-2-eq-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-1-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-1-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-1-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-1-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-1-3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-1-3.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-1-4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-1-4.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-1-5.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-1-5.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-1-6.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-1-6.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-3.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-4.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-5.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-5.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-6.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-6.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-7.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-7.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-8.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-8.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-9.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-axiom-2-9.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-def-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-def-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma-to-algebra-def-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma-to-algebra-def-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/gamma.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/gamma.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/monad-prod-eq-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/monad-prod-eq-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/monad-prod-eq-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/monad-prod-eq-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/monad-t-id.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/monad-t-id.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/monad-t0.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/monad-t0.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/monad-t2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/monad-t2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/monad-unit-eq-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/monad-unit-eq-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/monad-unit-eq-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/monad-unit-eq-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/mult-fb-y-def.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/mult-fb-y-def.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/mult-fb-y.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/mult-fb-y.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/push-pull-stfg-def.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/push-pull-stfg-def.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/push-pull-stfg.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/push-pull-stfg.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/tau12-tau23-comp-eq-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/tau12-tau23-comp-eq-1.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/tau12-tau23-comp-eq-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/tau12-tau23-comp-eq-2.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/tau12-tau23-comp-eq-3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/tau12-tau23-comp-eq-3.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/tau12-tau23-comp-eq-4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/tau12-tau23-comp-eq-4.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/tau12-tau23-comp.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/tau12-tau23-comp.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/tau13.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/tau13.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/three-composition-algebra.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/three-composition-algebra.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/three-composition-descent.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/three-composition-descent.tex -------------------------------------------------------------------------------- /doc/examples/benabou-roubaud/source-files/three-composition-gamma.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/examples/benabou-roubaud/source-files/three-composition-gamma.tex -------------------------------------------------------------------------------- /doc/user-manual/adjunction-definitions.tzsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/user-manual/adjunction-definitions.tzsd -------------------------------------------------------------------------------- /doc/user-manual/adjunction-draw.tzsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/user-manual/adjunction-draw.tzsd -------------------------------------------------------------------------------- /doc/user-manual/adjunction-eq-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/user-manual/adjunction-eq-1.tex -------------------------------------------------------------------------------- /doc/user-manual/preamble.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/user-manual/preamble.tex -------------------------------------------------------------------------------- /doc/user-manual/user-manual.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/user-manual/user-manual.pdf -------------------------------------------------------------------------------- /doc/user-manual/user-manual.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/user-manual/user-manual.tex -------------------------------------------------------------------------------- /doc/user-manual/user-manual.toc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/doc/user-manual/user-manual.toc -------------------------------------------------------------------------------- /images/example-pic-1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/images/example-pic-1.pdf -------------------------------------------------------------------------------- /images/example-pic-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/images/example-pic-1.png -------------------------------------------------------------------------------- /images/example-pic-1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/images/example-pic-1.tex -------------------------------------------------------------------------------- /images/example-pic-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/images/example-pic-2.pdf -------------------------------------------------------------------------------- /images/example-pic-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/images/example-pic-2.png -------------------------------------------------------------------------------- /images/example-pic-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/images/example-pic-2.tex -------------------------------------------------------------------------------- /package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/package.yaml -------------------------------------------------------------------------------- /src/Internal/FormattingData.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/src/Internal/FormattingData.hs -------------------------------------------------------------------------------- /src/Internal/TwoCatOfCats.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/src/Internal/TwoCatOfCats.hs -------------------------------------------------------------------------------- /src/SDNamespace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/src/SDNamespace.hs -------------------------------------------------------------------------------- /src/SDParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/src/SDParser.hs -------------------------------------------------------------------------------- /src/TikzObjects.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/src/TikzObjects.hs -------------------------------------------------------------------------------- /src/TikzStringDiagram.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/src/TikzStringDiagram.hs -------------------------------------------------------------------------------- /src/TwoCatOfCats.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/src/TwoCatOfCats.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/stack.yaml -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/test/Spec.hs -------------------------------------------------------------------------------- /tikzsd.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anthonyywangmath/tikzsd/HEAD/tikzsd.cabal --------------------------------------------------------------------------------