かつて「カテグラフ」と呼んでいたモノを、最近は「圏係数境界付き箙」と説明的名前で呼んだりりしている。形状（shape）を二部箙に限定した場合、それは「圏係数行列の圏」になる。係数圏が(≦κ)-総和可能なプレ半加法圏（総和可能可換モノイド豊饒圏）のと…