[New thread because, although it existed since 2012, pasting scheme appears not to have had a LatestChanges thread]

Started to expand pasting schemes. Intend to do more on this soon, in an integrated fashion with digraph and planar graph.

PLEASE note: ACCIDENTALLY a page pasting schemes was created too, as a result of some arcane issues with pluralized names of pages-still-empty. Please delete pasting schemes.

]]>**Changes-note**. Changed the already existing page 201707071626 to now contain a different svg illustration, planned to be used in pasting schemes soon.

**Metadata.** What 201707051600 is: relevant material to create an nLab article on pasting schemes.
This is (a *labelling* of) the (plane diagram underlying the) pasting diagram A. J. Power gives as an example in his proof of his pasting theorem herein.

Unlike there, the 2-cells are not indicated in 201707051600.

Related concepts: pasting diagram, pasting scheme, digraph, planar graph, higher category theory.

]]>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)

]]>EDIT:

**Changes note.** Changed the already existing page 201707040601 to contain an svg illustration relevant to pasting scheme and [this thread]

**Meta data.** cf. [this thread]; difference is that in 201707040601 a *face* $F$ of the plane digraph is named and one of the two orientations of the euclidean plane is indicated by a circular gray arrows. A connection to [Power’s proof] can be seen by letting $q_{-\infty}:=s$ (in Power’s sense), and $q_{\infty}=t$, and $F$ the “F” in Power’s paper.

OLD, bug-related discussion:

For some reason unknown to me, the “discussion” (actually, it is merely meant to be the obligatory “log what you do” entry), the discussion with name ‘201707040601’ that I started seems to have technical problems: the comment I entered is not displayed (to me). I would delete it, but apparently it is not possible to delete “discussions” one has started. Please do with it whatever seems most appropriate.

]]>**Changes-note**. Changed the already existing page 201707051600 I created, to now contain another svg illustration, planned to be used in pasting schemes soon. Sort-of-a-permission for this is

Power’s proof of (I guess you mean) his pasting theorem would probably be very handy to have discussed at the nLab. It would seem to fit at one of pasting diagram or pasting scheme, but less well at an article on some notion of graph I think. If you could even just write down the precise definitions of these various notions, that would also be very fine in my opinion.

**End of changes-note**

**Metadata.** What 201707051600 is: relevant material to create an nLab article on pasting schemes.
More specifically: to document A. J. Power’s proof of one of the rigorous formalizations of the notational practice of pasting diagrams.
201707051600 shows a plane digraph $G$.
Vertex $q_{-\infty}$ is an $\infty$-coking in $G$.
Vertex $q_{\infty}$ is an $\infty$-king in $G$.
Connection to A 2-Categorical Pasting Theorem, Journal of Algebra 129 (1990): therein, the author calls $q_{-\infty}$ a “source”, and $q_{\infty}$ a “sink”. This is fine but not in tune with contemporary (digraph-theoretic) terminology, whereas “king” and “coking” are.
These technical digraph-theoretic terms will be defined in digraph.

Related concepts: pasting diagram, pasting scheme, digraph, planar graph, higher category theory.

[ Some additional explanation: it was bad practice of me, partly excusable by the apparent LatestChanges-thread-starting-with-a-numeral-make-that-thread-invisible-forum-software-bug, to have created this page without notification and having it left unused for so long. Within reason, *every* illustration one publishes should be taken seriously, and documented. Much can be read on this of course, one useful reference for mathematicians is the TikZ&PGF manual, Version 3.0.0, Chapter 7, Guidelines on Graphics. My intentions were well-meant, in particular to improve the documentation of monoidal-enriched bicategories on the nLab. This is still work in progress, but to get the digraph/pasting scheme project under way is more urgent. Will re-use the 201707* named pages for this purpose, for tidiness. ]