Let
and
An arrow from (A,u) to (B,v) in
The category
where
Let
and
An arrow from (A,u) to (B,v) in
The category
where