GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

1
  
2
  8 Serre Quotients Functors
3
  
4
  The  operations  in  this  chapter construct conversion functors between two
5
  Serre  quotients of different standards. Please note that all the operations
6
  DO NOT CARE if the Serre quotients are modeling the same category, they only
7
  care  wether  the  categories  are  based  upon  the  same underlying honest
8
  category.
9
  
10
  
11
  8.1 Functors
12
  
13
  8.1-1 SerreQuotientConversionFunctor
14
  
15
  SerreQuotientConversionFunctor( A, B )  operation
16
  Returns:  a functor
17
  
18
  Given  two  Serre  quotients  A  and  B of the same category C by equivalent
19
  functions,  this  operation  returns  the conversion functor between the two
20
  categories.  Please  note that this function does not check the quotients in
21
  any sense, i.e., wether the functions are equivalent.
22
  
23

24