Hey Peter,

in the other thread we seemed to have agreed that before you go on producing miscellania whose purpose is hard to discern for us, you instead begin practicing the kind of edits that we are after here, which is decent mathematical text roughly of the kind that is customary from textbooks and research articles.

I repeat my suggestion from the other thread: Try to look into bringing the entry *digraph*, which you had started, into a decent form. Meanwhile, don’t be distracted by other activity.

Changed 201707051620.

**Metadata.** by-and-large, cf. this thread.
A difference to 201707051600 is that here what A 2-Categorical Pasting Theorem, Journal of Algebra 129 (1990) calls a “boundary of the face F” is indicated by bold arrows.

EDIT: (proof of necessity of hypothesis in [A 2-Categorical Pasting Theorem, Journal of Algebra 129 (1990] and relevance to 201707051600 temporarily removed, to make it more uniform)

]]>