Preservation of weighted limits
Preservation of weighted limits
-enriched functor:
について、-weighted limit of が存在するとき、その counit を
とすると
が iso になっているとき
- preserves the limit
と言う。
-enriched functor:
について、-weighted limit of が存在するとき、その counit を
とすると
が iso になっているとき
と言う。