1 citations · 1 across the 4 of their papers we have counts for
1 paper · 2 filters
Michael Lambert, Evan Patterson
The categorified theories known as "doctrines" specify a category equipped with extra structure, analogous to how ordinary theories specify a set with extra structure. We introduce…