seems like market is graph, and NN is graph. But the sibling isomorphism proof too big to fit in the margin. too many people think they have a functor, when re

seems like market is graph, and NN is graph. But the sibling isomorphism proof too big to fit in the margin. too many people think they have a functor, when really they have boring implementations of a barren interface.