Category Theory
Zulip Server
Archive

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.

Stream: theory: mathematics

Topic: ✔ Question about pullback *of* toposes.

finegeometer (May 10 2024 at 20:22):

Thank you!

I just worked out the exercise for myself. The clue I needed was "the relationship between the isomorphism of left adjoints and the isomorphism of right adjoints"; somehow I had forgotten that relationship existed.

As for the Beck-Chevalley condition, that's exactly what I was looking for. Thanks!

Notification Bot (May 10 2024 at 20:22):

finegeometer has marked this topic as resolved.