## § Category where coproducts of computable things is not computable

- Modular lattices are an algebraic variety.
- Consider the category of modular latties.
- The free modular lattice on 2 elements and on 3 elements has dediable equality, by virtue of being finite.
- The free modular lattice on 5 elements does not have decidable equality.
- The coproduct of free modular lattice on 2 and 3 generators is the free modular lattice on 5 generators, because $F(2 \cup 3) = F(2) \sqcup F(3)$ (where $2, 3$ are two and three element sets), because free is left adjoint to forgetful, and the left adjoint $F$ preserve colimits!