Toposes generated by codiscrete objects in combinatorial topology and functional analysis, unpublished manuscript (1989)

by F W Lawvere