カン拡張って、僕よくわからんのだが、ともかく、トレーニング(?)に書いた次の同型を見ると、ある種の随伴の形ではある。 Nat(LanXF, M) ≒ Nat(F, MX) A -(X)→C ｜ ／ F ／M ↓／ B記法として、LanXFのXが添字になるのがどうもよろしくないが、LanXFは「Xに沿…

本編で話題沸騰（? もう終結だけど）の郡司ペギオさん。1999年論文に出ていた左カン拡張や余極限の定義だけど、これは教科書の引き写しだろうから正しいのかと思っていたら、写し間違いがあったみたいだ(苦笑)。これは修正可能だから、“トレーニングとして”…

Title: HIGHER COSPANS AND WEAK CUBICAL CATEGORIES (COSPANS IN ALGEBRAIC TOPOLOGY, I) Author: MARCO GRANDIS URL: http://www.tac.mta.ca/tac/volumes/18/12/18-12.pdf 28ページ

Title: Polynomial functors and trees Author: Joachim Kock URL: http://arxiv.org/abs/0807.2874 51ページ 長いな。でも、コックは読みやすいからいいかも。

ここ何日か、blidgeと書いていた。直さなきゃ。