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