Mac Lane本で解説のある「射のみのメタ圏」(arrows-only metacategory)について触れる。 ここでメタ圏と読んでいるものはAwodey本の圏なので、メタはあってもなくても良い。Mac Lane本の注釈でも「メタ圏およびメタグラフという用語はあまり一般的ではない。…