TY - RPRT TI - Localization of enriched categories and cubical sets AU - Tyler Lawson PY - 2016 UR - https://arxiv.org/abs/1602.05313 ID - 1602.05313 ER -