If there is a monoidal functor from a monoidal category M to a monoidal category N , then any category enriched over M can be reinterpreted as a ca...

G -sets are nothing but functors from this category to Set The category of all directed graphs is cartesian closed; this is a functor category as e...

R -Mod, an injective object is an injective module . R -Mod has injective hulls (as a consequence, R-Mod has enough injectives). In the category of...

The difference between if , only if , and iff [ edit ] Examples Madison will eat pudding if the pudding is a custard. (equivalently: If the pudding...

See finite morphism . The morphism f is locally of finite type if Y may be covered by affine open sets Spec B such that each inverse image f ? 1 (S...

Subobject classifier - Wikipedia, the free encyclopedia Subobject classifier From Wikipedia, the free encyclopedia Jump to: navigation , search In ...