Higher dimensional hypercategories

Akira Higuchi, Hiroyuki Miyoshi, Toru Tsujishita

We introduce higher dimensional hypergraphs, which is a generalization of Baez-Dolans's opetopic sets and Hermida-Makkai-Power's multigraphs. This is based on a simple combinatoria…