Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
An adjunction is a relation between two functors. But I have come across something that feels like a “adjunction between natural transformations”. Does this concept exist?
Required, but never shown
4 months ago