圏の記号法 圏の部分系

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 可算生成