Recent writings
- S. Lee. Strict bilimit and its proper examples. 2023.
- S. Lee. Indexed profunctors over 2-categories. 2023. arXiv:2302.06515
Blog
- Birepresentations are not strictifiable, 10 Feb 2024
Older writings
-
S. Lee and J. van Oosten. Basic subtoposes of the effective topos. Annals of Pure and Applied Logic, 164(9), 866–883, 2013. doi:10.1016/j.apal.2013.04.001
-
S. Lee. Subtoposes of the Effecitve Topos. Master’s thesis, Utrecht University, 2011. arXiv:1112.5325
-
S. Lee. Set Systems of Finite Character and Equivalents of Boolean Prime Ideal Theorem. Bachelor’s thesis, Utrecht University, 2008. pdf