NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

Remark. topologically plausible [leinster2016basic, 2.2.9] [tt-0039]

The string diagrams in Lemma [tt-0030] and Notation [tt-0033] are topologically plausible equations, i.e. the equality can be obtained by simply pulling the string straight.