PS

2016-03-05から1日間の記事一覧

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…