初歩的圏 再定義

初歩的圏という言葉が例えば次に出てくる。

• 古典計算と量子計算 - 檜山正幸のキマイラ飼育記 メモ編
• ブレイドやタングルの表現とマルコフ・トレース - 檜山正幸のキマイラ飼育記 メモ編
• 初歩的分断亜群 - 檜山正幸のキマイラ飼育記 メモ編
• 初歩的圏（rudimentary category） - 檜山正幸のキマイラ飼育記 メモ編

「Cが初歩的 ⇔ |C| = N」だが、少し拡張する。

Cが初歩的の条件は：

• |C| ⊆ |Fin| （Finは有限集合の圏）
• Cは可算集合、したがって、|C|も可算集合。

C(A, B) もたかだか可算だが、特に有限のときは局所有限な初歩的圏と呼ぶ。

初歩的なモノイド圏や半環圏が面白い。シャイハランのFも局所有限初歩的な半環圏。