Jon Sterling on Nostr: nprofile1q…s3zl5 nprofile1q…8a7rw moving to the topos shouldn’t be necessary ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrqdy46jm74eknz3523gqy4t88gmwsk05xuqwwkz4h8qnznqrz7h5fs3zl5 (nprofile…3zl5) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrgd7heng7z3cv2f6ddtm8zqxx3rxwh84wvk27nus3rl9qq9endsqr8a7rw (nprofile…a7rw) moving to the topos shouldn’t be necessary for modelling recursive types. In the end the important thing for FPC is modest sets, viewed as an internal category within Asm.