Skip to content
November 3, 2013 / porton

A new proposition about infimum product

I’ve proved a new simple proposition about infimum product:

Theorem
Let \pi^X_i be metamonovalued morphisms. If S \in \mathscr{P} (    \mathsf{FCD} ( A_0 ; B_0) \times \mathsf{FCD} ( A_1 ; B_1))
for some sets A_0, B_0, A_1, B_1 then
\bigsqcap \left\{ a \times b \,|\, ( a ; b) \in S       \right\} = \bigsqcap \mathrm{dom}\, S \times \bigsqcap \mathrm{im}\, S.

And its corollary:

( a_0 \times b_0) \sqcap ( a_1 \times b_1) = ( a_0 \sqcap a_1) \times ( b_0  \sqcap b_1).

See this online article (here there is also the dual of the above statements).

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: