Thick Categories #card #bidirectional

→

Hom-set can have multiple arrows

→

If there is an arrow between two objects those objects have a relation

→

Every arrow between two points can be considered a different “proof” of a relation between those two points

→

Defines a proof-relevant relation

→

→