Related papers: Scott-Karp analysis without sentences
Using the completed inductive, projective and injective tensor products of Grothendieck for locally convex topological vector spaces, we develop a systematic theory of locally convex Hopf algebras with an emphasis on Pontryagin-type…
Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…
We construct a finite-dimensional algebra derived equivalent to the example of Kershaw--Rickard. For the Kershaw--Rickard example the delooping level and the sub-derived delooping level are both infinite, while for our algebra both…
We obtain improved Strichartz estimates for solutions of the Schr\"odinger equation on compact manifolds with nonpositive sectional curvatures which are related to the classical universal results of Burq, G\'erard and Tzvetkov [11]. More…
Kitchloo and Morava give a strikingly simple picture of elliptic cohomology at the Tate curve by studying a completed version of $S^1$-equivariant $K$-theory for spaces. Several authors (cf [ABG],[KM],[L]) have suggested that an equivariant…
This paper delivers a new perspective of thinking and utilizing syntactic n-grams (sn-grams). Sn-grams are a type of non-linear n-grams which have been playing a critical role in many NLP tasks. Introducing sn-grams to comparing document…
We introduce a notion of equivalence on tilings which is formulated in terms of their local structure. We compare it with the known concept of locally deriving one tiling from another and show that two tilings of finite type are…
Locally stable maps $S^3\to\mathbb{R}^4$ are classified up to homotopy through locally stable maps. The equivalence class of a map $f$ is determined by three invariants: the isotopy class $\sigma(f)$ of its framed singularity link, the…
The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…
We prove a compactness result with respect to $\Gamma$-convergence for a class of integral functionals which are expressed as a sum of a local and a non-local term. The main feature is that, under our hypotheses, the local part of the…
We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and…
Generalizing results of our earlier paper, we investigate the following question. Let $\pi(\lambda) : A \to B$ be an analytic family of surjective homomorphisms between two Banach algebras, and $q(\lambda)$ an analytic family of idempotents…
We present a contribution to the structure theory of locally compact groups. The emphasis is on compactly generated locally compact groups which admit no infinite discrete quotient. It is shown that such a group possesses a characteristic…
We consider the equivalence between the two main categorical models for the type-theoretical operation of context comprehension, namely P. Dybjer's categories with families and B. Jacobs' comprehension categories, and generalise it to the…
We introduce a notion of topological entropy for continuous actions of compactly generated topological groups on compact Hausdorff spaces. It is shown that any continuous action of a compactly generated topological group on a compact…
In this paper, we introduce properties including groupoid comparison, pure infiniteness and paradoxical comparison as well as a new algebraic tool called groupoid semigroup for locally compact Hausdorff \'{e}tale groupoids. We show these…
Partial actions of Hopf algebras can be considered as a generalization of partial actions of groups on algebras. Among important properties of partial Hopf actions, it is possible to assure the existence of enveloping actions. This allows…
We extend the classical Stone duality between zero dimensional compact Hausdorff spaces and Boolean algebras. Specifically, we simultaneously remove the zero dimensionality restriction and extend to \'etale groupoids, obtaining a duality…
Equivariant Ehrhart theory generalizes the study of lattice point enumeration to also account for the symmetries of a polytope under a linear group action. We present a catalogue of techniques with applications in this field, including…
A class K of structures is controlled if, for all cardinals lambda, the relation of L_{infty,lambda}-equivalence partitions K into a set of equivalence classes (as opposed to a proper class). We prove that the class of doubly transitive…