Timeline for Adjoints to change of base Functors
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 11 at 18:08 | history | became hot network question | |||
| Sep 11 at 15:35 | vote | accept | Siya | ||
| Sep 11 at 14:18 | history | edited | YCor | CC BY-SA 4.0 |
removed capitals from title
|
| Sep 11 at 13:14 | answer | added | varkor | timeline score: 4 | |
| Sep 11 at 12:49 | comment | added | David Roberts♦ | Just for a reference: dependent product is the right adjoint to pullback. The 'domain functor' d* looks to me to be Cat/E -> Cat/1 = Cat, (composition with E->1) which is the left adjoint to (-)xE: Cat -> Cat/E, hence d* always has a right adjoint. So this is asking whether p* having a right adjoint is equivalent to d^* p^* : Cat/B -> Cat/E -> Cat has a right adjoint, where we know d^* has one. This is a good general question to ponder even before talking about slices of Cat. | |
| Sep 11 at 10:21 | history | edited | Siya | CC BY-SA 4.0 |
I additionally asked if the answer to question would follow from the composition of adjunctions.
|
| Sep 11 at 10:09 | history | edited | Siya | CC BY-SA 4.0 |
edited body
|
| Sep 11 at 10:04 | history | asked | Siya | CC BY-SA 4.0 |