Related papers: Approximate Fibrations in Higher Topos Theory

Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the {\em computationally dense\/} ones) are seen to be the ones…

We develop a universal framework to study smooth higher orbifolds on the one hand and higher Deligne-Mumford stacks (as well as their derived and spectral variants) on the other, and use this framework to obtain a completely categorical…

We study approximations of theories both in general context and with respect to some natural classes of theories. Some kinds of approximations are considered, connections with finitely axiomatizable theories and minimal generating sets of…

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…

Rough set theory is a new mathematical approach to imperfect knowledge. The notion of rough sets is generalized by using an arbitrary binary relation on attribute values in information systems, instead of the trivial equality relation. The…

Let $k$ be a number field and let $T$ be a $k$-torus. Consider a fibration in torsors under $T$, i.e. a morphism $f: X \to \mathbb{P}^1_k$ from a smooth, projective $k$-variety $X$ to $\mathbb{P}^1_k$ such that the generic fibre $X_\eta \to…

We explore higher-form symmetries of M- and F-theory compactified on elliptic fibrations, determined by the topology of their asymptotic boundaries. The underlying geometric structures are shown to be equivalent to known characterizations…

For studying the local topology of maps, one uses deformations which split the singularities into simpler ones while preserving the general fibres. We give conditions under which such conservation holds.

Initiated by Gromov, the study of holomorphic curves in symplectic manifolds has been a powerfull tool in symplectic topology, however the moduli space of holomorphic curves is often very difficult to find. A common technique is to study…

We introduce the notion of topological hyperbolicity to characterize the largeness of the topological fundamental group of a complex variety. Inspired by the Shafarevich conjecture, we propose to study the topological hyperbolicity of…

Covering-based rough set theory is an extension to classical rough set. The main purpose of this paper is to study covering rough sets from a topological point of view. The relationship among upper approximations based on topological spaces…

This article mainly aims to overview the recent efforts on developing algebraic geometry for an arbitrary compact almost complex manifold. We review the results obtained by the guiding philosophy that a statement for smooth maps between…

This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to the study of higher versions of Grothendieck…

The work is motivated by the papers [Ba1], [Ba2], [Ba7], [Ba11], [Be] and [Be-Tu]. In particular, the strong homology groups of continuous maps were defined and studied in [Be] and [Be-Tu]. To show that given groups are homology type…

In the present paper we consider fibrations $f: S \ra B$ of an algebraic surface onto a curve $B$, with general fibre a curve of genus $g$. Our main results are: 1) A structure theorem for such fibrations in the case $g=2$ 2) A structure…

This survey describes some recent work, by the authors and others, on the existence of algebraic fibrations of group extensions, as well as the finiteness properties of their algebraic fibers, in the realm of both abstract and pro-$p$…

In this paper, we study equivariant Hurewicz fibrations, obtain their internal characteristics, and prove theorems on relationship between equivariant fibrations and fibrations generated by them. Local and global properties of equivariant…

Amorphous solids remain outside of the classification and systematic discovery of new topological materials, partially due to the lack of realistic models that are analytically tractable. Here we introduce the topological Weaire-Thorpe…

The theory of p-local compact groups, developed in an earlier paper by the same authors, is designed to give a unified framework in which to study the p-local homotopy theory of classifying spaces of compact Lie groups and p-compact groups,…

Using von Neumann algebras, we extend the theory of quantum computation on a graph to a theory of computation on an arbitrary topological space.