Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 4692

Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.

1 vote

What are the advantages of phrasing results in terms of exact sequences and commutative diag...

(too many characters for me to leave a comment on Emerton's answer): I was asking why are elementary theorems phrased in this language and why is this language used at all. The question was caused by …
teil's user avatar
  • 4,351
3 votes
4 answers
3k views

Reference request for category theory works which quickly prove the theorem which generalise...

One aspect of category theory that caught my eye is that it can give simultaneously prove the 1st isomorphism theorem for groups/rings/fields/vector spaces/... Yet whenever I look up works on category …
teil's user avatar
  • 4,351
22 votes
8 answers
4k views

What are the advantages of phrasing results in terms of exact sequences and commutative diag...

For example, I find the first group isomorphism theorem to be vastly more opaque when presented in terms of commutative diagrams and I've had similar experiences with other elementary results being ex …
teil's user avatar
  • 4,351