Timeline for A model category of abelian categories?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 8, 2016 at 3:46 | comment | added | john | Oops - all that "walking" stuff is a bit confusing. Yes the walking arrow is as you mentioned; the free isomorphism is the groupoid with two objects and a single morphism connecting each pair of objects in it. | |
| Aug 4, 2016 at 3:00 | comment | added | user84563 | Also, is the "free isomorphism" the groupoid with two objects? Sorry I'm not familiar with some terminology. | |
| Aug 4, 2016 at 2:44 | comment | added | user84563 | For clarification: you write "with M locally presentable as a 2-category (just amounts to its underlying category being locally presentable and it has cotensors with the walking arrow 2 - equally it is complete as a 2-category." Is the walking arrow the category $0\rightarrow 1$? Also is the property of being locally presentable and having cotensors with the walking arrow category equivalent to being complete as a 2-category? | |
| May 14, 2015 at 18:34 | review | Suggested edits | |||
| May 14, 2015 at 18:45 | |||||
| May 14, 2015 at 13:10 | history | answered | john | CC BY-SA 3.0 |