Naïm Camille Favier on Nostr: nprofile1q…zd7hz Isn't the type of such things equivalent to the type of sets, via ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf49c53ses9t4zaa387rszpucw0sqttrqlmgxw7c7l5evkvtf46vzzd7hz (nprofile…d7hz) Isn't the type of such things equivalent to the type of sets, via coproduct with 1? If so, why not just call it a set? :)