Post #952404
2025-10-28 08:25 UTC
I recently found that the term "setoid" is like domain -- there are more than one precise formulation of setoid (in various settings) and one should always check which setoid they actually talk about.
Replies (2)
-
@jonmsterling@mathstodon.xyz 2025-10-28 09:05
@ltchen This is extremely true...
-
@MartinEscardo@mathstodon.xyz 2025-10-28 09:25
@ltchen In Bishop's books, "setoid" is like a type, and "set" is a setoid (in his sense) equipped with an equivalence relation. So a completely different use of the terminology. Which definitions do you have in mind?