Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Setoid> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- Setoid abstract "In mathematics, a setoid (also called an E-set) is a set (or type) equipped with an equivalence relation.Setoids are studied especially in proof theory and in type-theoretic foundations of mathematics. Often in mathematics, when one defines an equivalence relation on a set, one immediately forms the quotient set (turning equivalence into equality). In contrast, setoids may be used when a difference between identity and equivalence must be maintained, often with an interpretation of intensional equality (the equality on the original set) and extensional equality (the equivalence relation, or the equality on the quotient set).".
- Setoid wikiPageExternalLink Coq.Setoids.Setoid.html.
- Setoid wikiPageExternalLink Setoids_JFP_2003.pdf.
- Setoid wikiPageExternalLink tlca95.ps.
- Setoid wikiPageID "769434".
- Setoid wikiPageRevisionID "596543840".
- Setoid hasPhotoCollection Setoid.
- Setoid id "setoid".
- Setoid title "Setoid".
- Setoid subject Category:Abstract_algebra.
- Setoid subject Category:Category_theory.
- Setoid subject Category:Proof_theory.
- Setoid subject Category:Type_theory.
- Setoid comment "In mathematics, a setoid (also called an E-set) is a set (or type) equipped with an equivalence relation.Setoids are studied especially in proof theory and in type-theoretic foundations of mathematics. Often in mathematics, when one defines an equivalence relation on a set, one immediately forms the quotient set (turning equivalence into equality).".
- Setoid label "Setoid".
- Setoid sameAs m.02693fl.
- Setoid sameAs Q7456758.
- Setoid sameAs Q7456758.
- Setoid wasDerivedFrom Setoid?oldid=596543840.
- Setoid isPrimaryTopicOf Setoid.