I am creating an app with user-drawn graphs that are commutative diagrams (in mathematics). Sometimes I would like to label say a square graph of 4 edges and 4 nodes with "is a pullback square". Is this possible, or is the only way to create an owner node that connects to all 4 nodes (edges too ?) and has these properties attached?
fruitfulapproach (Fruitfulapproach) #1