Qualitative Distinctions between some Toposes of Generalized Graphs (1989)

by F W Lawvere
Venue:Proceedings of the AMS Symposium on Categories in Computer Science and Logic, Contemporary Mathematics