Omar Antolín on Nostr: nprofile1q…d6kk0 nprofile1q…q9vrk That's enough to preserve 1-categorical ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjpjz2fr8cz3fc37qmta2tv32ndme82n5w72vyr2gyvzn4a4skk0suq9vrk (nprofile…9vrk) That's enough to preserve 1-categorical colimits, but I think Daniel is more interested in oo-categories, so he probably wants "each x/f is contractible".