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 | |
Results tagged with big-picture
Search options not deleted
user 14969
Questions designed to get an overview of a specific subject or body of results or to understand the relations among similar definitions, techniques or concepts appearing in different sub-fields of mathematics. While such questions by their very nature sometimes cannot be made very narrow and focused, it can be helpful to keep in mind that the design of MathOverflow does not make it a good fit for questions that are too broad.
1
vote
Accepted
Understanding the reason for the particular formulation of the definition of a concrete refl...
I suppose that there are possibly many different answer to this question. Here is the one I got.
Being a reflector is equivalent to being an inclusion that has a left adjoint.
In general being a co …
- 3,349
9
votes
Why did Voevodsky consider categories "posets in the next dimension", and groupoids the corr...
I cannot say what exactly Voevodsky meant but here is a wild guess.
Disclaimer in what follows I use heavily type theoretic notation, so you have trouble understanding feel free to ask in the comment …
- 3,349
3
votes
Category theory and model theory as "natural" counterparts
I'm not an expert in model theory anyway I'll try to answer your questions.
From what I get your problem come from the fact that both model theory and category theory are related with the study of st …
- 3,349