TY - RPRT TI - Bundle functors and fibrations AU - Anders Kock PY - 2015 UR - https://arxiv.org/abs/1505.02430 ID - 1505.02430 ER -