Here are some examples of pullbacks of sets.

  1. Unions via Intersections. Let $X$ be a set. We have
    for each $A,B\in \mathcal{P}\webleft (X\webright )$.

Item 1: Unions via Intersections
Indeed, we have
\begin{align*} A\times _{A\cup B}B & \cong \webleft\{ \webleft (x,y\webright )\in A\times B\ \middle |\ x=y\webright\} \\ & \cong A\cap B. \end{align*}

This finishes the proof.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: