Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Quotient_type> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Quotient_type abstract "In type theory, a quotient type is an algebraic data type that represents a type whose equality relation has been redefined by a given equivalence relation such that the elements of the type are partitioned into a set of equivalence classes the cardinality of which is less than or equal to the cardinality of the base type. Just as product types and sum types are analogous to the cartesian product and disjoint sum of abstract algebraic structures, quotient types reflect the concept of set-theoretic quotients, sets whose elements are surjectively partitioned into equivalence classes by a given equivalence relation on the set. Algebraic structures whose carrier set is a quotient are also termed quotients. Examples of such quotient structures include quotient sets, groups, rings, categories and, in topology, quotient spaces. For example, , the rational numbers, is the quotient ring - or "field of fractions" - of , the integers. In type theories that lack quotient types, setoids - sets explicitly equipped with an equivalence relation - are often used instead.".
- Quotient_type wikiPageID "42011185".
- Quotient_type wikiPageRevisionID "600966066".
- Quotient_type subject Category:Composite_data_types.
- Quotient_type subject Category:Data_types.
- Quotient_type subject Category:Type_theory.
- Quotient_type comment "In type theory, a quotient type is an algebraic data type that represents a type whose equality relation has been redefined by a given equivalence relation such that the elements of the type are partitioned into a set of equivalence classes the cardinality of which is less than or equal to the cardinality of the base type.".
- Quotient_type label "Quotient type".
- Quotient_type sameAs m.0_s3mms.
- Quotient_type sameAs Q17045118.
- Quotient_type sameAs Q17045118.
- Quotient_type wasDerivedFrom Quotient_type?oldid=600966066.
- Quotient_type isPrimaryTopicOf Quotient_type.