end in nLab まずは普通の圏におけるendの定義から。 F:C^\op \times C \to Xを関手とする。 Fの関手性からCの射f:c \to c'に対し - F(f,c'):F(c',c') \to F(c,c') - F(c,f):F(c,c) \to F(c,c') が定まる。 FのwedgeとはXの対象wとCの対象cごとに定まる射e_c…