Cateno
Cateno copied to clipboard
jasonmorton
A system for computational category theory and applications
This is needed for things like: A is an object A.signature.doctrine is X ev(A) should check if X implements ClosedCompactCategory
generated svg is obtained by ``` julia fts"f:A->A" d=diagramsfor(T,CompactClosedCategory) BlinkDisplay.tohtml(d.value(f)) ``` Modify this to allow for mathjax labels.
1) Fails, probably because gensym symbols aren't unique: g ang g are the same. g \circ h works. Get a wrong length error when iterating over connected components. 2) tr(g)...
e.g. fts"S;ϕ:A -> B" Requires writing a regex that allows unicde as well as ->
Metadata
Owner
Metadata
A system for computational category theory and applications