TY - RPRT TI - Barr's Embedding Theorem for Enriched Categories AU - Dimitri Chikhladze PY - 2009 UR - https://arxiv.org/abs/0903.1173 ID - 0903.1173 ER -