3 Mar
2000
3 Mar
'00
9:28 p.m.
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