News for hackers. Stuff that matters.
Re:Language Is the Scaffold of the Mind by adamnemecek on Friday September 27, 2019 @04:44PM (#21096095)
They are adjoints. William Lawvere's "Adjointness in foundations" as well as Godel's "Completeness theorem" say that much.

There are no comments on this comment yet.