Timeline for Comparing discrete fibrations and their duals
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 13, 2011 at 19:22 | comment | added | Finn Lawler | Very interesting ideas, but for now my brain starts to hurt somewhere between n=2 and n=3... Luckily I think that in the case I'm considering here, because the base bicategories are locally discrete, I can get away with fibrations in Cat. | |
| May 13, 2011 at 13:23 | comment | added | Mike Shulman | A few thoughts related to defining fibrations of 2-categories internally to Bicat can be found here: ncatlab.org/michaelshulman/show/n-topos+for+large+n. | |
| May 12, 2011 at 1:50 | vote | accept | Finn Lawler | ||
| May 11, 2011 at 12:12 | answer | added | Steve Lack | timeline score: 2 | |
| May 9, 2011 at 12:51 | history | asked | Finn Lawler | CC BY-SA 3.0 |