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 18702

This tag is used if a reference is needed in a paper or textbook on a specific result.

9 votes
1 answer
556 views

"'Category' was defined in order to define 'functor', which was defined in order to define '...

I am looking for the source (and original version) of the above oft-repeated quotation. Mac Lane mentions it in Categories for the Working Mathematician, attributing it to Eilenberg-Mac Lane; however, …
Yuri Sulyma's user avatar
  • 1,838
5 votes

Ways to prove the fundamental theorem of algebra

I don't have it on hand, but Ronald Solomon's Abstract Algebra has an interesting proof using symmetric polynomials and induction on the 2-adic valuation of the degree.
3 votes
2 answers
741 views

Localization of symmetric monoidal category

Let $\mathcal M$ be a symmetric monoidal category, $S\subset \mathcal M$ a collection of objects and morphisms. I would like to construct the localization $\mathcal M \mathop{\longrightarrow}^T \mathc …
Yuri Sulyma's user avatar
  • 1,838
1 vote

Is there a name for (pre)sheaves satisfying this transitivity condition?

I am not well-versed in these matters, but I believe Olivia Caramello uses something like this in her toposical formulation of Galois theory. See her paper and, if you can understand French, this brie …
Yuri Sulyma's user avatar
  • 1,838