0
votes
0answers
64 views

Relational algebraic structures

Recently I came across the notion of relational $\beta$-algebra, defined as a set $S$ and a binary relation $\xi:\beta S-S$, where $\beta S$ denotes the set of ultrafilters on $S$ (and $\beta$ is the ...
4
votes
0answers
61 views

Where can I learn more about the concept that is dual to “relation”?

Let $X$ and $Y$ denote sets. Then a relation $X \rightarrow Y$ is, by definition, a subset of $X \times Y$. Dually, we can define that a "corelation" $X \rightarrow Y$ is a partitioning of $X \uplus ...
0
votes
0answers
25 views

“Anti-cumulative” Relation Image using Intersection

Given a binary relation $R \subseteq X \times Y$, the familiar image of some $A \subseteq X$ is defined as $R[A] = \{y\ |\ (x, y) \in R, x \in A\}$. Naturally we have the property $R[A] = \bigcup_{x ...
2
votes
1answer
47 views

Can objects repeat in commutative diagrams?

Are objects allowed to repeat in commutative diagrams? This seems to be necessary when representing endomorphisms such as the morphism $f : X \to X$ in the category $\mathbf{Set}$, such as when $f$ is ...
0
votes
0answers
21 views

Restricting binary relations by composing with an “inclusion binary relation”

If $X' \subseteq X$ then we may define an inclusion map $\iota : X' \to X$ where $\iota(x) = x$. One use of $\iota$ is that we can express the restriction of some $f : X \to Y$ to $X'$ as $f|_{X'} = f ...
1
vote
2answers
51 views

“Preimage” of a binary relation

Consider the binary relation $R \subseteq X \times Y$. Is there a standard name and notation for the set $X' = \{x\ |\ (x, y) \in R\}$? ProofWiki calls $X'$ the preimage of $R$, denoted as ...
0
votes
0answers
16 views

Hemicontinuity of multifunctions/correspondences that can map to the empty set

The Wikipedia article on hemicontinuity of multifunctions or correspondences does not make it clear whether the multifunction or correspondence $f : A \to 2^B$ (power set) is allowed to map to the ...
3
votes
3answers
310 views

New kind of identities?

I found a new kind of identities which are half logic and half algebraic while working on a proof of NP-completeness. They are like this: $$ \frac{a+mb}{n+m} < \frac{a}{n} \iff b < ...
5
votes
1answer
268 views

Is this alternative definition of 'equivalence relation' well-known? useful? used?

I discovered that $$R \textrm{ is an equivalence relation on } A \;\equiv\; \langle \forall a,b \in A :: aRb \:\equiv\: \langle \forall x \in A :: aRx \equiv bRx\rangle \rangle$$ The nice thing about ...
2
votes
1answer
135 views

Diagrammatic (Postfix) Composition of Functions

Consider the functions $f : X \to Y$ and $g : Y \to Z$. According to the Wikipedia articles on Function Composition, the application of $f$ to an input $x$ can be written as $xf$ (as opposed to the ...
4
votes
3answers
179 views

Books and Papers that have treatment of properties like Idempotence and related operations

Please recommend resources to study Idempotence and other similar properties of processes and operations in depth. I want to know what other properties like Idempotence are there for an operation. I ...
4
votes
2answers
210 views

Logical relations between relations

I'm interested in properties of relations. Things like completeness (connected, total), transitivity, euclideanness, symmetry and so on. I am interested in the logical connections between these ...