10 Feb
2017
10 Feb
'17
9:03 a.m.
For Charles Ehresmann, the answer to Jean's question was that p be a "homomorphism functor", a notion he already defined in his 1957 paper "Gattungen in Lokalen Strukturen", reprinted in http://ehres.pagesperso-orange.fr/C.E.WORKS_fichiers/Ehresmann_C.-Oeuvres_I-... In modern terms it should correspond to a faithful and amnestic functor. Cordially Andree [For admin and other information see: http://www.mta.ca/~cat-dist/ ]