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