Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads.评价结果

评估详情

9