疑念は探究の動機であり、探究の唯一の目的は信念の確定である。

数学・論理学・哲学・語学のことを書きたいと思います。どんなことでも何かコメントいただけるとうれしいです。特に、勉学のことで間違いなどあったらご指摘いただけると幸いです。 よろしくお願いします。くりぃむのラジオを聴くこととパワポケ2と日向坂46が人生の唯一の楽しみです。

2018-02-10から1日間の記事一覧

無駄な話。圏・対象・自然変換・随伴をどのような記号で書くか

今日も無駄な話。 どうでもいい話。圏論においてさまざまな概念をどのように書けばいいのか、という話。 圏と対象の表し方 (1) S. Mac Lane, Categories for the Working Mathematician (CWM)の場合 (2) S. Awodey, Category Theory(CT)の場合 (3): T. Leins…