A solution to an equation is a choice of value for the free variable such that the statement becomes true.
If we think of the equation as embodied by a pair of parallel morphisms
then a solution is a cone over this diagram. The solution space itself is the limit cone, hence the equalizer of the diagram.
Created on May 3, 2017 at 16:29:42. See the history of this page for a list of all contributions to it.