A relationship between trees and Kelly-Mac Lane graphs

Abstract

We give a precise description of combed trees in terms of Kelly-Mac Lane graphs. We show that any combed tree is uniquely expressed as an allowable Kelly-Mac Lane graph of a certain shape. Conversely, we show that any such Kelly-Mac Lane graph uniquely defines a combed tree.

27 pages

References in corpus (2)

• Weak n-categories: opetopic and multitopic foundations
• The theory of opetopes via Kelly-Mac Lane graphs

Cited by in corpus (3)

• The category of opetopes and the category of opetopic sets
• Weak n-categories: opetopic and multitopic foundations
• The theory of opetopes via Kelly-Mac Lane graphs