Q(A) in C to every object A in D such that for every 2-morphism γ : c ⇒ c in D between two arrows c and c with common source and targets A and B, we have.
確定! 回上一頁