Dear George, As i mentioned in my mail, it took me many years to develop foliated categories AND cartesian functors to their full extent. The very first approach starts circa 1984 when I had proved important results on cartesian functors between fibered categories and started wondering about possible generalizations. Thank you for sending me the paper of Cassidy, Herbert and Kelly which I do not know. I shall look at it carefully, but I doubt very much that it will have ANYTHING to do with foliated categories, let alone cartesian functors which are the essential content of my mail. I shall explain why after I have read the paper you are sending me. Best regards to all, Jean Le 28 juil. 2014 à 12:52, George Janelidze a écrit :
Dear Jean,
I remember you talking about foliations more than 20 years ago, but when exactly is this done? Long before?
No matter what was done first, I think it would nice to compare this carefully with the results of
[C. Cassidy, M. Hébert, and G. M. Kelly, Reflective subcategories, localizations, and factorization systems, Journal of Australian Mathematical Society (Series A), 1985, 287-329].
The seemingly big difference is that the above-mentioned paper is about reflections, but in fact having the right adjoint is a much weaker restriction than it seems (in this context).
Since we don't sent attachments to Categories mailing list, I shall send you that paper separately.
With best regards to all, George
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]