2022/06/21
数学的構造を抽象的に扱う数学の一分野。「圏」「関手」「自然変換」を基本概念として持ち、これらを用いて数学的構造を記述する。
ゆうき
2018/04からITエンジニアとして活動、2021/11から独立。主な使用言語はPython, TypeScript, SAS, etc.