Dear Jean,
Then I received 3 answers all referring to: The joy of Cats, but different:
I referred to a different book but also coauthered by Adamek.
Thomas Streicher adds a third condition, with which I would probably agree if was sure of the precise meaning of isofibration. Could you please, even at the risk of being pedantic say what you mean by that
For an iso i : pa -> y there is iso j : a -> b with pj= i. This j is unique when p is amnestic. Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
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/ ]
participants (2)
-
Andrée Ehresmann -
streicher@mathematik.tu-darmstadt.de