English
Related papers

Related papers: Type-theoretic weak factorization systems

200 papers

We extend the Kechris--Pestov--Todor\v{c}evi\'c correspondence to weak Fra\"{\i}ss\'{e} categories and automorphism groups of generic objects. The new ingredient is the weak Ramsey property. We demonstrate the theory on several examples…

Logic · Mathematics 2024-11-20 Adam Bartoš , Tristan Bice , Keegan Dasilva Barbosa , Wiesław Kubiś

The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of…

Representation Theory · Mathematics 2025-01-28 Xue-Song Lu , Pu Zhang

Let $T$ be a Fourier integral operator of order $-(n-1)/2$ associated with a canonical relation locally parametrised by a real-phase function. A fundamental result due to Seeger, Sogge, and Stein proved in the 90's, gives the boundedness of…

Analysis of PDEs · Mathematics 2026-02-18 Duván Cardona , Michael Ruzhansky

We will construct an algebraic weak factorisation system on the category of 01 substitution sets such that the R-algebras are precisely the Kan fibrations together with a choice of Kan filling operation. The proof is based on Garner's small…

Logic · Mathematics 2018-02-08 Andrew Swan

The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…

Category Theory · Mathematics 2020-12-03 Chris Heunen , Vaia Patta

This paper concerns the modeling of multi-way functional data where double or multiple indices are involved. We introduce a concept of weak separability. The weakly separable structure supports the use of factorization methods that…

Methodology · Statistics 2018-11-15 Brian Lynch , Kehui Chen

There are two known general results on the finite model property (fmp) of commutators [L,L'] (bimodal logics with commuting and confluent modalities). If L is finitely axiomatisable by modal formulas having universal Horn first-order…

Logic in Computer Science · Computer Science 2017-10-18 Agi Kurucz

We present a theory of weak localization (WL) in the presence of generic spin-dependent fields, including any type of spin-orbit coupling, Zeeman fields, and non-homogeneous magnetic textures. We go beyond the usual diffusive approximation,…

Mesoscale and Nanoscale Physics · Physics 2024-04-30 Alberto Hijano , Stefan Ilić , F. Sebastián Bergeret

We prove that all left-invariant contact structures on three-dimensional Lie groups are tight. The argument is based on Riemannian methods and establishes a unique factorization property for any Lie group admitting a left-invariant contact…

Symplectic Geometry · Mathematics 2026-05-05 Eugenio Bellini

The paper analyzes four classical signal-plus-noise models: the factor model, spiked sample covariance matrices, the sum of a Wigner matrix and a low-rank perturbation, and canonical correlation analysis with low-rank dependencies. The…

Methodology · Statistics 2026-02-04 Anna Bykhovskaya , Vadim Gorin , Sasha Sodin

We characterize super weakly compact operators as those through which binary tree and diamond and Laakso graphs may not be factored with uniform distortion.

Functional Analysis · Mathematics 2016-04-08 Ryan M. Causey , Stephen J. Dilworth

Every absolutely summing linear operator is weakly compact. However, for strongly summing multilinear operators and polynomials - one of the most natural extensions of the linear case to the non linear framework - weak compactness does not…

Functional Analysis · Mathematics 2013-11-20 Daniel Pellegrino , Pilar Rueda , Enrique A. Sanchez-Perez

We give an introduction to a notion of weak dependence which is more general than mixing and allows to treat for example processes driven by discrete innovations as they appear with time series bootstrap. As a typical example, we analyze…

Probability · Mathematics 2008-12-18 Paul Doukhan , Michael H. Neumann

In the present paper, we define the concept of weak topological conjugacy and we establish sufficient conditions to obtain this kind of topological conjugacy between two limit sets. We use the character of recurrence to obtain the results.

Dynamical Systems · Mathematics 2021-05-20 Everaldo de Mello Bonotto , Daniela Paula Demuner , Ginnara Mexia Souto

The nonleptonic heavy meson decays $B\to D^{(*)}\pi(\rho), J/\psi K^{(*)}$ and $D\to K^{(*)}\pi$ are studied based on the three-scale perturbative QCD factorization theorem developed recently. In this formalism the Bauer-Stech-Wirbel…

High Energy Physics - Phenomenology · Physics 2009-10-30 Tsung-Wen Yeh , Hsiang-nan Li

In this paper, we introduce new concepts of weak rigidity matrix and infinitesimal weak rigidity for planar frameworks. The weak rigidity matrix is used to directly check if a framework is infinitesimally weakly rigid while previous work…

Systems and Control · Computer Science 2018-03-28 Seong-Ho Kwon , Minh Hoang Trinh , Koog-Hwan Oh , Shiyu Zhao , Hyo-Sung Ahn

We define a notion of a weak canonical base for a partial type. This notion is weaker than the usual canonical base for an amalgamation base. We prove that certain family of partial types have a weak canonical base. This family clearly…

Logic · Mathematics 2013-11-14 Ziv Shami

A theorem of Davis, Figiel, Johnson and Pe{\l}czy\'nski tells us that weakly-compact operators between Banach spaces factor through reflexive Banach spaces. The machinery underlying this result is that of the real interpolation method,…

Functional Analysis · Mathematics 2007-05-23 Matthew Daws

The article addresses some open questions about the relations between the topological weak mixing property and the transitivity of the map $f\times f^2 \times...\times f^m$, where $f\colon X\ra X$ is a topological dynamical system on a…

Dynamical Systems · Mathematics 2014-05-06 Dominik Kwietniak , Piotr Oprocha

We study weak approximation on rationally connected varieties under an assumption of strong approximation for a "simple" variety or under Schinzel's hypothesis. We also get some unconditional results.

Number Theory · Mathematics 2021-09-10 Dasheng Wei