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