13 Nov
1993
13 Nov
'93
12:22 a.m.
Let C be a category with 2 objects A,B and 2 morphisms u,v:A->B. let D be the binary copower of C, i.e. the product of C with the 2-object discrete category and let F:D->C be the codiagonal funjctor mapping both copies of C identically to C. Let G:C->D be the functor mpping one coy of C identically and interchanging u and v in the other copy. Then F and G are opfibations, which are not isomorphic under D (though they are isomorphic over C). Greetings Reinhard Boerger ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++