pseudだのlaxだのややこしいな↑もっと基本的なところで、CとDが圏だとして： CとDは同じ CとDは圏同型 CとDは圏同値 は違う。もっとも、大きな圏になると、この3つの違いが確信持てなくなる。同じって、ほんとに同じなのか？ 圏同値がいちばんゆるいし、圏同…

http://north.ecc.edu/alsani/ct02%281-2%29/msg00072.html をそのまま引用。 David Benson on 2002-02-08 wrote: Early on, John Gray and others noticed that functors ought not compose on-the-nose, but up-to-isomorphism, and (I believe) called th…

http://wslc.math.ist.utl.pt/ftp/pub/MateusP/02-HM-paracat1.pdf "Paracategories I: Internal Paracategories and Saturated Partial Algebras" Claudio Hermida, Paulo Mateus (2 September 2002) 付録A "Background material"の部分が役に立つ。

昨日のエントリー、「束論的細部はめんどうで省略しちゃった」のだが、詰めようかと思ったら ……不等号（順序）とかsup（∨）、inf（∧）の扱いがうまく出来ない。アレレレレ、手が忘れている。リハビリトレーニングしないとダメかも。ガックーゥ。こんなときは…