1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
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…