Jonathan Weinberger

数学とプログラミングにおける型の見方を変える新しい概念。

この記事では、カテゴリー、ファイブレーション、そしてそれらの数学における重要性について話してるよ。