We give a criterion for a functor F:C→BF:C→B between small categories to generate a small presentation of the universal model category U(B)U(B) in the sense of Dugger.
生成讲解博客的中文版本
生成AI智能校验的中文版本