Related papers: On Supercompactly and Compactly Generated Toposes

Given a regular cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, we study a class of toposes with enough points, the $\kappa$-separable toposes. These are equivalent to sheaf toposes over a site with $\kappa$-small limits that has at…

We extend the classical (connected, etale) factorization of locally connected geometric morphisms into a (terminally connected, pro-etale) factorization for all geometric morphisms between Grothendieck topoi. We discuss properties of both…

Given an infinity-category C, one can naturally construct an infinity-category Fam(C) of families of objects in C indexed by infinity-groupoids. An ordinary categorical version of this construction was used by Borceux and Janelidze in the…

In the present paper, we show that many combinatorial and topological objects, such as maps, hypermaps, three-dimensional pavings, constellations and branched coverings of the two--sphere admit any given finite automorphism group. This…

We classify compact homogeneous geometries of irreducible spherical type and rank at least 2 which admit a transitive action of a compact connected group, up to equivariant 2-coverings. We apply our classification to polar actions on…

We define a class of subsets of a topological space that coincides with the class of compact saturated subsets when the space is sober, and with enough good properties when the space is not sober. This class is introduced especially in view…

In this survey article we provide an introduction to submanifold geometry in symmetric spaces of noncompact type. We focus on the construction of examples and the classification problems of homogeneous and isoparametric hypersurfaces, polar…

We give a general construction of topological groups from combinatorial structures such as trees, towers, gaps, and subadditive functions. We connect topological properties of corresponding groups with combinatorial properties of these…

We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We…

The goal of this paper is to address the problem of building a path object for the category of Grothendieck (weak) $\infty$-groupoids. This is the missing piece for a proof of Grothendieck's homotopy hypothesis. We show how to endow the…

We discuss some notions of compactness and convergence relative to a specified family F of subsets of some topological space X. The two most interesting particular cases of our construction appear to be the following ones. (1) The case in…

We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…

We define a special type of hypersurface varieties inside $\mathbb{P}_k^{n-1}$ arising from connected planar graphs and then find their equivalence classes inside the Gr\"othendieck ring of projective varieties. Then we find a…

Representations over diagrams of abelian categories unify quite a few notions appearing widely in literature such as representations of categories, presheaves of modules over categories, representations of species, etc. In this series of…

We introduce so-called cone topologies of paratopological groups, which are a wide way to construct counterexamples, especially of examples of compact-like paratopological groups with discontinuous inversion. We found a simple interplay…

We introduce a new class of locally compact groups, namely the strongly compactly covered groups, which are the Hausdorff topological groups $G$ such that every element of $G$ is contained in a compact open normal subgroup of $G$. For…

A paratopological group $G$ has a {\it suitable set} $S$. The latter means that $S$ is a discrete subspace of $G$, $S\cup \{e\}$ is closed, and the subgroup $\langle S\rangle$ of $G$ generated by $S$ is dense in $G$. Suitable sets in…

A topology is defined on the mapping class group of a compact connected orientable surface. It is shown that a notion of "genericity" on subsets of the mapping class group arises from this definition. Many plausible results follow from this…

We determine a particular class of Roter type warped product manifolds. We show that every manifold of that class admits a geodesic mapping onto a some Roter type warped product manifold. Moreover, both geodesically related manifolds are…

We construct a category that classifies compact Hausdorff spaces by their shape and finite topological spaces by their weak homotopy type.