The operations in this chapter construct conversion functors between two Serre quotients of different standards. Please note that all the operations DO NOT CARE if the Serre quotients are modeling the same category, they only care wether the categories are based upon the same underlying honest category.

8.1 Functors

8.1-1 SerreQuotientConversionFunctor

‣ SerreQuotientConversionFunctor( A, B )

( operation )

Returns: a functor

Given two Serre quotients A and B of the same category C by equivalent functions, this operation returns the conversion functor between the two categories. Please note that this function does not check the quotients in any sense, i.e., wether the functions are equivalent.