Related papers: Type-theoretic weak factorization systems

We construct a weak KAM theory for parameterized cobordisms and their relaxation, holonomic measures. We find a weak kam solution in that context, and we show that in many cases it corresponds to an exact form that satisfies a version of…

Gradient descent for matrix factorization exhibits an implicit bias toward approximately low-rank solutions. While existing theories often assume the boundedness of iterates, empirically the bias persists even with unbounded sequences. This…

This paper provides convergence analysis for the approximation of a class of path-dependent functionals underlying a continuous stochastic process. In the first part, given a sequence of weak convergent processes, we provide a sufficient…

We present the type theory CaTT, originally introduced by Finster and Mimram to describe globular weak $\omega$-categories, and we formalise this theory in the language of homotopy type theory. Most of the studies about this type theory…

Let $R$ be a commutative ring, $M$ an $R$-module and $\varphi_a$ be the endomorphism of $M$ given by right multiplication by $a\in R$. We say that $M$ is {\it weakly-morphic} if $M/\varphi_a(M)\cong \ker(\varphi_a)$ as $R$-modules for every…

We characterize the virtual link invariants that can be described as partition function of a real-valued R-matrix, by being weakly reflection positive. Weak reflection positivity is defined in terms of joining virtual link diagrams, which…

We define a weakly threshold sequence to be a degree sequence $d=(d_1,\dots,d_n)$ of a graph having the property that $\sum_{i \leq k} d_i \geq k(k-1)+\sum_{i > k} \min\{k,d_i\} - 1$ for all positive $k \leq \max\{i:d_i \geq i-1\}$. The…

We introduce the Delta-framework, LF-Delta, a dependent type theory based on the Edinburgh Logical Framework LF, extended with the strong proof-functional connectives, i.e. strong intersection, minimal relevant implication and strong union.…

Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…

This is a survey of weak approximation over complex function fields, touching on the Koll'ar-Miyaoka-Mori theorem, places of good and bad reduction, the special case of rational surfaces, rationally simply connected varieties, and…

We extend the model structure on the category $\mathbf{Cat}(\mathcal{E})$ of internal categories studied by Everaert, Kieboom and Van der Linden to an algebraic model structure. Moreover, we show that it restricts to the category of…

We establish an Eichler-Shimura isomorphism for weakly modular forms of level one. We do this by relating weakly modular forms with rational Fourier coefficients to the algebraic de Rham cohomology of the modular curve with twisted…

A weak value is an effective description of the influence of a pre and post-selected 'principal' system on another 'meter' system to which it is weakly coupled. Weak values can describe anomalously large deflections of the meter, and…

Let $T$ be a Fourier integral operator on $\R^n$ of order $-(n-1)/2$. It was shown by Seeger, Sogge, and Stein that $T$ mapped the Hardy space $H^1$ to $L^1$. In this note we show that $T$ is also of weak-type $(1,1)$. The main ideas are a…

We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…

We prove weak approximation for isotrivial families of rationally connected varieties defined over the function field of a smooth projective complex curve.

This paper discusses generalized weak rigidity theory, and aims to apply the theory to formation control problems with a gradient flow law. The generalized weak rigidity theory is utilized in order that desired formations are characterized…

For a group $G$, a weak Cayley isomorphism is a bijection $f:G \to G$ such that $f(g_1g_2)$ is conjugate to $ f(g_1)f(g_2)$ for all $g_1,g_2 \in G$. They form a group $\mathcal W(G)$ that is the group of symmetries of the weak Cayley table…

We discuss walking behavior in gauge theories and weak first-order phase transitions in statistical physics. Despite appearing in very different systems (QCD below the conformal window, the Potts model, deconfined criticality) these two…

In this article, we study the filtered $\Phi$-modules canonically attached to the exponentially twisted cohomology associated with some nondegenerate functions. Inspired by $p$-adic Hodge theory, we conjecture that those filtered…