3 ms·
They are adjoints. William Lawvere's "Adjointness in foundations" as well as Godel's "Completeness theorem" say that much.
by adamnemecek 7y ago
They are adjoints. William Lawvere's "Adjointness in foundations" as well as Godel's "Completeness theorem" say that much.