2-Category: Rel

Rel is the 2-category whose objects are sets, arrows are relations, and transformations are subrelation inclusions. Specifically, Rel is a bicategory.

2-categories: Rel

This data as json