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 infinity-topos-theory
Search options answers only
not deleted
user 381
25
votes
Accepted
Forcing in Homotopy Type Theory
In as far as we regard forcing as forming internal sheaves, the question is asking how to say "internal category of sheaves" in homotopy type theory.
It is expected that this works in directed analo …
- 19.8k
19
votes
Accepted
Learning higher differential geometry
You seem to be asking about my $n$Lab entries on higher differential geometry and related. I have now added there a
commented References section
with some pointers. See there for an extended and …
- 19.8k
14
votes
Accepted
$\infty$-categorical interpretation of type theory
Mike Shulman has a good discussion of what exactly needs to be shown in his
Michael Shulman, "The univalence axiom for inverse diagrams" (arXiv:1203.3253)
The issue is that in the type theory the …
- 19.8k
10
votes
Accepted
Examples of differential cohomology in cohesive $\infty$ topos
If we consider just shape modality "$\Pi$" (or "ʃ") and flat modality $\flat$ (which are sufficient for the differential cohomology hexagon, then the traditional arithmetic fracture squares are the le …
- 19.8k