Follow
Sori Lee
Sori Lee
University of Cambridge
Verified email at dpmms.cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
Basic subtoposes of the effective topos
S Lee, J Van Oosten
Annals of Pure and Applied Logic 164 (9), 866-883, 2013
192013
Subtoposes of the Effective Topos
S Lee
arXiv preprint arXiv:1112.5325, 2011
72011
Indexed profunctors over 2-categories
S Lee
arXiv preprint arXiv:2302.06515, 2023
12023
Strict bilimit and its proper examples
S Lee
https://sorilee.github.io/posts/strict-bilimit-and-its-proper-examples, 2023
2023
Set Systems of Finite Character and Equivalents of Boolean Prime Ideal Theorem
S Lee
Utrecht University, https://sorilee.github.io/files/bsc.pdf, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–5