Discokitty.Models.Diagrams

This module allows us to obtain diagrams for our sentences. In order to obtain these, we define a monoidal category whose morphisms are diagrams and then implement a cup operation on that category that consists on wiring two of them together. We apply then the ideas of DisCoCat to words whose meanings are themselves diagrams, and just perform the necessary reductions. |

Documentation

tikzDiagrams :: [Words m] -> String