6 Aug
2008
6 Aug
'08
3 p.m.
On Thu, 31 Jul 2008, Townsend, Christopher wrote:
Feedback is welcome. For example, I have always attributed the result Loc/Y =3D Loc_Sh(Y) to Joyal and Tierney. Am I right?=20
I think it predates the Joyal--Tierney work by a couple of years. It's (more or less) present in the long Fourman--Scott paper on sheaves and logic in SLN 753 (the Proceedings of the 1977 Durham symposium), but they don't claim originality for it. Peter Johnstone