Hi there ๐ Contact: (first name)(last name)@gmail.com For my work on translating category theory into ๐น๐ญ, please see https://phutoast.github.io/thai-translation-ctfp/ (WIP)