Timeline for The $\mathfrak L$ functor on $\textsf{Prof}$
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 24, 2017 at 14:53 | comment | added | fosco | On a separate note, I'm able to "blindly" prove that $L(H \diamond K)^a_c \cong Nat(H^c, L(K)^a) = Ran_H L(K)^a_c$ as a right Kan extension in $\bf Prof$. Your explanation trivializes this result. | |
| Jan 24, 2017 at 14:51 | comment | added | fosco | Any reference exhibiting a feeble relation with this construction is welcome! This definition is part of a particularly "concrete" (provided "concrete" is the right adjective here :-) ) construction when $\cal V = $chain complexes or, better, a simplicially co/tensored model category. | |
| Jan 24, 2017 at 14:27 | comment | added | Todd Trimble | Thanks! I'm not sure where in the literature this type of thing would be, but I'm sure it's there somewhere. | |
| Jan 24, 2017 at 8:06 | comment | added | fosco | That's what I call an answer! | |
| Jan 24, 2017 at 8:06 | vote | accept | fosco | ||
| Jan 24, 2017 at 1:51 | history | edited | Todd Trimble | CC BY-SA 3.0 |
added 1 character in body
|
| Jan 24, 2017 at 1:39 | history | answered | Todd Trimble | CC BY-SA 3.0 |