#18 — August 22, 2025 by Evan Chen Trying to understand 는 것 in Korean and it reminds me so much of doing category theory.