Function vs.Relation: 'function-as-graph-relation'; 'graph-like-relation-as-'function''?

[jamesmckinna]

There's probably some underlying 2-/bi-categorical structure here (the bicategory Span ℂ of spans, and its relationship to the category ℂ) which might illuminate this question...

Related:

• [ add ] Function.Metric.Core.DistanceRelation #3068
• Add definitions for function-like relations #3001
• ...