Visual Category Theory Studio

(github.com)

3 points | by ibobev 4 hours ago ago

1 comments

  • olooney 4 hours ago ago

    Prism example fails to correctly draw the crossing between A' -> C' and B -> C. There's a `"crossing": true` in the JSON config, but this seems to be missing from both morphisms m169 and m171, so I think this is a bug in the example, not the tool.