TY - RPRT TI - Pursuing Lax Diagrams and Enrichment AU - Hugo V. Bacard PY - 2013 UR - https://arxiv.org/abs/1312.7833 ID - 1312.7833 ER -