Bibliographic record
Abstract
The purpose of this writing is to explore the exact relationship running between geometric infinity-toposes and Mike Shulman's proposal for the notion of elementary 1-topos, and in particular we will focus on the set-theoretical strength of Shulman's axioms, especially on the last one dealing with dependent sums and products, in the context of geometric infinity-toposes. Heuristically, we can think of a collection of morphisms which has a classifier and is closed under these operations as a well-behaved internal universe in the infinity-category under consideration. We will show that this intuition can in fact be made to a mathematically precise statement, by proving that, once fixed a Grothendieck universe, the existence of such internal universes in geometric infinity-toposes is equivalent to the existence of smaller Grothendieck universes inside the bigger one. Moreover, a perfectly analogous result can be shown if instead of geometric infinity-toposes our analysis relies on ordinary sheaf toposes, although with a slight change due to the impossibility of having true classifiers in the infinity-dimensional setting. In conclusion, it will be shown that, under stronger assumptions positing the existence of intermediate-size Grothendieck universes, examples of elementary infinity-toposes with strong universes which are not geometric can be found.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
How this classification was reachedexpand
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.000 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.000 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.000 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from itClassification
machine, unvalidatedMachine predicted; a candidate call from one teacher head, not a consensus.
How this classification was reached, model by model and score by score, is at the end of the page under "How this classification was reached".