スライスは、圏から新しい圏をつくるそこそこメジャーな方法。定義の一例を書いてみる。圏 C とその対象 X に対してスライス X/C とは 対象: X → A なる射。A は C の任意の対象。 射 : f: x → y は、C の射 f で x;f = y (in C) を満たすもの。 という圏。…