Timeline for Examples of categorification
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 27, 2010 at 21:39 | comment | added | David MJC | Quite right - that was a thinko on my part: I have most recently been interested in groupoidification, although the broader (and older) categorification was the first appeal to me. However this is a fortuitous illustration of an important point, which is that categorification, like quantization, is an art, not a functor, and what is "most natural" may depend on the context! If a set is viewed as a vector space with a canonical basis indexed by that set (or the dual of a vector space with such a canonical basis) then its groupoidification is a powerful idea in combinatorics! | |
| Oct 27, 2010 at 21:27 | history | edited | David MJC | CC BY-SA 2.5 |
Strike thinko per comments (but see comments!)
|
| Oct 26, 2010 at 16:11 | comment | added | Qiaochu Yuan | Isn't it more natural to take all functions as morphisms? The resulting category has initial objects, terminal objects, finite products, finite coproducts, and an exponential, which categorify 0, 1, multiplication, addition, and exponentiation respectively. | |
| Oct 25, 2010 at 23:54 | history | answered | David MJC | CC BY-SA 2.5 |