相关论文: Solution to Lawvere's first problem: a Grothendiec…

This paper introduces the notion of complete connectedness of a Grothendieck topos, defined as the existence of a left adjoint to a left adjoint to a left adjoint to the global sections functor, and provides many examples. Typical examples…

We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…

Grothendieck toposes, and by extension, logical theories, can be represented by topological structures. Butz and Moerdijk showed that every topos with enough points can be represented as the topos of sheaves on an open topological groupoid.…

We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of…

Butz and Moerdijk famously showed that every (Grothendieck) topos with enough points is equivalent to the category of sheaves on some topological groupoid. We give an alternative, more algebraic construction in the special case of a topos…

We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We…

We study various characterizations of higher sites over a given $\infty$-category $\mathcal{C}$ which are conceptually in line with their classical ordinary categorical counterparts, and extract some new results about $\infty$-topos theory…

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages,…

This paper gives a classification of classes of discrete dynamical systems (a set equipped with an endofunction) closed under finite limits and small colimits. The conclusion is simple: they bijectively correspond to the ideals of the…

Let $A$ be a commutative noetherian ring, containing a field $k$, with $1/2\in k$, $\dim A=d$, and let $P$ be a projective $A$-module or $rank(P)=n$. In continuation of \cite{MM}, we study Homotopy obstructions for $P$ to split off a free…

With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…

For any site of definition $\mathcal C$ of a Grothendieck topos $\mathcal E$, we define a notion of a $\mathcal C$-ary Lawvere theory $\tau: \mathscr C \to \mathscr T$ whose category of models is a stack over $\mathcal E$. Our definitions…

We define an elementary $\infty$-topos that simultaneously generalizes an elementary topos and Grothendieck $\infty$-topos. We then prove it satisfies the expected topos theoretic properties, such as descent, local Cartesian closure,…

In the topos of simplicial sets, it makes sense to ask the following question about a given natural number $n$: what is the minimum value $m$ such that $n$-skeletality implies $m$-coskeletality? This is an instance of the Aufhebung relation…

These notes were written for a presentation given at the university Paris VII in January 2012. The goal was to explain a proof of a famous theorem by P. Deligne about coherent topoi (coherent topoi have enough points) and to show how this…

This paper continues the study of the homotopy theory of algebras over polynomial monads initiated by the first author and Clemens Berger. We introduce the notion of a quasi-tame polynomial monad (generalizing tame ones) and produce…

Let $M$ be a monoid that is embeddable in a group. We consider the topos $\mathbf{PSh}(M)$ of sets equipped with a right $M$-action, and we study the subtoposes that are of monoid type, i.e. the subtoposes that are again of the form…

This paper has two parts. First, we recall and detail the definition of the Grothendieck topos of a connectivity space, that is the topos of sheaves on such a space. In the second part, we prove that every finite connectivity space is…

Moerdijk's site description for equivariant sheaf toposes on open topological groupoids is used to give a proof for the (known, but apparently unpublished) proposition that if H is a strictly full subgroupoid of an open topological groupoid…

We introduce the notion of $n$-pure geometric morphism between Grothendieck toposes, over a Grothendieck base topos $\mathcal{T}$. This is a higher-dimensional analogue of the concepts of dense and pure geometric morphism. We extend the…