8 citations · 11 across the 9 of their papers we have counts for
1 paper · 2 filters
Max S. New, Daniel R. Licata
We present a domain-specific type theory for constructions and proofs in category theory. The type theory axiomatizes notions of category, functor, profunctor and a generalized for…