Timeline for Adjusting the definition of a well-powered category to category theory with universes: size issues
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Mar 9, 2020 at 9:44 | history | edited | YCor |
edited tags
|
|
| Oct 24, 2019 at 7:05 | vote | accept | Jxt921 | ||
| Oct 21, 2019 at 17:59 | answer | added | Peter LeFanu Lumsdaine | timeline score: 7 | |
| Oct 21, 2019 at 14:33 | comment | added | Dmitri Pavlov | Definition 4.6.8 in Riehl's book says: A subobject of an object c ∈ C is a monomorphism c′ ↣ c with codomain c. Isomorphic subobjects, that is, subobjects c′ ↣ c ↢ c′′ with a commuting isomorphism c′ ≅ c′′, are typically identified. | |
| Oct 20, 2019 at 20:01 | history | edited | Tim Campion | CC BY-SA 4.0 |
The previous title was ungrammatical. I have edited it with a guess at the intended meaning. If I guessed incorrectly, please correct.
|
| Oct 20, 2019 at 19:06 | history | became hot network question | |||
| Oct 20, 2019 at 14:59 | answer | added | Dmitri Pavlov | timeline score: 2 | |
| Oct 20, 2019 at 12:53 | comment | added | David White | I found it hard to figure out what you were actually answering, so I might recommend highlighting the actual question in the future. By the way, can you say where in Riehl's book she defines a subobject to be any monomorphism? | |
| Oct 20, 2019 at 12:45 | history | edited | David White | CC BY-SA 4.0 |
Fixed minor typos to this new question
|
| Oct 20, 2019 at 11:25 | history | edited | Jxt921 | CC BY-SA 4.0 |
deleted 421 characters in body
|
| Oct 20, 2019 at 11:16 | answer | added | Andrej Bauer | timeline score: 8 | |
| Oct 20, 2019 at 11:05 | history | asked | Jxt921 | CC BY-SA 4.0 |