付録A:圏論の記号一覧

本著作で使用される圏論の記号と用語集

基本記号

  • 対象(Object):圏の基本単位
  • 射(Morphism / Arrow):対象間の変換
  • 合成(Composition):複数の射の結合
  • 恒等射(Identity):変換なしの状態

普遍的構成

  • 極限(Limit):共通する最大部分
  • 余極限(Colimit):統合された最小拡張
  • 随伴(Adjoint):異なる圏間の関係

関手と自然変換

  • 関手(Functor):圏から圏への対応
  • 自然変換(Natural Transformation):関手間の変換

ブルックナー版分析特有の記号拡張

本付録では、古典的な圏論の記号体系をいかにしてブルックナー分析に適応させるかを示します。