Open WIKI
Home
Sources
About
Contacts
⯈
☰
Fully faithful functor
fully faithful functor
is a
full functor
.