topic:極限などの指標の表記

これらの指標をどう表記するか……

指標とはまた別のものと考えた方がいい？

引数がほしくなる

フラットの方がより機械的に扱えそう？

例えばモノイド対象やモノイダル圏には引数はなく、単独で存在している

随伴系もそうかも

$ \operatorname{term}

入力は圏$ C

出力は対象$ c \colon C

例えば極限

$ \lim

入力は函手(図式)$ T\colon J → C

出力は対象と自然変換のタプル$ \left\lang c \colon C, \pi\colon \Delta_c ⇒ T \right\rang

これらの出力は同型を除いて一意

そのうちどれかを返すと考えるべき

こいつらの型について再考する必要がある