Related papers: A controlled-topology proof of the product structu…

We construct secondary cup and cap products on coarse (co-)homology theories from given cross and slant products. They are defined for coarse spaces relative to weak generalized controlled deformation retracts. On ordinary coarse…

In this paper we deal with verification of safety properties of parameterized systems with a tree topology. The verification problem is translated to a purely logical problem of finding a finite countermodel for a first-order formula, which…

The h-cobordism theorem is a noted theorem in differential and PL topology. A generalization of the h-cobordism theorem for possibly non simply connected manifolds is the so called s-cobordism theorem. In this paper, we prove semialgebraic…

Controlled algebra plays a central role in many recent advances in geometric topology. This paper studies the iteration construction that was present from the very origins of the theory but started being exploited only recently. We develop…

The theory of unified product and extending structures for alternative and pre-alternative algebras are developed. It is proved that the extending structures of these algebras can be classified by using some non-abelian cohomology and…

The group of compactly supported homeomorphisms on a Tychonoff space can be topologized in a number of ways, including as a colimit of homeomorphism groups with a given compact support, or as a subgroup of the homeomorphism group of its…

This paper develops new tools for understanding surfaces with more than one end (and usually, of infinite topology) which properly minimally embed into Euclidean three-space. On such a surface, the set of ends forms a compact Hausdorff…

We consider controllability for divergence-free systems that have a conserved quantity and satisfy a H\"ormander condition. It is shown that such systems are controllable, provided that the conserved quantity is a proper function. The proof…

Product structure theorems are a collection of recent results that have been used to resolve a number of longstanding open problems on planar graphs and related graph classes. One particularly useful version states that every planar graph…

This paper provides a full controlled version of algebraic $K$-theory. This includes a rich array of assembly maps; the controlled assembly isomorphism theorem identifying the controlled group with homology; and the stability theorem…

Let $M$ be a closed manifold that admits a self-cover $p:M \to M$ of degree >1. We say p is strongly regular if all its iterates are regular covers. In this case, we establish an algebraic structure theorem for the fundamental group of $M$:…

In a recent article by Farah and the authors, a strong lifting theorem was proved for a class of coordinate-respecting maps between reduced products of discrete structures, hereby working under mild Forcing Axioms. We generalise this…

We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axioms, besides the Kuratowski closure axioms, are a `product…

It is first shown that a smooth controllable system on a compact manifold is finite time controllable. The technique of proof is close to the one of Sussmann's orbit theorem, and no rank condition is required. This technique is also used to…

A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…

In a series of three papers we develop an end space theory for digraphs. Here in the second paper we introduce the topological space $|D|$ formed by a digraph $D$ together with its ends and limit edges. We then characterise those digraphs…

Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum…

Let $\mathcal{P}_G$ be the family of all topologically mixing, but not exact self-maps of a topological graph $G$. It is proved that the infimum of topological entropies of maps from $\mathcal{P}_G$ is bounded from below by $(\log 3/…

Influence diagram is a graphical representation of belief networks with uncertainty. This article studies the structural properties of a probabilistic model in an influence diagram. In particular, structural controllability theorems and…

We introduce the notion of a crossed product of an algebra by a coalgebra $C$, which generalises the notion of a crossed product by a bialgebra well-studied in the theory of Hopf algebras. The result of such a crossed product is an algebra…