Related papers: Toposes over which essential implies locally conne…

We generalize toposic Galois theory to higher topoi. We show that locally constant sheaves in a locally (n-1)-connected n-topos are equivalent to representations of its fundamental pro-n-groupoid, and that the latter can be described in…

It is proved that for any Grothendieck site $X$, there exists a coreflection (called $\mathbf{cosheafification}$) from the category of precosheaves on $X$ with values in a category $\mathbf{K}$, to the full subcategory of cosheaves,…

We introduce the notion of relative topological principality for a family $\{H_\alpha\}$ of open subgroupoids of a Hausdorff \'etale groupoid $G$. The C*-algebras $C^*_r(H_\alpha)$ of the groupoids $H_\alpha$ embed in $ C^*_r(G)$ and we…

In this short note, a topos - called the topos of the connectivity space - is associated with every such space.

This article introduces strongly proximal continuous (s.p.c.) functions, strong proximal equivalence (s.p.e.) and strong connectedness. A main result is that if topological spaces $X,Y$ are endowed with compatible strong proximities and…

We discuss the finiteness of the topological entropy of continuous endomorphims for some classes of locally compact groups. Firstly, we focus on the abelian case, imposing the condition of being compactly generated, and note an interesting…

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…

This paper is motivated by questions such as P vs. NP and other questions in Boolean complexity theory. We describe an approach to attacking such questions with cohomology, and we show that using Grothendieck topologies and other ideas from…

Let $X$ be a compact K\"ahler manifold. The set $\cha(X)$ of one-dimensional complex valued characters of the fundamental group of $X$ forms an algebraic group. Consider the subset of $\cha(X)$ consisting of those characters for which the…

We say that binary relation E on a space X is a clopen graph on X iff E is symmetric and irreflexive and clopen relative to X x X minus its diagonal. Equivalently for distinct x, y in X there are open sets U,V with (x,y) in U x V and either…

For Cartan geometries admitting automorphisms with isotropies satisfying a particular, loosely dynamical property on their model geometries, we demonstrate the existence of an open subset of the geometry with trivial holonomy. This…

Given a small simplicial category $\C$ whose underlying ordinary category is equipped with a Grothendieck topology $\tau$, we construct a model structure on the category of simplicially enriched presheaves on $\C$ where the weak…

We offer a counterexample to a theorem in the literature and then repair the theorem as follows: The fundamental group of a locally path connected metric space inherits the discrete topology in a natural way if and only if the underlying…

Topological groups whose underlying spaces are basically disconnected, $F$-, or $F'$-spaces but not $P$-spaces are considered. It is proved, in particular, that the existence of a Lindel\"of basically disconnected topological group which is…

In this note a notion of generalized topological entropy for arbitrary subsets of the space of all sequences in a compact topological space is introduced. It is shown that for a continuous map on a compact space the generalized topological…

Let $f : X\to X$ be a dominating meromorphic map on a compact K\"ahler manifold $X$ of dimension $k$. We extend the notion of topological entropy $h^l_{\mathrm{top}}(f)$ for the action of $f$ on (local) analytic sets of dimension $0\leq l…

Generalizations of the theorems of Eberlein and Grothendieck on the precompactness of subsets of function spaces are considered: if $X$ is a countably compact space and $C_p(X)$ is a space of continuous functions in the pointwise topology…

We show that there is a topology on certain groups of loops in Euclidean space such that these groups are embedded in a Fr\'echet-Lie group which is the structural group of a principal bundle with connection whose holonomy coincides with…

We present a general result about generating group topologies by pseudo-norms. Namely, we show that if a topology has a base of sets which are closed in a certain sense, then it can be generated by a collection of pseudo-norms such that the…

Locally ordered spaces can be used as topological models of concurrent programs: the local order models the irreversibility of time during execution. Under certain conditions, one can even work with locally ordered manifolds. In this paper,…