1 citations · 1 across the 3 of their papers we have counts for
3 papers
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.LO2012
Basic Subtoposes of the Effective Topos
Sori Lee, Jaap van Oosten
We employ a new tool (sights) to investigate local operators in the Effective Topos. A number of new such local operators is analyzed using this machinery. Moreover, we investigate…
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…