Timeline for What propositions about sets can be transfered to propositions about a presheaf category?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 7, 2012 at 16:55 | comment | added | Spice the Bird | Todd and Neil: Thank You for your comments. | |
| Mar 7, 2012 at 8:47 | comment | added | Neil Strickland | Another thing you can say is that every presheaf category is a topos, so anything you can prove in the internal language of topoi will be valid there. This leads into a long story about categorical logic - the Wikipedia page is a reasonable entry point. | |
| Mar 7, 2012 at 2:34 | comment | added | Todd Trimble | If the statement can be formulated in terms of predicates of the form "diagram $C$ is a limit cone", "diagram $D$ is a colimit cocone", then it will be true in presheaf categories iff it is true in $Set$. This applies for instance to your monomorphism statement. | |
| Mar 7, 2012 at 2:18 | history | edited | Spice the Bird | CC BY-SA 3.0 |
edited title
|
| Mar 7, 2012 at 2:12 | history | asked | Spice the Bird | CC BY-SA 3.0 |