Galois connection - CaLiGraph

Property	Value
rdf:type	Closure operator owl:NamedIndividual Order theory topic
rdfs:label	Galois connection
owl:sameAs	dbr:Galois_connection
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Closure_operators http://en.wikipedia.org/wiki/Glossary_of_order_theory http://en.wikipedia.org/wiki/Outline_of_category_theory http://en.wikipedia.org/wiki/List_of_order_theory_topics http://en.wikipedia.org/wiki/Adjoint
skos:prefLabel	Galois connection
skos:altLabel	example adjoint pair Galois connected Galois connection#Definitions Galois correspondence Galois inequalities monotone Galois connection

About: clgr:Galois_connection