応用圏論〈Applied Category Theory〉においても、コエンド〈coend〉の利用は増えています。例えば、“オプティックの圏”のホムセットの構成にはコエンドを使います。ところが、コエンドの説明が（僕自身の説明も含めて）だいたいは不親切で、「細かい事まで…