Timeline for Functoriality of the adjoint functor construction?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 6, 2014 at 5:34 | answer | added | Mike Shulman | timeline score: 2 | |
| Nov 27, 2014 at 0:21 | comment | added | Dylan Wilson | It seems like what you're asking is the following: "Suppose I have a cartesian fibration which is locally cocartesian, is it also cocartesian?" The answer to that question is "yes", but I may be misunderstanding your question. | |
| Nov 26, 2014 at 23:48 | comment | added | Zhen Lin | What does "2-functorial in $\mathcal{A}$" mean? Do you mean a 2-functor $\mathfrak{Cat} \to \mathfrak{Cat}_{/ \mathcal{A}}$, where $\mathfrak{Cat}_{/ \mathcal{A}}$ is the strict slice 2-category? Or some other variation? | |
| Nov 26, 2014 at 23:19 | comment | added | Fernando Muro | Uniqueness of adjoints gives pseudo-functoriality. | |
| Nov 26, 2014 at 23:05 | history | asked | Jason Gross | CC BY-SA 3.0 |