Timeline for Does $\bf pSet$ admit products?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 8, 2012 at 9:51 | vote | accept | fosco | ||
| Feb 8, 2012 at 9:47 | comment | added | fosco | Thank you Owen and Qiaochu! I suspected there was a link between the two categories ($\bf pSet$ admits a zero objects, which seems quite strange if you ignore that equivalence). | |
| Feb 7, 2012 at 23:28 | comment | added | Qiaochu Yuan | Yes, that's what Owen means when he says that $\text{pSet}$ is equivalent to the category of pointed sets. The equivalence takes a pointed set to the subset obtained by removing the distinguished point. | |
| Feb 7, 2012 at 23:27 | comment | added | Owen Biesel | Yes: just add a point to the source and target sets, then complete the partial function by sending every unassigned point (including the new source basepoint) to the target basepoint. Then when you "puncture" the sets again (nice word choice), you're left with the partial function you started with. | |
| Feb 7, 2012 at 23:24 | history | edited | Owen Biesel | CC BY-SA 3.0 |
added 375 characters in body
|
| Feb 7, 2012 at 23:21 | comment | added | fosco | Can any partial function be seen as a map between "punctured" sets? | |
| Feb 7, 2012 at 23:17 | history | answered | Owen Biesel | CC BY-SA 3.0 |