Related papers: On the dependent product in toposes

In present paper we develop categorical formalism of Verdier duality for diagrams of topoi. We use this approach to construct Grothendieck six operations formalism.

This is a survey on the geometry of warped products, without, or essentially with only soft, calculation. Somewhere in the paper, the goal was to give a synthetic account since existing approaches are rather analytic. Somewhere else, we…

Given a symmetric monoidal category $C$ with product $\sqcup$, where the neutral element for the product is an initial object, we consider the poset of $\sqcup$-complemented subobjects of a given object $X$. When this poset has finite…

We undertake a local analysis of combinatorial independence as it connects to topological entropy within the framework of actions of sofic groups.

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…

We give two examples of a finitely generated subgroup of a free group and a subset, closed in the profinite topology of a free group, such that their product is not closed in the profinite topology of a free group.

There is a well-established homotopy theory of simplicial objects in a Grothendieck topos, and folklore says that the weak equivalences are axiomatisable in the geometric fragment of $L_{\omega_1, \omega}$. We show that it is in fact a…

We introduce topological notions of polytopes and simplexes, the latter being expected to play in p-adically closed fields the role played by real simplexes in the classical results of triangulation of semi-algebraic sets over real closed…

We establish the preservation of the way-below relation with respect to the tensor product.

Opetopes are algebraic descriptions of shapes corresponding to compositions in higher dimensions. As such, they offer an approach to higher-dimensional algebraic structures, and in particular, to the definition of weak $\omega$-categories,…

We propose for the Effective Topos an alternative construction: a realisability framework composed of two levels of abstraction. This construction simplifies the proof that the Effective Topos is a topos (equipped with natural numbers),…

We revisit the work of To\"en--Vezzosi and Lurie on Grothendieck topologies, using the new tools of acyclic classes and congruences. We introduce a notion of extended Grothendieck topology on any $\infty$-topos, and prove that the poset of…

Working in the soft-element (classical) viewpoint, we introduce \emph{soft bitopological groups}: soft groups endowed with two soft topologies such that the induced topologies on the set of soft elements make the soft-element group into a…

Adopting a purely group-theoretical point of view, we consider the star product of functions which is associated, in a natural way, with a square integrable (in general, projective) representation of a locally compact group. Next, we show…

Let $f\colon M\to M$ be an expansive homeomorphism with dense topologically hyperbolic periodic points, $M$ a compact manifold. Then there is a local product structure in an open and dense subset of $M$. Moreover, if some topologically…

We establish a bi-equivalence between the bi-category of topoi with enough points and a localisation of a bi-subcategory of topological groupoids

We show that the existence of rational points on smooth varieties over a field can be detected using homotopy fixed points of etale topological types under the Galois action. As our main example we show that the surjectivity statement in…

We introduce decomposition complexes of posets, which generalize order complexes. The main advantage of our construction is that decomposition complexes are closed under taking products. Other special instances of this theory include nested…

For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…

Our main theorem classifies the Auslander-Reiten triangles according to properties of the morphisms involved. As a consequence, we are able to compute the mapping cone of an irreducible morphism. We finish by showing a technique for…