Timeline for A morphism-revealing category?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 17, 2016 at 9:06 | vote | accept | Lehs | ||
| Jul 7, 2016 at 9:39 | |||||
| Feb 16, 2016 at 20:55 | comment | added | Musa Al-hassy | @NoamZeilberger nice intro to bifibrations xD | |
| Feb 16, 2016 at 18:58 | comment | added | Noam Zeilberger | I'm not quite sure what you mean by "revealed morphism", but I think the idea you are getting at is that many concrete categories can be embedded into the subset bifibration in a functorial way. I added a bit more clarification to the answer. | |
| Feb 16, 2016 at 18:51 | history | edited | Noam Zeilberger | CC BY-SA 3.0 |
suggest the general setup for concrete categories
|
| Feb 16, 2016 at 17:13 | history | edited | Noam Zeilberger | CC BY-SA 3.0 |
fixed variance
|
| Feb 16, 2016 at 17:02 | history | answered | Noam Zeilberger | CC BY-SA 3.0 |