Library HoTT.Categories.SetCategory.Functors
Functors between
set_cat
and
prop_cat
Require
SetCategory.Functors.SetProp
.
Include
SetCategory.Functors.SetProp
.