Search Results
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 |
This tag is used if a reference is needed in a paper or textbook on a specific result.
34
votes
1
answer
5k
views
Freyd-Mitchell's embedding theorem
Freyd–Mitchell's embedding theorem states that: if $A$ is a small abelian category, then there exists a ring R and a full, faithful and exact functor $F\colon A \to R\text{-}\mathrm{Mod}$.
I have been …
24
votes
6
answers
5k
views
A good place to read about uniform spaces
I'd like to learn a bit about uniform spaces, why are they useful, how do they arise, what do they generalize, etc., without getting away from the context of general topology. I have to prepare an 1h3 …
10
votes
1
answer
2k
views
Different forms of compactness and their relation
Given a topological space X one can define several notion of compactness:
X is compact if every open cover has a finite subcover.
X is sequentially compact if every sequence has a convergent subsequ …
2
votes
The best text to study both incompleteness theorems
If you can read Spanish, an excellent text which both formally proves and philosophically treats both Incompleteness theorems is Carlos Ivorra Castillo's "Lógica y teoría de conjuntos" which is freely …