3
$\begingroup$

I recently came across the notion of comprehension for a fibration of categories $p:E\to B$ that subsumes the axiom of separation and the grothendieck construction for fibred categories. A nice definition can be found in the n-lab article on the axiom of separation under the section "Ehrhard’s reformulation".

I guess the definition can be lifted to multicategories. Does anyone know of an article where this was done?

$\endgroup$

1 Answer 1

4
$\begingroup$

In Comprehensive factorisation systems, Berger and Kaufmann establish a correspondence between certain orthogonal factorisation systems (the motivating example being the discrete fibration/final functor OFS on $\mathbf{Cat}$) and consistent comprehension schemes. In Section 2, they explicitly cover the setting of small multicategories. Hermida's Fibrations and Yoneda structure for multicategories contains similar ideas.

Note that these references describe only the setting of discrete fibrations. I'm not aware of a reference that covers the more general setting of (arbitrary) fibrations and comprehension for multicategories.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.