Related papers: Type-theoretic weak factorization systems

Many definitions of weak and strict $\infty$-categories have been proposed. In this paper we present a definition for $\infty$-categories with strict associators, but which is otherwise fully weak. Our approach is based on the existing type…

We give a systematic account of iterated function systems (IFS) of weak contractions of different types (Browder, Rakotch, topological). We show that the existence of attractors and asymptotically stable invariant measures, and the validity…

We give a constructive proof of the factorization theorem for the classical Hardy space in terms of fractional integral operator. Moreover, the result is extended to the multilinear case and weighted case. As an application, we obtain the…

A weak measurement consists in coupling a system to a probe in such a way that constructive interference generates a large output. So far, only the average output of the probe and its variance were studied. Here, the characteristic function…

Based on a Whitehead-type characterization of the sectional category we develop the notion of weak sectional category. This is a new lower bound of the sectional category, which is inspired by the notion of weak category in the sense of…

The (extensional) theory of arrays is widely used to model systems. Hence, efficient decision procedures are needed to model check such systems. Current decision procedures for the theory of arrays saturate the read-over-write and…

The tower Weak Gravity Conjecture predicts infinitely many super-extremal states along every ray in the charge lattice of a consistent quantum gravity theory. We show this far-reaching claim in five-dimensional compactifications of M-theory…

Weak superimposed codes are combinatorial structures related closely to generalized cover-free families, superimposed codes, and disjunct matrices in that they are only required to satisfy similar but less stringent conditions. This class…

We present a relatively simple description of binary, definable subsets of models of weakly quasi-o-minimal theories. In particular, we closely describe definable linear orders and prove a weak version of the monotonicity theorem. We also…

The convergence of DP Fourier series which are neither strongly convergent nor strongly divergent is discussed in terms of the Taylor series of the corresponding inner analytic functions. These are the cases in which the maximum disk of…

We investigate Cohen factorizations of local ring homomorphisms from three perspectives. First, we prove a "weak functoriality" result for Cohen factorizations: certain morphisms of local ring homomorphisms induce morphisms of Cohen…

We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose…

We use the martingale convergence method to get the weak convergence theorem on general functionals of partial sums of independent heavy-tailed random variables. The limiting process is the stochastic integral driven by $\alpha-$stable…

This study is about the Iterated Function System (IFS) of similarities on $\mathbb R$ that satisfies Weak Separation property (WSP). We explore if this implies Finite type property. We look into the most simple case with condition that…

Let $R$ be an associative algebra over a field $K$ generated by a vector subspace $V$. The polynomial $f(x_1,\ldots,x_n)$ of the free associative algebra $K\langle x_1,x_2,\ldots\rangle$ is a weak polynomial identity for the pair $(R,V)$ if…

We present a conservative extension ICaTT of the dependent type theory CaTT for weak $\omega$-categories with a type witnessing coinductive invertibility of cells. This extension allows for a concise description of the "walking equivalence"…

We give an account of lax orthogonal factorisation systems on order-enriched categories. Among them, we define and characterise the KZ-reflective ones, in a way that mirrors the characterisation of reflective orthogonal factorisation…

We show the invalidity of finitary counterparts for three classification theorems: The preservation of being a Bernoulli shift through factors, Sinai's factor theorem, and the weak Pinsker property. We construct a finitary factor of an…

We describe an equivalent formulation of algebraic weak factorisation systems, not involving monads and comonads, but involving double categories of morphisms equipped with a lifting operation satisfying lifting and factorisation axioms.

Westudy the existence of a class of inverse integrating factor for a family of non formally integrable systems, in general, whose lowest-degree quasi-homogeneous term is a Hamiltonian vector field. Once the existence of an inverse integrat…