You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Joshua Meyers (Jan 06 2022 at 01:21):See attached picture from Toposes, Theories, and Triples by Barr and Wells. ehresmannkennison.png
What is the more general version that Ehresmann is said to have proved?
Joshua Meyers (Jan 06 2022 at 01:37):Well I found his papers that Barr and Wells cite! Here and Here but you have to look at the bibliography of Barr and Wells to go to the right page
David Egolf (Jan 06 2022 at 01:41):(Thanks for mentioning this book, it looks interesting!)
Fawzi Hreiki (Jan 06 2022 at 01:49):You might also want to look at chapter 6 of Kelly’s book on enriched categories.