Jean Abou Samra (new account) on Nostr: nprofile1q…9l3hr FYI a definitional isomorphism is an isomorphism where the ...

nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqmrvtrws4n55we6rtty8suxnkmd699ys50ar4g0grl5sdt0f4t9ksp9l3hr (nprofile…l3hr) FYI a definitional isomorphism is an isomorphism where the roundtrips hold definitionally (i.e., f : A → B and g : B → A with x : A ⊢ g(f(x)) = x and y : B ⊢ f(g(y)) = y).