コンストラクタ＝集合コンストラクタ： 圏の対象に集合を対応させる コンビネータ＝射コンビネータ： いくつかの圏の射から圏の射を作り出す 一般的には： コンストラクタ：|C|→|D| コンビネータ：|C|→Mor(D) さらに一般的には： (n, m)-コンビネータ：|C|n→…