Skip to main content

New answers tagged

2 votes
Accepted

How to verify that the unit and co-unit of an adjunction form morphisms of functors.

Welcome to the site. This is a bit confusing to prove for sure, but it gets less confusing once you use the Yoneda philosophy. We are given $\alpha:\mathcal{D}(FX,Z)\cong\mathcal{C}(X,GZ)$ natural in ...
FShrike's user avatar
  • 41.2k
7 votes
Accepted

Disproof of an adjoint functor theorem?

The adjoint functor theorem does not say that your right adjoint will necessarily preserve filtered colimits, but only $\kappa$-filtered colimits for some possibily huge $\kappa$, and this makes the ...
Daniël Apol's user avatar
  • 5,377

Top 50 recent answers are included