TY - RPRT TI - Fibrations as Eilenberg-Moore algebras AU - Anders Kock PY - 2013 UR - https://arxiv.org/abs/1312.1608 ID - 1312.1608 ER -