Timeline for Do generalizations of adjoint functors, such as adjunctions in 2-categories, and multivariable adjunctions, have formulations in terms of something like universal morphisms?
Current License: CC BY-SA 4.0
1 event
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 30, 2022 at 14:31 | history | answered | Max New | CC BY-SA 4.0 |