mcolsson
commented
10 years ago Yes, replace isomorphic with equal.
Open dkrashen opened 10 years ago
mcolsson
commented
10 years ago Yes, replace isomorphic with equal.
it looks to me, that on the bottom of page 87, just after equation 3.4.14.1, the composition of the two functors in either direction is not just isomorphic to the identity, but actually equal to the identity. it seems to be a matter of comparing the equality of two objects in $G$, given by particular objects in $F_1, F_2$ and a particular isomorphism in a fibral category of $F_3$... am i off here? or are these not actually equal?