Hacker News
new
top
best
ask
show
job
Visual Category Theory Studio
(
github.com
)
3 points
by
ibobev
4 hours ago
1 comment
olooney
4 hours 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.