TY - RPRT TI - Non-well-founded trees in categories AU - Benno van den Berg AU - Federico de Marchi PY - 2004 UR - https://arxiv.org/abs/math/0409158 ID - math/0409158 ER -