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 set-theory
Search options not deleted
user 118688
forcing, large cardinals, descriptive set theory, infinite combinatorics, cardinal characteristics, forcing axioms, ultrapowers, measures, reflection, pcf theory, models of set theory, axioms of set theory, independence, axiom of choice, continuum hypothesis, determinacy, Borel equivalence relations, Boolean-valued models, embeddings, orders, relations, transfinite recursion, set theory as a foundation of mathematics, the philosophy of set theory.
3
votes
1
answer
342
views
Is the notion of a 2-category introduced to fix/forget the size issues in the definition of ...
A category $\mathcal{C}$ consists of pair of classes $(\mathcal{C}_0, \mathcal{C}_1)$, along with maps $$\mathcal{C}_1\times_{\mathcal{C}_0}\mathcal{C}_1\rightarrow
\mathcal{C}_1\rightrightarrows \mat …
- 6,023
0
votes
Grothendieck topology for a non-small category
Over a large site there is in general no sheafification functor
https://ncatlab.org/nlab/show/sheafification. For how to get around
this, the keyword is dense subsite
https://ncatlab.org/nlab …