TY - RPRT TI - Fibred Fibration Categories AU - Taichi Uemura PY - 2017 DO - 10.1109/lics.2017.8005084 UR - https://arxiv.org/abs/1602.08206 ID - 1602.08206 ER -