3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.CT2022★ 3 cited
Computads for weak -categories as an inductive type
Christopher J. Dean, Eric Finster, Ioannis Markakis +2
We give a new description of computads for weak globular -categories by giving an explicit inductive definition of the free words. This yields a new understanding of computads,…
math.CT2020
Globular Multicategories with Homomorphism Types
Christopher J. Dean
We introduce a notion of globular multicategory with homomorphism types. These structures arise when organizing collections of "higher category-like" objects such as type theories…