入力 表示 \ \ ＼ ＼

C、Bが圏でPが関手 P:C→B、このとき、CをB上の圏と考える。Cat内でベース圏B上の対象だとみなす。A∈|C|, X∈|B|のとき、A→X という射はどこにも存在しない。が、P(A) = X であるとき、A→X という射のようなモノが存在すると考えると具合がいい。この射のよう…

ヤコブ・ルーリー（Jacob Lurie; 発音はルーリーのほうが近いようだ）は、ほんとにクリアで鋭い。 we need a class of mathematical objects which can behave both like categories and like topological spaces. なるほど！！