@inu__warabi: This kind of type thinking is really important in math too! I’ve been thinking that it’s because of the static typing language.
- type (e.g. of machine, goods, etc.)
This page is auto-translated from /nishio/ベーシック圏論 using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I’m very happy to spread my thought to non-Japanese readers.