Categories of relations, spans, and cospans Special categories mathematics