Alexis Toumi<p>In short, we provide a beefed up definition of <a href="https://mathstodon.xyz/tags/DisCoCat" class="mention hashtag" rel="tag">#<span>DisCoCat</span></a> where the meaning of words is given not by a <a href="https://mathstodon.xyz/tags/diagram" class="mention hashtag" rel="tag">#<span>diagram</span></a> but by a diagram-valued function.</p><p>As a concrete example, we take <a href="https://mathstodon.xyz/tags/CharlesSandersPeirce" class="mention hashtag" rel="tag">#<span>CharlesSandersPeirce</span></a> &#39;s existential graphs to go from the <a href="https://mathstodon.xyz/tags/Lambek" class="mention hashtag" rel="tag">#<span>Lambek</span></a> calculus to logic, i.e. <a href="https://mathstodon.xyz/tags/Montague" class="mention hashtag" rel="tag">#<span>Montague</span></a> grammar with diagrams!</p>