Products in the category of partial acts with reversed homomorphisms

We will start with defining reversed homomorphisms of partial S-acts. We denote the corresponding category by PAct^r_S. The aim of the seminar is to construct products in the category PAct^r_S, which, as it turns out, are far from trivial.