Describe the equalizer of $f,1:X\to X$ as explicitly as possible Exercise 5.2.22 from Leinster asks to describe the equalizer of $f,1:X\to X$ in $\mathbf{Set}$, where $f:X\to X$ is a map, as explicitly as possible.
What level of explicitness is expected? By definition, it is a pair $(S,h)$ where $S$ is a set and $S\to X$ is a map such that $fh=h$, and if $(S'g)$ is another such pair, then there is a unique $\bar g:S'\to S$ such that $h\bar g=g$. How can one make this more explicit?

To give a categorical construction explicitly in a given category is to give in terms of the concrete definition of the objects of the category. For sets, you give the elements, for algebraic objects, you give the elements and the operations; for spaces, the elements and the geometric or topological structure, and so on.
