x
Equaliser (category theory) - History — AI Alignment Forum