Skip to main content
corrected spelling
Source Link

Not neccesarilynecessarily. Consider these two functors SetSet: F is the constant functor with value the empty set, and G is the identity functor. Then F is a subfunctor of G, G is obviously left exact, but F is not: it does not send the terminal object to the terminal object.

Not neccesarily. Consider these two functors SetSet: F is the constant functor with value the empty set, and G is the identity functor. Then F is a subfunctor of G, G is obviously left exact, but F is not: it does not send the terminal object to the terminal object.

Not necessarily. Consider these two functors SetSet: F is the constant functor with value the empty set, and G is the identity functor. Then F is a subfunctor of G, G is obviously left exact, but F is not: it does not send the terminal object to the terminal object.

Source Link

Not neccesarily. Consider these two functors SetSet: F is the constant functor with value the empty set, and G is the identity functor. Then F is a subfunctor of G, G is obviously left exact, but F is not: it does not send the terminal object to the terminal object.