PS

Hom-functor

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 を参照。 Cur…