Great article!
A couple of minor things:
In the Product Category, I think there is a typo after the last Y for composition. It should be

(f,g):(X,Y)→(X ′,Y′)

And although I haven't heard of the Liskov category before, I would assume this is a categorical representation of the Liskov Substitution Principal.

Thanks! You're right, it should be Y'.