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.
Daniel Teixeira (May 09 2024 at 13:35):I was trying to prove that right adjoints between locally presentable categories are accessible i.e. preserve filtered colimits. But this is silly and proving that right adjoints in general preserve colimits in general :melt: , where is the mistake?
(then yoneda)
Frank Tsai (May 09 2024 at 13:52):Unless is tiny, the first equation does not hold: the hom functor sends colimits in the first variable and limits in the second variable to limits.
Daniel Teixeira (May 09 2024 at 13:54):I see ty, that my lead to the solution of what I wanted too