@hackage / Monocle

Symbolic computations in strict monoidal categories with LaTeX output.

Latest0.0.4

About

Metadata

  • Last updated , by OsmanBineev
  • License BSD-3-Clause
  • Categories Mathematics

  • Maintained by: Osman Bineev (bineev AT gmail DOT com)

  • Lottery factor: 0

Links

Installation

Readme

Symbolic computations in strict monoidal categories with LaTeX output. See 'monocle-usage.pdf' and 'monocle-test.hs' included in package. One of goals of this project is to develop the tool for automatic drawing diagrams of morphisms and proofs in form suitable for LaTeX (e.g. for XY-pic).