While the topic of topos subobject classifier is current, how far back can the historical and conceptual origins of the use of "$\Omega$" as the symbol denoting such be traced? Regards, Keith Harbaugh