- H82 = 82文字ひらがな集合
- H48 = 48文字ひらがな集合
- H82 = 82文字反ひらがな集合
- K48 = 48文字カタカナ集合
部分圏:
- Shiri[H48] は、Shiri[H82] の部分圏
- H82の任意の部分集合X をとると、充満部分圏ができる。
- 長さ2以下の文字列だけを射とする圏が部分圏としてできる。
- 極性付きしりとりの圏に普通のしりとりの圏を埋め込める。が、双対作用素は保存されない。
- ブール行列の圏は、max-min半環行列の圏に埋め込める
- 自然数行列の圏は、実数行列の圏に埋め込める。
- 縦横が2以下のサイズの行列は行列圏の部分圏になる。
- 有限集合の圏。
- 無限集合の圏。
関手: