Owen Lynch

Labels for boxes/etc. should support mathematical formatting via KaTeX

Automatic Layout

1

There should be some facilities for automatic layout on the Julia side, which will allow for non-Semagrams generated C-sets to be visualized and edited.

Automatically editing C-set homomorphisms

1

We should be able to edit C-set homomorphisms, by making a C-set schema for them, and then using #17 to draw the actual homomorphism.

We should have some special support for outer ports, which could just be treated as boxes, but possibly should have something a bit better/more specific.

Should have an episode of the Questioner to make a tutorial for Semagrams.

For an acset on the schema corresponding to a slice over a fixed other acset, there should be a way of displaying this via colors.

For editing string diagrams that correspond to morphisms in a SMC, we should have a palette of boxes that we can use which have pre-assigned ports and attributes, rather than...

Support morphisms between boxes/ports

1

We should be able to represent morphisms between boxes as arrows between them, subject to the constraint that each box/port has exactly one arrow outgoing from it. This will allow,...

For wiring diagrams, we should support ports on the edges of the diagram, i.e. "outer ports". These should be constrained to be on the outside... somehow (need to think how...