About: Adjoint functors

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Relationship that two functors may have

Property	Value
dbo:description	יחס בין שתי קטגוריות שהוא מעט דומה אך חלש יותר מאשר שקילות (iw) relation entre deux foncteurs (fr) relationship that two functors may have (en) vztah dvou funktorů (cs) 二つの関手の間に考えることができる関係 (ja) una relación entre dos funtores que aparece frecuentemente a través de las distintas ramas de las matemáticas y que captura una noción intuitiva de solución a un problema de optimización (es)
dbo:thumbnail	wiki-commons:Special:FilePath/Definition_of_the_counit_of_an_adjunction.svg?width=300
dbo:wikiPageExternalLink	http://katmat.math.uni-bremen.de/acc/acc.pdf http://wildcatsformma.wordpress.com
dbo:wikiPageWikiLink	dbr:Currying dbr:Direct_sum_of_modules dbr:Subobject dbr:Ideal_quotient dbr:Suspension_(topology) dbr:Category_theory dbr:Class_(set_theory) dbr:Cognate dbr:Coproduct dbr:Small_category dbr:Monad_(category_theory) dbr:Grothendieck_group dbr:K-theory dbr:Kleisli_category dbr:Category_of_abelian_groups dbr:Morphism dbr:Quantifier_(logic) dbr:Sheaf_(mathematics) dbr:Group_representation dbr:Product_topology dbr:Cartesian_closed_category dbr:Loop_space dbr:Category_of_groups dbr:Direct_sum_of_groups dbr:Negative_number dbr:Set_(mathematics) dbr:Vector_space dbr:Stone_duality dbr:Closure_operator dbr:Kuratowski_closure_axioms dbr:Abstract_algebra dbr:Galois_theory dbr:Group_(mathematics) dbr:Group_of_units dbr:Ring_(mathematics) dbr:Free_group dbr:Peter_J._Freyd dbr:Propositional_calculus dbr:Pullback_(category_theory) dbr:Tensor_product dbr:Dual_(category_theory) dbr:Forgetful_functor dbr:Alexander_Grothendieck dbr:Trivial_topology dbr:Universal_property dbr:Category_of_sets dbr:Tensor-hom_adjunction dbr:Mathematics dbr:Duality_(mathematics) dbr:Logical_conjunction dbr:Galois_connection dbr:Equivalence_of_categories dbr:Diagonal_functor dbr:Free_object dbr:Commutative_diagram dbr:Limit_(category_theory) dbr:Abuse_of_notation dbr:Disjoint_union dbr:Ring_homomorphism dbr:Categorical_logic dbr:Categories_for_the_Working_Mathematician dbr:Homological_algebra dbr:Kernel_(algebra) dbr:Cartesian_product dbr:Discrete_space dbr:Topological_space dbr:Coequalizer dbr:Module_(mathematics) dbc:Adjoint_functors dbr:Rng_(algebra) dbr:Irving_Kaplansky dbr:Field_(mathematics) dbr:Functional_analysis dbr:Hilbert_space dbr:Monoid dbr:Semigroup dbr:Equalizer_(mathematics) dbr:Associative_algebra dbr:Ring_theory dbr:Model_theory dbr:Vector_bundle dbr:Coherent_sheaf dbr:Functor dbr:Graduate_Texts_in_Mathematics dbr:Inverse_image_functor dbr:Pointless_topology dbr:Material_conditional dbr:Homotopy_theory dbr:Serre_duality dbr:Saunders_Mac_Lane dbr:Partially_ordered_set dbr:Pushout_(category_theory) dbr:Universal_algebra dbr:Direct_image_functor dbr:String_diagram dbr:Daniel_Kan dbr:Continuous_function_(topology) dbr:Abelian_group dbr:Algebraic_geometry dbr:Bijection dbr:Product_(category_theory) dbr:Field_of_fractions dbr:Cokernel dbr:Induced_representation dbr:Compact_space dbr:Free_product dbr:Natural_isomorphism dbr:Natural_transformation dbr:Polynomial_ring dbr:William_Lawvere dbr:Hausdorff_space dbr:Stone–Čech_compactification dbr:Comma_category dbr:Biproduct dbr:Hom_functor dbr:Division_(mathematics) dbr:Existence_theorem dbr:Complete_category dbr:Accessible_functor dbr:Sober_space dbr:Homotopy_category dbr:Eilenberg–Moore_algebra dbr:Eugenia_Cheng dbr:Supremum dbr:Mathematica dbr:Topos_theory dbr:Abelianization dbr:Hom-set dbr:Homotopy_classes dbr:Additive_categories dbr:Additive_functor dbr:Adjoint_operator dbr:Free_functor dbr:Left_exact_functor dbr:Powerset dbr:Preadditive_categories dbr:Bifunctor dbr:Bilinear_mapping dbr:Continuous_map dbr:File:Adjoint_functors_sym.svg dbr:File:Definition_of_the_counit_of_an_adjunction.svg dbr:File:Definition_of_the_unit_of_an_adjunction_1.svg dbr:File:Natural_phi.svg dbr:File:String_diagram_adjunction.svg dbr:Wikt:adjoint dbr:Wikt:adjunct dbr:Full_subcategory dbr:Dirac_delta_measure dbr:Duality_(category_theory) dbr:Comonad dbr:Covariant_functor dbr:Locally_presentable_category dbr:Initial_object dbr:Integral_group_ring dbr:Integral_monoid_ring dbr:Right_exact_functor dbr:Ring_ideal dbr:Topological_spaces dbr:Universal_construction dbr:Universal_morphism dbr:Universal_properties
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Quote dbt:Prime dbt:Cite_book dbt:YouTube dbt:Reflist dbt:Math dbt:Anchor dbt:More_footnotes_needed dbt:See_also dbt:Sup dbt:About dbt:Category_theory dbt:Google_books dbt:Mvar dbt:Itco dbt:Functors dbt:I_sup dbt:Short_description
dct:subject	dbc:Adjoint_functors
rdfs:label	Adjoint functors (en) Adjungovaný funktor (cs) Adjunktion (Kategorientheorie) (de) Funtores adjuntos (es) Foncteur adjoint (fr) Funtore aggiunto (it) 随伴関手 (ja) 수반 함자 (ko) Funktory sprzężone (pl) Adjunção (teoria das categorias) (pt) Сопряжённые функторы (ru) Спряжені функтори (uk) 伴隨函子 (zh)
rdfs:seeAlso	dbr:Formal_criteria_for_adjoint_functors
owl:sameAs	freebase:Adjoint functors wikidata:Adjoint functors dbpedia-it:Adjoint functors dbpedia-de:Adjoint functors dbpedia-fr:Adjoint functors dbpedia-zh:Adjoint functors dbpedia-ja:Adjoint functors dbpedia-pt:Adjoint functors dbpedia-es:Adjoint functors dbpedia-ru:Adjoint functors dbpedia-pl:Adjoint functors dbpedia-ko:Adjoint functors dbpedia-cs:Adjoint functors dbpedia-uk:Adjoint functors dbpedia-global:Adjoint functors dbr:Adjoint functors
prov:wasDerivedFrom	wikipedia-en:Adjoint_functors?oldid=1292692891&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Adjoint_functors_sym.svg wiki-commons:Special:FilePath/Definition_of_the_counit_of_an_adjunction.svg wiki-commons:Special:FilePath/Definition_of_the_unit_of_an_adjunction_1.svg wiki-commons:Special:FilePath/Natural_phi.svg wiki-commons:Special:FilePath/String_diagram_adjunction.svg
foaf:isPrimaryTopicOf	wikipedia-en:Adjoint_functors
is dbo:wikiPageRedirects of	dbr:Adjoint_equivalance dbr:Adjoint_functor dbr:Adjoint_functor_theorem dbr:Adjoint_pair dbr:Adjoint_relation dbr:Adjointness dbr:Adjunction_(category_theory) dbr:Adjunction_map dbr:Left-adjoint dbr:Left_adjoint dbr:Freyd's_adjoint_functor_theorem dbr:Freyd_adjoint_functor_theorem dbr:Unit_(category_theory) dbr:Unit_of_adjunction dbr:Counit_(category_theory) dbr:⊣ dbr:Right-adjoint dbr:Right_adjoint
is dbo:wikiPageWikiLink of	dbr:Currying dbr:Left_and_right_(algebra) dbr:Six_operations dbr:Stalk_(sheaf) dbr:DisCoCat dbr:Category_theory dbr:S5_(modal_logic) dbr:Monad_(category_theory) dbr:Monad_(functional_programming) dbr:Category_of_abelian_groups dbr:Monoidal_category dbr:Cartesian_closed_category dbr:Compactly_generated_space dbr:Kan_extension dbr:Smash_product dbr:Category_of_groups dbr:Kan_fibration dbr:Alexandrov_topology dbr:Karoubi_envelope dbr:Stone_duality dbr:Turnstile_(symbol) dbr:Abelian_category dbr:Commutator_subgroup dbr:Peter_J._Freyd dbr:Topos dbr:Complete_lattice dbr:Group_ring dbr:Forgetful_functor dbr:Timeline_of_category_theory_and_related_mathematics dbr:Final_topology dbr:Trivial_topology dbr:Universal_property dbr:Cofree_coalgebra dbr:Tensor-hom_adjunction dbr:Galois_connection dbr:Equivalence_of_categories dbr:Diagonal_functor dbr:Free_Boolean_algebra dbr:Free_category dbr:Free_lattice dbr:Limit_(category_theory) dbr:Operad dbr:Groupoid dbr:Categories_for_the_Working_Mathematician dbr:Category_of_preordered_sets dbr:Gluing_axiom dbr:Dialectic dbr:Initial_and_terminal_objects dbr:Accessible_category dbr:Tilting_theory dbr:Eta dbr:Adjunct dbr:Formal_criteria_for_adjoint_functors dbr:Partial_derivative dbr:Functor dbr:Functor_category dbr:T-norm dbr:Dagger_category dbr:Transpose_of_a_linear_map dbr:Diagram_(category_theory) dbr:Apply dbr:Distributive_category dbr:String_diagram dbr:Daniel_Kan dbr:Additive_category dbr:Reflective_subcategory dbr:Nicolae_Popescu dbr:Exact_functor dbr:Free_abelian_group dbr:Natural_transformation dbr:Polynomial_ring dbr:RAPL dbr:Adjoint dbr:Axiom_of_choice dbr:William_Lawvere dbr:Semilattice dbr:Comma_category dbr:Algebra_representation dbr:Complete_Heyting_algebra dbr:Grothendieck_category dbr:Triangulated_category dbr:Discrete_category dbr:Beck's_monadicity_theorem dbr:Giraud_subcategory dbr:Localizing_subcategory dbr:Frobenius_reciprocity dbr:Monoidal_adjunction dbr:Dual_object dbr:Outline_of_category_theory dbr:Vectorization_(mathematics) dbr:Verdier_duality dbr:Indiscrete_category dbr:Simplex_category dbr:Homotopy_category dbr:Adjoint_equivalance dbr:Adjoint_functor dbr:Adjoint_functor_theorem dbr:Adjoint_pair dbr:Adjoint_relation dbr:Adjointness dbr:Adjunction_(category_theory) dbr:Adjunction_map dbr:Left-adjoint dbr:Left_adjoint dbr:Freyd's_adjoint_functor_theorem dbr:Freyd_adjoint_functor_theorem dbr:Unit_(category_theory) dbr:Unit_of_adjunction dbr:Counit_(category_theory) dbr:⊣ dbr:Right-adjoint dbr:Right_adjoint
is foaf:primaryTopic of	wikipedia-en:Adjoint_functors