English
Related papers

Related papers: Computable dyadic subbases and $\mathbf{T}^\omega$…

200 papers

We systematically study the completion of choice problems in the Weihrauch lattice. Choice problems play a pivotal role in Weihrauch complexity. For one, they can be used as landmarks that characterize important equivalences classes in the…

Logic · Mathematics 2021-02-24 Vasco Brattka , Guido Gherardi

We show that the product of any number of sequentially pseudocompact topological spaces is still sequentially pseudocompact. The definition of sequential pseudocompactness can be given in (at least) two ways: we show their equivalence. Some…

General Topology · Mathematics 2016-04-19 Paolo Lipparini

We give a survey on the theory of representation-finite and certain minimal representation-infinite algebras.The main goals are the existence of multiplicative bases and of coverings with good properties. Both are attained via…

Representation Theory · Mathematics 2013-02-06 Klaus Bongartz

We study universal approximation of continuous functionals on compact subsets of products of Hilbert spaces. We prove that any such functional can be uniformly approximated by models that first take finitely many continuous linear…

Machine Learning · Computer Science 2026-02-04 Andrey Krylov , Maksim Penkin

A basic concept of Type Two Theory of Effectivity (TTE) is the notion of an admissibly represented space. Admissibly represented spaces are closely related to qcb-spaces. The latter form a well-behaved subclass of topological spaces. We…

Logic in Computer Science · Computer Science 2020-04-21 Matthias Schröder

In this paper we study the variety of one dimensional representations of a finite $W$-algebra attached to a classical Lie algebra, giving a precise description of the dimensions of the irreducible components. We apply this to prove a…

Representation Theory · Mathematics 2023-07-31 Lewis Topley

We show that any twisted Dijkgraaf-Witten representation of a mapping class group of an orientable, compact surface with boundary has finite image. This generalizes work of Etingof, Rowell and Witherspoon showing that the braid group images…

Quantum Algebra · Mathematics 2017-11-15 Paul Gustafson

Two novel descriptions of weak {\omega}-categories have been recently proposed, using type-theoretic ideas. The first one is the dependent type theory CaTT whose models are {\omega}-categories. The second is a recursive description of a…

Category Theory · Mathematics 2024-12-18 Thibaut Benjamin , Ioannis Markakis , Chiara Sarti

A central question in cognitive science is whether conceptual representations converge onto a shared manifold to support generalization, or diverge into orthogonal subspaces to minimize task interference. While prior work has discovered…

Computation and Language · Computer Science 2026-02-09 Zhimin Hu , Lanhao Niu , Sashank Varma

We prove a number of results linking properties of actions by compact groups (both quantum and classical) on Banach spaces, such as uniform continuity, spectrum finiteness and extensibility of the actions across several constructions.…

Operator Algebras · Mathematics 2025-01-22 Alexandru Chirvasitu

We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We prove that each Hausdorff topological space can be embedded as a closed subspace into an H-closed topological space. However,…

General Topology · Mathematics 2019-08-09 Serhii Bardyla , Alex Ravsky

A locally convex space (lcs) $E$ is said to have an $\omega^{\omega}$-base if $E$ has a neighborhood base $\{U_{\alpha}:\alpha\in\omega^\omega\}$ at zero such that $U_{\beta}\subseteq U_{\alpha}$ for all $\alpha\leq\beta$. The class of lcs…

General Topology · Mathematics 2020-07-10 Taras Banakh , Jerzy Kąkol , Johannes Phillip Schürz

In the paper, we investigate (scattered) compact spaces with a $P$-base for some poset $P$. More specifically, we prove that, under the assumption $\omega_1<\mathfrak{b}$, any compact space with an $\omega^\omega$-base is first-countable…

General Topology · Mathematics 2021-05-26 Alan Dow , Ziqin Feng

This paper is a continuation of our work on the functional-analytic core of the classical Furstenberg-Zimmer theory. We introduce and study (in the framework of lattice-ordered spaces) the notions of total order-boundedness and uniform…

Dynamical Systems · Mathematics 2026-02-10 Markus Haase , Henrik Kreidler

We give a combinatorial characterization of countable submaximal subspaces of $2^\kappa$. Using a parametrized version of Mathias forcing, we prove that there exists a countable submaximal subspace of $2^{\omega_1}$ whilst…

General Topology · Mathematics 2021-12-08 César Corral

We study generic properties of topological groups in the sense of Baire category. First we investigate countably infinite (discrete) groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed…

A set A of natural numbers is finitely embeddable in another such set B if every finite subset of A has a rightward translate that is a subset of B. This notion of finite embeddability arose in combinatorial number theory, but in this paper…

Logic · Mathematics 2015-12-11 Andreas Blass , Mauro Di Nasso

We study the closure of the convex hull of a compact set in a complete CAT(0) space. First we give characterization results in terms of compact sets and the closure of their convex hulls for locally compact CAT(0) spaces that are either…

Metric Geometry · Mathematics 2021-09-14 Arian Bërdëllima

We say that a topological space X is selectively sequentially pseudocompact (SSP for short) if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in U_n for every n in such a way that the sequence (x_n) has…

General Topology · Mathematics 2017-05-22 Alejandro Dorantes-Aldama , Dmitri Shakhmatov

Simplicial complexes form an important class of topological spaces that are frequently used in many application areas such as computer-aided design, computer graphics, and simulation. Representation learning on graphs, which are just 1-d…

Machine Learning · Computer Science 2022-02-03 Mustafa Hajij , Ghada Zamzmi , Theodore Papamarkou , Vasileios Maroulas , Xuanting Cai
‹ Prev 1 8 9 10 Next ›