Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
gptkb:mathematical_concept |
| gptkbp:definedIn |
Category theory
|
| gptkbp:defines |
A functor that is both full and faithful
|
| gptkbp:field |
Category theory
|
| gptkbp:hasProperty |
gptkb:Faithful_functor
Full functor |
| gptkbp:implies |
Injective on morphisms
Surjective on morphisms between objects in the image |
| gptkbp:mapsBetween |
Categories
|
| gptkbp:preserves |
Hom-sets bijectively
|
| gptkbp:relatedTo |
Equivalence of categories
Embedding |
| gptkbp:usedIn |
gptkb:Mathematics
gptkb:algebra gptkb:Topology Homological algebra |
| https://www.w3.org/2000/01/rdf-schema#label |
Fully faithful functor
|