2019-01-01から1日間の記事一覧
2019年の目標 毎日書く。少なくとも年間で200個の記事を書く。 圏論の基礎をまとめる。圏・関手・自然変換・極限・随伴関手・カン拡張まで。ただしまだわからないところがあるので、その辺は適当にする。基本的にはAwodeyの教科書(Downloadable)を参考に書く…
2019年の目標 毎日書く。少なくとも年間で200個の記事を書く。 圏論の基礎をまとめる。圏・関手・自然変換・極限・随伴関手・カン拡張まで。ただしまだわからないところがあるので、その辺は適当にする。基本的にはAwodeyの教科書(Downloadable)を参考に書く…