👉 In mathematics, a pushout is a construction used in category theory to construct an inverse limit of two categories. It is named after the operation of pushing out from one category into another. Given two categories $\mathcal{C}$ and $\mathcal{D}$, a pushout is a diagrammatic object representing the inverse limit of the following diagram: ``` \begin{array}{ccc} \mathcal{C} & \rightarrow & \mathcal{D}\\
