1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
Steve Awodey, Pieter Hofstra, Michael A. Warren
In this paper we define Martin-Löf complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intension…