Homotopy Type Theory Rel > history (Rev #3)

Redirected from "accessible (∞,1)-functor".
Note: accessible (infinity,1)-functor and accessible (infinity,1)-functor both redirect for "accessible (∞,1)-functor".

Idea

$Rel$ is the category of sets, with morphisms the relations between sets.

Definition

$Rel$ is a W-topical extensional dagger 2-poset.

See also

HilbR
SEAR

Revision on April 25, 2022 at 20:37:06 by Anonymous?. See the history of this page for a list of all contributions to it.