HFPL in string diagrams
Limits in string diagrams - PS の記法を(無理やり)使って・・・
Hom functors
命題.1: Hom functors preverse limits
- : limiting cone
- : limiting cone
証明 @error
一般に currying はできない。代わりに String diagram による圏論まとめ - PS を参照。
Currying は naturality(conicality) を preserve することに注意すると
命題.2
証明
とすると