nForum - Search Results Feed (Tag: relations) 2023-09-23T14:29:07+00:00 https://nforum.ncatlab.org/ Lussumo Vanilla & Feed Publisher irreflexive relation https://nforum.ncatlab.org/discussion/7942/ 2017-07-31T11:14:20+00:00 2017-08-01T07:03:07+00:00 Peter Heinig https://nforum.ncatlab.org/account/1588/ [new thread since “irreflexive relation” was not found among the LatestChanges threads] A few day ago I added a standout box to irreflexive relation suggesting clarifying a notation. I did this ...

A few day ago I added a standout box to irreflexive relation suggesting clarifying a notation.

I did this since there seems to be something to be clarified, but there is, as far as I can tell, nothing more to do than replace $x\nsim x$ with $\neg\, (x\sim x)$, and

• I thought the standout-box-route to be the most efficient and silentest.

Since this appears not to have worked out, this message.

Again, it seems that $\nsim$ is nothing else than an abbreviation, definitionally-equal to $\neg\, (x\sim x)$. It seems to be that this should be spelled out, the $\nsim$ not being defined anywhere (definitely not on the page itself, and I looked around a bit), and it is at this point most probably not meant to denote an apartness-relation, distinct from the relation $\sim$, i.e., $\nsim$ is not a relation symbol, in other words, not part of the syntax, rather part of a meta-syntax.

]]>
Using relations to describe functions https://nforum.ncatlab.org/discussion/7526/ 2016-12-02T18:33:04+00:00 2016-12-07T13:02:47+00:00 PaoloPerrone https://nforum.ncatlab.org/account/1536/ Consider sets and functions. A relation between two sets can then be expressed as a subset of a Cartesian product, in other words, we can define it and describe it using functions. Viceversa, can we ...

Consider sets and functions. A relation between two sets can then be expressed as a subset of a Cartesian product, in other words, we can define it and describe it using functions.

Viceversa, can we describe functions using relations as the “fundamental” arrows? That is, can we define and describe functions without using other functions, only relations?

]]>