1 citations · 1 across the 3 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2023
Indexed profunctors over 2-categories
Sori Lee
We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and…
math.CT2011★ 1 cited
Subtoposes of the Effective Topos
Sori Lee
We seek progress in the study of subtoposes of the effective topos. First we treat Van Oosten's result that local operators on the effective topos are internally NNO-indexed joins…