Definition:Composition Functor


 * Composition Functor on Slice Categories
 * Composition Functor on Categories of Subobjects