Can anyone explain why the codomain fibration cod: C^\rightarrow -> C, which requires pull-backs, gets loads of attention, while the domain fibration dom: C^rightarrow -> C, which works for all C, hardly gets a look in? Is the dom fibration really such a poor relation? Adam Eppendahl