Lawvere's fixed point theorem

[nivanych]

http://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theorem
if there is an epimorphism from some object A to the exponential object/internal hom from A into some other object B
A⟶B^A
then every endomorphism f:B→B of B has a fixed point.

Comments

[beroal]

Там не эпимофризм, а что-то типа ретракции. Оно выдаёт морфизмы.