About: Setoid

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

A set equipped with an equivalence relation in constructive mathematics

Property	Value
dbo:description	a set equipped with an equivalence relation in constructive mathematics (en)
dbo:wikiPageExternalLink	https://www.cs.ru.nl/~venanzio/publications/Setoids_JFP_2003.pdf http://coq.inria.fr/library/Coq.Classes.SetoidClass.html http://www.tcs.informatik.uni-muenchen.de/~mhofmann/tlca95.ps
dbo:wikiPageWikiLink	dbr:Proof_irrelevance dbc:Category_theory dbr:Intuitionistic_type_theory dbr:Per_Martin-Löf dbc:Proof_theory dbr:Real_analysis dbr:Real_number dbr:Set_(mathematics) dbr:Proof_theory dbr:Errett_Bishop dbr:Partial_equivalence_relation dbr:Mathematics dbr:Quotient_set dbr:Groupoid dbr:Algorithm dbr:Coq dbr:Rational_number dbc:Type_theory dbr:Equivalence_relation dbr:Equality_(mathematics) dbr:Extension_(semantics) dbr:Intension dbr:Apartness_relation dbc:Abstract_algebra dbr:Axiom_of_choice dbr:Curry–Howard_correspondence dbr:Foundations_of_mathematics dbr:Constructive_mathematics dbr:Proof_(mathematics) dbr:Quotient_type dbr:Constructivism_(mathematics) dbr:Beta_conversion dbr:Regular_Cauchy_sequence dbr:Type-theoretic dbr:Type_(mathematics) dbr:Proposition_(mathematics)
dbp:id	Bishop+set (en) setoid (en)
dbp:title	Bishop set (en) Setoid (en)
dbp:wikiPageUsesTemplate	dbt:Set_theory dbt:Nlab dbt:Redirect dbt:Clarify dbt:Citation dbt:Use_American_English dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Category_theory dbc:Equivalence_(mathematics) dbc:Proof_theory dbc:Type_theory dbc:Abstract_algebra
rdfs:label	Setoid (en)
owl:sameAs	freebase:Setoid wikidata:Setoid dbpedia-global:Setoid
prov:wasDerivedFrom	wikipedia-en:Setoid?oldid=1277000306&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Setoid
is dbo:knownFor of	dbr:Errett_Bishop
is dbo:wikiPageRedirects of	dbr:Bishop_set dbr:Bishop_set dbr:E-Set dbr:E-set dbr:Extensional_set
is dbo:wikiPageWikiLink of	dbr:Intuitionistic_type_theory dbr:Partial_equivalence_relation dbr:Groupoid dbr:Extensionality dbr:Equivalence_relation dbr:Partition_of_a_set dbr:Apartness_relation dbr:Set_(abstract_data_type) dbr:Constructive_set_theory dbr:Bishop_set dbr:Quotient_type dbr:E-Set dbr:E-set dbr:Extensional_set
is dbp:knownFor of	dbr:Errett_Bishop
is foaf:primaryTopic of	wikipedia-en:Setoid