category theory, a faithful functor is a functor that is injective on hom-sets, and a full functor is surjective on hom-sets. A functor that has both properties...
4 KB (571 words) - 19:05, 4 March 2024
Subcategory (redirect from Full subcategory)
embedding to be a full and faithful functor that is injective on objects. Other authors define a functor to be an embedding if it is faithful and injective on...
6 KB (798 words) - 21:38, 17 April 2021
field of topology; see Full set A property of functors in the mathematical field of category theory; see Full and faithful functors Satiety, the absence...
863 bytes (148 words) - 07:12, 3 January 2024
addition to those functors that delete some of the operations, there are functors that forget some of the axioms. There is a functor from the category...
8 KB (1,161 words) - 19:04, 4 March 2024
between Hom functors is of this form. In other words, the Hom functors give rise to a full and faithful embedding of the category C into the functor category...
9 KB (1,029 words) - 16:54, 4 September 2024
C} . Any functor that is part of an equivalence of categories is essentially surjective. As a partial converse, any full and faithful functor that is essentially...
1 KB (133 words) - 19:02, 4 March 2024
Mitchell's embedding theorem (redirect from Full embedding theorem)
commutative) and a full, faithful and exact functor F: A → R-Mod (where the latter denotes the category of all left R-modules). The functor F yields an...
5 KB (655 words) - 06:09, 31 August 2024
Topos (redirect from Logical functors)
Presh(D) denotes the category of contravariant functors from D to the category of sets; such a contravariant functor is frequently called a presheaf. Giraud's...
33 KB (4,371 words) - 10:40, 21 September 2024
Equivalence of categories (category Adjoint functors)
{\displaystyle F\dashv G} and both F and G are full and faithful. When adjoint functors F ⊣ G {\displaystyle F\dashv G} are not both full and faithful, then we may...
14 KB (1,988 words) - 19:46, 11 July 2024
, h ∈ G {\displaystyle g,h\in \mathbb {G} } and S g {\displaystyle S_{g}} is a full and faithful functor for every g ∈ G {\displaystyle g\in \mathbb {G}...
2 KB (296 words) - 17:26, 2 March 2022