copilot level of literacy

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."