Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Setoid> ?p ?o }
Showing triples 1 to 74 of
74
with 100 triples 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.Classes.SetoidClass.html.
- Setoid wikiPageExternalLink Setoids_JFP_2003.pdf.
- Setoid wikiPageExternalLink tlca95.ps.
- Setoid wikiPageID "769434".
- Setoid wikiPageLength "4246".
- Setoid wikiPageOutDegree "34".
- Setoid wikiPageRevisionID "667056247".
- Setoid wikiPageWikiLink Algorithm.
- Setoid wikiPageWikiLink Apartness_relation.
- Setoid wikiPageWikiLink Axiom_of_choice.
- Setoid wikiPageWikiLink Beta_conversion.
- Setoid wikiPageWikiLink Category:Abstract_algebra.
- Setoid wikiPageWikiLink Category:Category_theory.
- Setoid wikiPageWikiLink Category:Proof_theory.
- Setoid wikiPageWikiLink Category:Type_theory.
- Setoid wikiPageWikiLink Cauchy_sequence.
- Setoid wikiPageWikiLink Constructive_mathematics.
- Setoid wikiPageWikiLink Constructivism_(mathematics).
- Setoid wikiPageWikiLink Coq.
- Setoid wikiPageWikiLink Curry–Howard_correspondence.
- Setoid wikiPageWikiLink Equality_(mathematics).
- Setoid wikiPageWikiLink Equivalence_class.
- Setoid wikiPageWikiLink Equivalence_relation.
- Setoid wikiPageWikiLink Extension_(semantics).
- Setoid wikiPageWikiLink Foundations_of_mathematics.
- Setoid wikiPageWikiLink Groupoid.
- Setoid wikiPageWikiLink Intension.
- Setoid wikiPageWikiLink Intuitionistic_type_theory.
- Setoid wikiPageWikiLink Lambda_calculus.
- Setoid wikiPageWikiLink Mathematical_proof.
- Setoid wikiPageWikiLink Mathematics.
- Setoid wikiPageWikiLink Partial_equivalence_relation.
- Setoid wikiPageWikiLink Per_Martin-Löf.
- Setoid wikiPageWikiLink Proof_(mathematics).
- Setoid wikiPageWikiLink Proof_irrelevance.
- Setoid wikiPageWikiLink Proof_theory.
- Setoid wikiPageWikiLink Proposition_(mathematics).
- Setoid wikiPageWikiLink Quotient_set.
- Setoid wikiPageWikiLink Quotient_type.
- Setoid wikiPageWikiLink Rational_number.
- Setoid wikiPageWikiLink Real_analysis.
- Setoid wikiPageWikiLink Real_number.
- Setoid wikiPageWikiLink Regular_Cauchy_sequence.
- Setoid wikiPageWikiLink Set_(mathematics).
- Setoid wikiPageWikiLink Theorem.
- Setoid wikiPageWikiLink Type-theoretic.
- Setoid wikiPageWikiLink Type_(mathematics).
- Setoid wikiPageWikiLink Type_theory.
- Setoid wikiPageWikiLinkText "Setoid".
- Setoid wikiPageWikiLinkText "constructive setoid".
- Setoid wikiPageWikiLinkText "setoid".
- Setoid hasPhotoCollection Setoid.
- Setoid id "setoid".
- Setoid title "Setoid".
- Setoid wikiPageUsesTemplate Template:Citation.
- Setoid wikiPageUsesTemplate Template:Clarify.
- Setoid wikiPageUsesTemplate Template:More_footnotes.
- Setoid wikiPageUsesTemplate Template:Nlab.
- Setoid subject Category:Abstract_algebra.
- Setoid subject Category:Category_theory.
- Setoid subject Category:Proof_theory.
- Setoid subject Category:Type_theory.
- Setoid type Article.
- Setoid type Article.
- Setoid type Function.
- Setoid type Proof.
- 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=667056247.
- Setoid isPrimaryTopicOf Setoid.