(no subject)
Apr. 21st, 2025 10:17 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Вчера наш вице-президент встретился с папой Римским, после чего Его Святейшество отправился в лучший из миров.
I just clicked TAB, and Copilot wrote me this:
"We have just proved that a category is, up to an isomorphism,
just epimorphism, and that isomorphic objects are always isomorphic.
We also have just proved that a cartesian product is a binary operation
and a \emph{product} of objects---objects themselves.
So the binary operation gives us another way to describe categories."