daniel gratzer on Nostr: nprofile1q…d6kk0 Yeah, this is the HTT approach. It's not totally great (it's weird ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0) Yeah, this is the HTT approach. It's not totally great (it's weird seeing statements in proofs that deal only with f that discuss "f^op being cofinal") but it's easy to remember and matches my expectations from order theory.