Arrow morphism this gives you an access to a first item of a Product:
You can get the same morphism in Scope category:
Morphism that takes a second element is called that.