TY - RPRT TI - Categories as models on a suitable algebraic theory AU - Kuerak Chung AU - Giovanni Marelli PY - 2011 UR - https://arxiv.org/abs/1109.2091 ID - 1109.2091 ER -