Post #2636102
2026-05-08 10:37 UTC
@maxsnew@types.pl @JacquesC2@types.pl thanks! so much wisdom.
re your last question, they are but packaged in a different form I'd say
rather than giving a natural isomorphism, you show that certain arrows factor uniquely. it's really easy to go back and forth but nonetheless...
Replies (1)
-
@maxsnew@types.pl 2026-05-08 11:59
@mc@mathstodon.xyz @JacquesC2@types.pl Maybe that's the difference between PshIso and UniversalElements in our formulation?