Amélia Liao 🍊😈 on Nostr: nprofile1q…4rrqe have you seen the 1lab proof? actually pretty easy to show ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) have you seen the 1lab proof? actually pretty easy to show directly that Ω S¹ satisfies (enough) of the universal property of the integers to get an equivalence. though i guess transferring this to book hott is what one might call gnarly