4
$\begingroup$

I do believe it is a trivial question. But unfortunately I don't know where I can find an answer.

Where could I find the answer to the following question?

If $S$ is a small category and $X$ is a quasi-topos, is $\operatorname{Fun} (S, X)$ a quasi-topos? If the answer is "no", what would be a nice counterexample? Would it be PsTop?

$\endgroup$
2
  • 1
    $\begingroup$ Do you know the book 'Higher Topos Theory'? It might have an answer in there. arxiv.org/abs/math/0608040 $\endgroup$
    – Berci
    Jun 17, 2014 at 20:26
  • 2
    $\begingroup$ @Berci Do you know what a quasitopos is? It's not a quasicategory! $\endgroup$
    – Zhen Lin
    Jun 17, 2014 at 20:36

0

You must log in to answer this question.

Browse other questions tagged .