coend

名词 n.
中文释义

英文释义

名词 n.
  1. The dual of an end in category theory.

词形变化

coends plural

词源

From co- + end.
0 次浏览 数据来源: Wiktionary