TBD

圏犬

01:36

数日前についったでつぶやいてみたところ、極一部に受けたんですが、

絵心のある人にそれっぽいイラストを描いていただきたいなあと思ったり。

#元ネタはあの、変な笑い方をする犬です

わたしがここで書き始めてから後で始まった圏論勉強会が、首都圏に限っても

少なくとも二つはあるみたいですね。七時間ぶっ続けとかはともてできませんが。

それはさておき。

単語の意味が良くわからなくてもとりあえず先に進めてみようと思ってはみたものの、

やっぱりきになってしまうわけで。

今回は Cat なんですが

2.1.8 Example

The Category Cat has categories as objects and functors as arrows.

2.1.9 Remark

Then Cat is defined more precisely to be the category of all small categories,

which is itself a large category.

と太字で強調されていて、索引にも載っているのでさぞや重要なものか、と思いきや

ほかの部分には出てきている気配がないし、この言葉に対する解説も見当たりません。

ふと思いついて、黄色い本にあたってみたのですが、こちらは索引にも載っていません。

いったい、この Cat というのはナニモノで(上に引用した文章の意味そのままという

ことならわかりますが)、なぜ強調されているのでしょうか?