1
$\begingroup$

I was thinking about the famous question in philosophy of mathematics: "When are two proofs the same?" and I was wondering if we could somehow "classify" proofs by establishing some sort of functorial relationship between proofs and other mathematical objects which we can classify (like for example, surfaces; my initial idea was to somehow capture the logical structure of a proof in a graph and then classify graphs by their topological structure). I searched MO and found this interesting post which contained some similar ideas.

However, I was wondering if we can come up with a list of examples of classification problems in mathematics which have been answered using category theoretic tools by functorially "translating" the original problem into a different category in which we can classify the corresponding objects... and everything works in a nice way. The natural place to start is obviously algebraic topology.

$\endgroup$

closed as too broad by Stefan Kohl, Andrey Rekalo, Chris Godsil, j.c., Carlo Beenakker Nov 6 '13 at 13:06

Please edit the question to limit it to a specific problem with enough detail to identify an adequate answer. Avoid asking multiple distinct questions at once. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

  • 3
    $\begingroup$ And I wonder whether this should be CW... $\endgroup$ – David Roberts Oct 26 '10 at 4:28
  • 2
    $\begingroup$ I think this is a too broad question. There are too many examples for this paradigm of translating classifications (lie groups -> lie algebras, complex manifolds -> complex varieties, field extensions -> groups, etc.), I don't know if such a big list will be an enrichment. $\endgroup$ – Martin Brandenburg Oct 26 '10 at 9:02
1
$\begingroup$

I suppose the first one on a number of people's minds is moduli spaces. More specifically, we can in Top form a moduli space (of curves, say), but not in the category of schemes. Thus stacks were born...

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.