On relations as partial functions. (English) Zbl 0677.08002
Considering relations (in sets) as partial projections, it is shown that all usual operations of relations can be expressed by the operations of dht-symmetric categories (introduced by H.-J. Hoehnke), enriched with few additional properties, explicated in Part II of the paper.
Reviewer: Vl.Topencharov
MSC:
08A02 | Relational systems, laws of composition |
18D10 | Monoidal, symmetric monoidal and braided categories (MSC2010) |
03E20 | Other classical set theory (including functions, relations, and set algebra) |