HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Visual Category Theory Studio | Hacker News Reader
Visual Category Theory Studio
github.com
4 points
·
ibobev
·
·
1 comment
Open article
Save
View on HN
olooney
·
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.
Reply on news.ycombinator.com