# Tagged Questions

**5**

votes

**1**answer

105 views

### Do non-subcanonical Grothendieck topologies always induce a category of fractions?

Suppose that $\mathscr{C}$ is a (possibly higher) category and $J$ is a Grothendieck topology which is not subcanonical. Denote the composite
$$\mathscr{C} \hookrightarrow ...

**3**

votes

**0**answers

108 views

### When does prolongation preserve sheaves?

Suppose that $(C,J)$ and $(D,K)$ are two Grothendieck (possibly $\infty$-)sites and $f:C \to D$ is a functor such that $$f^*:Psh(D) \to Psh(C)$$ sends sheaves to sheaves. Under what conditions will ...

**5**

votes

**0**answers

82 views

### Non-degenerate limits of topoi

Let $\mathcal{E}$ be an elementary topos with natural numbers object $\mathbb{N}$, and let $\mathbb{C}$ be a cofiltered internal category in $\mathcal{E}$. Suppose we have a diagram of shape ...

**2**

votes

**0**answers

125 views

### Cloven Kan fibrations

For each groupoid $G$ there is a monad such that the cloven fibred groupoids over $G$ are algebras for this monad. I am looking for an infinite dimensional counterpart: a monad on simplicial sets ...

**7**

votes

**1**answer

208 views

### Are topoi and etale geometric morphisms locally small?

This question is related to this one: Local smallness and (higher) topoi which has not yet been answered.
The $2$-category of topoi and geometric morphisms is not locally small. (As I mentioned in ...

**9**

votes

**1**answer

332 views

### Local smallness and (higher) topoi

The $2$-category of topoi and geometric morphisms is not locally small. For example, if $A$ is the classifying topos for abelian groups, the category of geometric morphisms from $Set$ to $A$ is ...

**3**

votes

**0**answers

249 views

### In the topos-theoretic interpretation of Physics by Isham & Doering what role does intuitionistic logic play? [closed]

I've asked this question on Physics.SE but was advised to ask it here.
Isham & Doering have written a series of papers exploring how to ground physics in topoi. Now the internal logic of topoi is ...

**16**

votes

**1**answer

2k views

### Is Lemma A.1.5.7 in Higher Topos Theory correct?

Hello to everyone,
I am studying the properties of combinatorial model categories, following the exposition given by Jacob Lurie in Higher Topos Theory ([HTT] from now on), in section A.2.6.
At some ...

**5**

votes

**2**answers

308 views

### Is the site of (smooth) manifolds hypercomplete?

By site of manifolds Man, I mean the category of manifolds (maybe submanifolds to obtain a small category) with continuous maps between them. A Grothendieck topology is given by open covers. Actually, ...

**4**

votes

**1**answer

291 views

### What is a higher derived constructible sheaf

Suppose $X$ is a topological space and $k$ some discrete coefficient field. Let's define the category of "$\infty$-local systems on $X$" to be DG representations of the ring $C_*(\Omega X,k)$ of ...

**9**

votes

**1**answer

721 views

### Are there non-categorical notions in topos theory?

Suppose that $\mathcal{T}$ is an abstract $2$-category we know is equivalent to the $2$-category of Grothendieck topoi via some equivalence $$\phi:\mathcal{T} \to \mathfrak{Top},$$ and let $E$ be an ...

**20**

votes

**4**answers

1k views

### What is an $(\infty,1)$-topos, and why is this a good setting for doing differential geometry?

In this post on the n-Category Café, Urs Schreiber says that, "The theory of G-principal bundles makes sense in any $(\infty,1)$-topos." I followed the link to the nLab and tried to chase definitions, ...

**10**

votes

**1**answer

851 views

### How much do universes matter in topos theory?

Suppose we fix two Grothendieck universes $\mathcal{U} \in \mathcal{V}.$ Then one has that $\mathcal{U}$-$\mathbf{Set},$ the category of $\mathcal{U}$-small sets, is a locally $\mathcal{U}$-small, ...

**7**

votes

**0**answers

423 views

### Where else has Proposition B1.3.17 in the Elephant been proved?

(I asked the same question here and got some helpful comments, but thought I'd re-ask in case I get a more direct response.)
This is a sort of reference request. Proposition B1.3.17 in Johnstone's ...

**7**

votes

**2**answers

431 views

### Canonical topology for infinity topoi revisited.

A while ago I asked this quetion: Canonical topology for big infinity topoi
and this question: How to resolve size issues with the regular epimorphism topology
Let me first summarize some of what I ...

**3**

votes

**2**answers

310 views

### Cartesian cubes and groupoids

Given a groupoid $G,$ one can consider the canonical epimorphism $$G_0 \to G.$$ Since it is an epimorphism in the $2$-topos of groupoids, $G$ is the weak colimit of the corresponding Cech diagram ...

**9**

votes

**0**answers

502 views

### Cohesive ∞-toposes for analytic geometry

There is a class of big ∞-toposes that come with a good supply of intrinsic notions of differential geometry and differential cohomology: called cohesive ∞-toposes (after Lawvere's cohesive toposes).
...

**6**

votes

**0**answers

174 views

### Canonical topology for big infinity topoi

It is well known that for $E$ a Grothendieck topos, (by appropriately making use of universes) $E$ carries the canonical Grothendieck topology generated by jointly surjective epimorphisms, say $J$, ...

**10**

votes

**3**answers

1k views

### $\omega$-topos theory?

I've been reading through Lurie's book on higher topos theory, where he develops the theory of $(\infty,1)$-toposes, which leads me to the following question: Is there any sort of higher topos theory ...