圏論続き
なかなか時間がみつけられんなあ。まだ定義をなめてる段階。
定義共
- small category [小さい圏 - まんまか] :=
, Co, Cm are sets - [自造]
- (covariant) functor [(共変)関手] F := (Fo:Co→Do) ∪ (Fm:Cm→Dm) (Fo, Fm は写像) s.t.
- ある種交換法則? { Preserves id }
- `・`, Fm は "交換" 可能 (ただし`・`=`・d` or `・c`) { Preserves composition }
- contravariant functor [反変関手] := functor except F (fg) = F (g) F (f)
NBG
Axiom of foundation 重要そげ。まあ重要でない公理があるのかと言われればそういうわけでもないが…