Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The axioms of category theory arise in many contexts

  • structures and maps between them

  • structures and interpretations between them

  • theories and interpretations between them

  • theories and proofs between them

  • states and processes between them

  • words (as input/output) and programs (automata, algorithms) "between" them

  • points in a geometric space and paths between them (→ Feynman's path integrals?)

  • structures representing other structures, i.e. with representations between them (representation not only in the representation theoretic sense, but in a more general one)

I am looking for more examples of this kind.

share|improve this question

closed as not a real question by Thomas, Hagen von Eitzen, Norbert, rschwieb, Arkamis Oct 22 '12 at 15:09

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.