إرسال التسجيلة بالبريد الالكتروني: Universal Constructions for (Co)Relations: categories, monoidal categories, and props