Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 9 of 9
At interactions of images and pre-images with unions and intersections I have added pointer to Lawvere 69 and there at Adjointness in Foundations I added a bit more text and cross-references.
Let me see… It looks okay to me: The intersection of images may be larger than the image of the intersection.
In an extreme case, take and to two disjoint copies of the same non-empty abstract set, and each with the same image under . Then the image of the intersection is empty (because the intersection itself is), but the intersection of the images is the image of either subset.
Hm, now I see that this same point is also amplified in a comment right below.
So maybe I am missing your point?
To make sure we are looking at the same part of the entry: You can copy and paste the relevant code from the entry to the Forum here. (Just make sure you check the radio button “Markdown+Itex” below the edit pane here.)
1 to 9 of 9