About: Galois connection

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

Pair of adjoint functors between two preordered sets seen as categories

Property	Value
dbo:description	pair of adjoint functors between two preordered sets seen as categories (en) korespondence mezi typicky dvěma množinami (cs) mathematische Beziehung zwischen zwei Mengen (de) 兩個部分有序集合（偏序集）之間的特定對應關係（通常） (zh) relation dans la théorie des ordres, en mathématiques (fr) ослабленный изоморфизм (ru) 두 원순서 집합 사이의 수반 함자 (ko)
dbo:thumbnail	wiki-commons:Special:FilePath/Common_associative_algebras_over_the_reals.svg?width=300
dbo:wikiPageExternalLink	http://www.math.ksu.edu/~strecker/primer.ps https://web.archive.org/web/20060108063506/http:/www.iti.cs.tu-bs.de/TI-INFO/koslowj/RESEARCH/gal_bw.ps.gz
dbo:wikiPageWikiLink	dbr:Category_theory dbr:Corollary dbr:Fundamental_theorem_of_Galois_theory dbr:Morphism dbr:Function_composition dbr:Lattice_(order) dbr:Linear_subspace dbr:Formal_concept_analysis dbr:Algebraically_closed_field dbc:Galois_theory dbr:Function_(mathematics) dbr:Inner_product_space dbr:Set_(mathematics) dbr:Vector_space dbc:Closure_operators dbr:Closure_(topology) dbr:Closure_operator dbr:Identity_function dbr:Group_(mathematics) dbr:Ring_(mathematics) dbr:Subring dbr:If_and_only_if dbr:Heyting_algebra dbr:Complete_lattice dbr:Abstract_interpretation dbc:Abstract_interpretation dbr:Covering_space dbr:Spectrum_of_a_ring dbr:Mathematics dbr:Domain_of_a_function dbr:Inverse_function dbr:Domain_theory dbr:Radical_of_an_ideal dbr:Boolean_algebra_(structure) dbr:Programming_language dbr:Évariste_Galois dbr:Subset dbr:Topological_space dbr:Order_isomorphism dbr:Axiom dbc:Order_theory dbr:Adjoint_functors dbr:Field_extension dbr:Binary_relation dbr:Duality_(order_theory) dbr:Field_(mathematics) dbr:Power_set dbr:Ideal_(ring_theory) dbr:Polynomial dbr:Category_(mathematics) dbr:Subgroup dbr:Fundamental_group dbr:Converse_(logic) dbr:Transactions_of_the_American_Mathematical_Society dbr:Partially_ordered_set dbr:Dual_space dbr:Inclusion_map dbr:Algebraic_geometry dbr:Injective_function dbr:Quotient_group dbr:Zariski_topology dbr:Polynomial_ring dbr:Commutative_ring dbr:Image_(mathematics) dbr:Natural_number dbr:Group_action dbr:William_Lawvere dbr:Orthogonal_complement dbr:Complete_Heyting_algebra dbr:Completeness_(order_theory) dbr:Preordered_class dbr:Order_theory dbr:Frames_and_locales dbr:Infimum dbr:2-transitive_group dbr:Residuated_mapping dbr:Semi-locally_simply_connected dbr:Root_of_a_polynomial dbr:Supremum dbr:Introduction_to_Lattices_and_Order dbr:Limit_preserving_(order_theory) dbr:Monotone_function dbr:Field_automorphism dbr:Lattice_theorem dbr:Preordered_set dbr:Set_inclusion dbr:Bijective dbr:Inverse_image dbr:Diagonal_map dbr:Duality_(category_theory) dbr:Underlying_set dbr:Idempotent dbr:Closed_subset dbr:Path-connected dbr:Subscheme dbr:Surjective dbr:Adjoint_functor_theorem_(order_theory)
dbp:wikiPageUsesTemplate	dbt:Hairsp dbt:Cite_book dbt:! dbt:Reflist dbt:Math dbt:= dbt:Overline dbt:Sfn dbt:Citation dbt:Mvar dbt:Mapsto dbt:-" dbt:Isbn dbt:Overset dbt:Short_description
dct:subject	dbc:Galois_theory dbc:Closure_operators dbc:Abstract_interpretation dbc:Order_theory
gold:hypernym	dbr:Correspondence
rdfs:label	Galois connection (en) Connexió de Galois (ca) Galoisova korespondence (cs) Galoisverbindung (de) Conexión de Galois (es) Correspondance de Galois (fr) ガロア接続 (ja) 갈루아 대응 (ko) Conexão de Galois (pt) Соответствие Галуа (ru) 伽罗瓦连接 (zh)
owl:sameAs	freebase:Galois connection yago-res:Galois connection wikidata:Galois connection dbpedia-de:Galois connection dbpedia-fr:Galois connection dbpedia-zh:Galois connection dbpedia-ja:Galois connection dbpedia-pt:Galois connection dbpedia-es:Galois connection dbpedia-ru:Galois connection dbpedia-ko:Galois connection dbpedia-ca:Galois connection dbpedia-cs:Galois connection dbpedia-global:Galois connection dbr:Galois connection
prov:wasDerivedFrom	wikipedia-en:Galois_connection?oldid=1293982262&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Common_associative_algebras_over_the_reals.svg
foaf:isPrimaryTopicOf	wikipedia-en:Galois_connection
is dbo:wikiPageDisambiguates of	dbr:Connection
is dbo:wikiPageRedirects of	dbr:Galois_connections dbr:Galois_connexion dbr:Galois_correspondence dbr:Galois_insertion dbr:Galois_insertions
is dbo:wikiPageWikiLink of	dbr:Residuated_lattice dbr:Mathematical_morphology dbr:Floor_and_ceiling_functions dbr:Fundamental_theorem_of_Galois_theory dbr:Monad_(category_theory) dbr:Lattice_(order) dbr:Formal_concept_analysis dbr:Quantile_function dbr:Hilbert's_Nullstellensatz dbr:Lattice_of_subgroups dbr:Biclustering dbr:Closure_operator dbr:Kuratowski_closure_axioms dbr:Galois_theory dbr:Heyting_algebra dbr:Complete_lattice dbr:Timeline_of_category_theory_and_related_mathematics dbr:Limit-preserving_function_(order_theory) dbr:Abstract_interpretation dbr:Covering_space dbr:Øystein_Ore dbr:Duality_(mathematics) dbr:Annihilator_(ring_theory) dbr:Connection dbr:Glossary_of_order_theory dbr:Projective_orthogonal_group dbr:Projective_polyhedron dbr:Schema_(genetic_algorithms) dbr:List_of_things_named_after_Évariste_Galois dbr:Order_isomorphism dbr:Abstract_model_checking dbr:Lambek–Moser_theorem dbr:Adjoint_functors dbr:Hilbert_space dbr:Correspondence_theorem dbr:Inverse_element dbr:T-norm dbr:Point_groups_in_three_dimensions dbr:Dual_space dbr:Kronecker's_theorem dbr:List_of_order_theory_topics dbr:Schaefer's_dichotomy_theorem dbr:Algebraic_geometry dbr:Order_embedding dbr:Ontology_language dbr:Dedekind_cut dbr:Adjoint dbr:Semilattice dbr:Spin_group dbr:Orthogonal_complement dbr:Complete_Heyting_algebra dbr:Completeness_(order_theory) dbr:Binary_icosahedral_group dbr:Krull_dimension dbr:Order_theory dbr:Shriek_map dbr:Monoidal_t-norm_logic dbr:Residuated_mapping dbr:Semi-locally_simply_connected dbr:Outline_of_category_theory dbr:Introduction_to_Lattices_and_Order dbr:Galois_connections dbr:Galois_connexion dbr:Galois_correspondence dbr:Galois_insertion dbr:Galois_insertions
is foaf:primaryTopic of	wikipedia-en:Galois_connection