"Current state" for category theory/interdependent
-
Arrows "fall down" to new target after compose
-
Smaller/bigger circles
-
Shrink by generalized element, grow by dtor
-
"meaningfulness of association" (entational formula, plus arrows)
-
Identity arrow "on top of" object circle, equivalenced on what it can compose with
-
Merging circles when one is inside the other (entational view of dependent pair example)