加载中…
We investigate the connection between left exact -functors between finitely complete quasicategories and exact functors between fibration categories, describing a procedure to approximate flat -functors of the former type by exact functors of the latter type. As an application, we recover a proof of the DK-equivalence between the relative category of fibration categories and that of finitely complete quasicategories.

生成讲解博客的中文版本

生成AI智能校验的中文版本