On Yoneda structures and 2-topoi (and introducing a definition of elementary 2-topoi, cf. 2-categorical logic):
Proving the biequivalence between Feynman categories and colored operads:
Last revised on November 15, 2025 at 10:00:44. See the history of this page for a list of all contributions to it.