PS

Pullback

Pullback

Productは、diagram:

f:id:mbps:20130727125347p:plain

のlimitだったが、それにちょっと加えたdiagram:

f:id:mbps:20130727125425p:plain

のlimitを  f gpullbackという。

参考文献