加载中…
Fibrations over a category , introduced to category theory by Grothendieck, encode pseudo-functors , while the special case of discrete fibrations encode presheaves $B^{op} \to {\bf Set}B^{op} \times A \to {\bf Set}AB$. By work of Street, all of these fibration notions can be defined internally to an arbitrary 2-category or bicategory. While the two-sided discrete fibrations model profunctors internally to , unexpectedly, the dual two-sided codiscrete cofibrations are necessary to model -profunctors internally to -.

生成讲解博客的中文版本

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