Logical_Relation_as_Category