Naïm Camille Favier on Nostr: nprofile1q…4rrqe nprofile1q…zd7hz Yeah, that's why I said free. Maybe-algebras ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf49c53ses9t4zaa387rszpucw0sqttrqlmgxw7c7l5evkvtf46vzzd7hz (nprofile…d7hz) Yeah, that's why I said free. Maybe-algebras are just normal pointed sets