All Questions

Question. Is there a large colimit-sketch $\mathcal{S}$ such that $\mathrm{Mod}(\mathcal{S}) \simeq \mathbf{Top}$? In other words, is there a category $\mathcal{E}$ with a class of cocones $\mathcal{S}...

I'm wondering if it's possible to find an universal construction for a general concept of action for (single-sorted?) finite product sketches, such that one of those is "acting" on the second in the ...