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 3634
31 votes

Main statement as theorem or corollary

Another approach is to present both as theorems, but to present only A as a `marquee result' in the introduction, mentioning that it follows from the stronger but more technical B.
Jeff Strom's user avatar
  • 12.5k
8 votes

What does the adjective "natural" actually mean?

According to Mac Lane (as I remember it from Categories for the Working Mathematician), Eilenberg and Mac Lane invented categories so they could talk about functors, and they wanted to talk about fun …
Jeff Strom's user avatar
  • 12.5k
58 votes

Can a mathematical definition be wrong?

I was involved in such a case. My thesis advisor (S. Husseini) and his coauthor (E. Fadell) defined the "category weight" of a cohomology class in a way that allowed them to prove the theorem they wa …
Jeff Strom's user avatar
  • 12.5k