HarrisonGrodin on Nostr: nprofile1q…psqfw They could be, but I figured 1 as the terminal object/nullary ...

nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq73zugfcw5qemam49j598gfhr5nyctxun4mt3y8qf4ayj4pdnt7gqqpsqfw (nprofile…sqfw) They could be, but I figured 1 as the terminal object/nullary product is reasonable, and same for 0 and initial object/nullary coproduct.