For all your dictionary needs!
Header of Setoid

Setoid

Definition of the noun Setoid

What does Setoid mean as a name of something?

noun

  1. [set theory] A set together with an equivalence relation.

Explanation

Setoid: In mathematics, a setoid is a set equipped with an equivalence relation.

Printed books with definitions for Setoid

Click on a title to look inside that book (if available):

Google previewProof, Language, and Interaction (2000)

Essays in Honour of Robin Milner by Gordon Plotkin, Robin Milner

Setoids are triples composed of a Type S, a relation R over S, and a proof that R is an equivalence relation over S. Thus a Setoid is a set considered as the quotient of a Type by a congruence. Setoids were first investigated by M. Hofmann in ...

Google previewTypes for Proofs and Programs (2003)

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers by Herman Geuvers, Freek Wiedijk

A setoid is a pair A/=A, where A is a set and = A an equivalence relation on that set. Given a propositional function A : (A )Prop, we may construct a ⋆ http://www. math.su.se/ ̃jesper/ H. Geuvers and F. Wiedijk (Eds.): TYPES 2002, LNCS 2646, ...

Google previewLogic of Computation (2012)

by Helmut Schwichtenberg

Setoids are triples composed of a Type S, a relation R over S, and a proof that R is an equivalence relation over S. Thus a Setoid is a set considered as the quotient of a Type by a congruence. Setoids were first investigated by M. Hofmann in ...

Online dictionaries and encyclopedias with entries for Setoid

Click on a label to prioritize search results according to that topic:

Video about Setoid

Setoid Meaning

Video shows what setoid means. A set together with an equivalence relation.. Setoid Meaning. How to pronounce, definition audio dictionary. How to say setoid.

Scrabble value of S1E1T1O1I1D2

The value of this 6-letter word is 7 points, but it's not an accepted word in the Official Scrabble Players Dictionary.

Couldn't select: Got error 28 from storage engine