Timeline for The category of posets
Current License: CC BY-SA 3.0
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 21, 2018 at 13:08 | comment | added | Musa Al-hassy | See the text Category Theory as Coherently Constructive Lattice Theory Working, www.cs.nott.ac.uk/~psarb2/MPC/CatTheory.ps.gz, which introduces category theory from the point of view of order theory ;) | |
| Jun 30, 2017 at 13:49 | history | edited | Martin Sleziak | CC BY-SA 3.0 |
corrected typo
|
| Oct 15, 2015 at 21:39 | comment | added | Liviu Nicolaescu | Q nice survey by Anders Bjorner people.kth.se/~bjorner/files/TopMeth.pdf | |
| Sep 29, 2012 at 15:55 | vote | accept | Gejza Jenča | ||
| Mar 19, 2012 at 14:56 | answer | added | o a | timeline score: 3 | |
| Mar 16, 2012 at 22:35 | comment | added | Turbo | Is there a Fourier transform in the category? | |
| Mar 16, 2012 at 17:47 | history | edited | Gejza Jenča | CC BY-SA 3.0 |
a typo
|
| Mar 16, 2012 at 17:36 | answer | added | Camilo Sarmiento | timeline score: 12 | |
| Mar 16, 2012 at 17:29 | answer | added | Jizhan Hong | timeline score: 14 | |
| Mar 16, 2012 at 17:20 | comment | added | Martin Brandenburg | @Todd: Sure - I just wanted to indicate that this terminology does not fit to the usual meaning of categorification. | |
| Mar 16, 2012 at 17:06 | answer | added | Martin Brandenburg | timeline score: 24 | |
| Mar 16, 2012 at 16:47 | comment | added | Gejza Jenča | @Martin Brandenburg: Maybe I misused the word "categorification": in the non-categorial mathematical literature a poset is a set (a 0-category) and the definition in my question is a 1-category: the elements become objects and the relations become arrows. It seems to me that your definition climbs one step higher. | |
| Mar 16, 2012 at 16:34 | comment | added | Todd Trimble | Martin, I don't think he's using the word "categorified" in that sense -- he just means he's making or considering the poset a category. (-ify meaning generally, "to make") | |
| Mar 16, 2012 at 16:19 | comment | added | Martin Brandenburg | I don't agree with your definition of a categorified poset. I think this should rather be a $2$-category such that each hom-category is equivalent to the final category or empty (since a poset is a category such that each hom-set is a point or empty), or something similar. The process of categorification means that you "climb up" one abstraction level, not just identifiying something below with something above. | |
| Mar 16, 2012 at 16:10 | answer | added | Malte | timeline score: 9 | |
| Mar 16, 2012 at 16:05 | answer | added | Peter May | timeline score: 38 | |
| Mar 16, 2012 at 16:00 | comment | added | Charles Matthews | I would guess that you would learn more by working out what the definitions mean in this simple case, than by looking up answers. | |
| Mar 16, 2012 at 15:53 | history | asked | Gejza Jenča | CC BY-SA 3.0 |