Proof. For any pair of category and subcategory , we have that , and that . We obtain the result by substituting for . ∎
Original source: arXiv:math/9811037v3
Original source · math/9811037v3
Proof. For any pair of category and subcategory , we have that , and that . We obtain the result by substituting for . ∎
Original source: arXiv:math/9811037v3
Original source · math/9811037v3