* more precisely ...
@ 1998-05-07 19:25 Steve Awodey
0 siblings, 0 replies; only message in thread
From: Steve Awodey @ 1998-05-07 19:25 UTC (permalink / raw)
To: categories
Dear Colleagues,
Since this is the categories list, I could and should have been more
specific about the contents of the preprint I announced yesterday:
"Topological representation of the lambda-calculus", available from my page
on the WWW,
http://www.andrew.cmu.edu/user/awodey/
In a nut-shell, the point is that the Butz-Moerdijk spatial covering
theorem for topoi can be used to embed any CCC fully and faithfully (and
CC) into a topos of sheaves on a space. So the "topological semantics"
mentioned are actually in such topoi of sheaves.
Steve A.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1998-05-07 19:25 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1998-05-07 19:25 more precisely Steve Awodey
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).