closed category

子；而由於這些內部同態函子之故，因此關係範疇是個閉範疇（英语：Closed category），且是個短劍緊緻範疇（英语：dagger compact category）。 關係範疇可以克萊斯利範疇（英语：Kleisli category）的形式，由集合範疇得到，在這種狀況下，其有著以對應至冪集的函子為協變函子的單子。

of Canadian Closed Championships 2003 in Vancouver, Youth Latin category （页面存档备份，存于互联网档案馆） 2004年加拿大青年标准舞冠军成绩 | Results of Canadian Closed Championships

assumptions，函数调用对应于肯定前件推理规则。类型论还使用头等函数建模关联数组与类似的数据结构。 对于范畴论，头等函数对应于closed category（英语：closed category）设置。例如，简单类型λ演算 对应于笛卡儿闭范畴(CCC)的内部语言。 函数式程序设计语言，如Scheme、ML、H

Foreign-Language Category. Hollywood Reporter. [23 September 2014]. （原始内容存档于2015-03-26）.  Oscars: Spain Selects 'Living Is Easy With Eyes Closed' for Foreign-Language

Parsons was from the Anglo-Irish aristocracy  Invernizzi, Costante Mario. Closed Power Cycles. Springer Science & Business Media: 1. 2013 [2017-07-22]. ISBN 9781447151401