Pointed pictures ?
We introduce the notion of entry and exit points for pictures and define a new operation on the resulting set of pointed pictures, which allows an algebraic description of them. This provides an alternative way for picture composition via a single operation, with respect to the classical use of pairs of operations. This can be used to impose a reading order in a picture resulting from the juxtaposition of several partial ones.
pictures operations category theory concatenation