PS

Limits in string diagrams

(ふとひらめいた)

Cones

うまい絵が思いつかないが・・・:

f:id:mbps:20160229073159p:plain

Naturality

f:id:mbps:20160229073204p:plain

Limits

空の筒を limit と定義する*1:

  •  \operatorname{Hom}(d,\lim F) \cong \operatorname{nat} _ c(d, Fc)

f:id:mbps:20160229073209p:plain

f:id:mbps:20160229073215p:plain

f:id:mbps:20160229073219p:plain

Universality

f:id:mbps:20160229073224p:plain

により

f:id:mbps:20160229075022p:plain

Limit functors

f:id:mbps:20160229073229p:plain

参考文献

  1. 圏と関手入門.pdf

*1: F(I) はどうなるんだという話になるが・・・