Processing math: 100%

Solution set

Set

context X
context ⟨Y,y0⟩ … pointed set
context f:X→Y
definition S:={x∣f(x)=y0}

S=f−1({y0}) where f−1:PY→PX.

Reference

Wikipedia: Solution set

Context

Pointed set

Equalizer . category theory

Link to graph
Log In
Improvements of the human condition
limeGraphxioms