圏の記号法 圏の部分系

C|_p で、対象をpに制限した充満部分圏。C|^q で、射をpに制限し広大部分系、圏になるとは限らない。圏になれば、広大部分圏。

例：

1. Set|_fin
2. Set|_nem
3. Set|_single
4. Set|^inj
5. Set|^surj
6. Set|^bij
7. Set|^iso
8. Set|^id

集合に対する条件

1. nem 非空
2. fin 有限
3. nat 自然数の始切片〈initial segment〉
4. pnat 正自然数の始切片〈initial segment〉

一般化テンソルに対する条件

1. mrkv = consv = tot 保存的＝非消失的
2. sharp シャープ＝非拡散的
3. rank(m, n) ランクが (m, n)
4. to(A) Aへの射
5. from(A) Aからの射

可測空間に対する条件

1. disc 離散
2. pol＝std ポーランド＝標準ボレル
3. fin 有限
4. cg 可算生成