TY - RPRT TI - Bicat is not triequivalent to Gray AU - Stephen Lack PY - 2007 UR - https://arxiv.org/abs/math/0612299 ID - math/0612299 ER -