Related papers: The Herbrand Functional Interpretation of the Doub…

Let ${T_1,...,T_l}$ be a collection of differential operators with constant coefficients on the torus $\mathbb{T}^n$. Consider the Banach space $X$ of functions $f$ on the torus for which all functions $T_j f$, $j=1,...,l$, are continuous.…

The effectful forcing technique allows one to show that the denotation of a closed System T term of type $(\iota \to \iota) \to \iota$ in the set-theoretical model is a continuous function $(\mathbb{N} \to \mathbb{N}) \to \mathbb{N}$. For…

Any Calderon-Zygmund operator T is pointwise dominated by a convergent sum of positive dyadic operators. We give an elementary self-contained proof of this fact, which is simpler than the probabilistic arguments used for all previous…

We introduce a candidate for the inner hom for $Dbl^{st}_{lx}$, the category of strict double categories and lax double functors, and characterize a lax double functor into it obtaining a lax double quasi-functor. The latter consists of a…

For encompassing the limitations of probabilistic coherence spaces which do not seem to provide natural interpretations of continuous data types such as the real line, Ehrhard and al. introduced a model of probabilistic higher order…

We propose a nested reduced-rank regression (NRRR) approach in fitting regression model with multivariate functional responses and predictors, to achieve tailored dimension reduction and facilitate interpretation/visualization of the…

In this paper, for a discontinuous skew-product transformation with the integrable observation function, we obtain uniform ergodic theorem and semi-uniform ergodic theorem. The main assumptions are that discontinuity sets of transformation…

In Boolean algebra, it is known that the logical function that corresponds to the negation of the conjunction --NAND-- is universal in the sense that any other logical function can be built based on it. This property makes it essential to…

We generalize a result of Hochman in two simultaneous directions: Instead of realizing an effectively closed $\mathbb{Z}^d$ action as a factor of a subaction of a $\mathbb{Z}^{d+2}$-SFT we realize an action of a finitely generated group…

A topological commutative ring is said to be rigid when for every set $X$, the topological dual of the $X$-fold topological product of the ring is isomorphic to the free module over $X$. Examples are fields with a ring topology, discrete…

We prove a generalisation to any characteristic of a result of Macdonald that describes strict polynomial functors in characteristic zero in terms of representations of the groupoid of finite sets and bijections. Our result will give an…

We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally…

We prove that the free algebra functor associated to a symmetric, pseudo commutative 2-monad, from the underlying symmetric monoidal 2-category to the 2-category of algebras and pseudo maps over the 2-monad can be enhanced to a…

We discuss the analytic continuation of the Hadamard product of two holomorphic functions under assumptions pertaining to Ecalle's Resurgence Theory, proving that if both factors are endlessly continuable with prescribed sets of singular…

This paper provides a compositional approach to Taylor expansion, in the setting of cartesian differential categories. Taylor expansion is captured here by a functor that generalizes the tangent bundle functor to higher order derivatives.…

We will extend the classical derived bracket construction to any algebra over a binary quadratic operad. We will show that the derived product construction is a functor given by the Manin white product with the operad of permutation…

Recently, we have shown that von Neumann algebras form a model for Selinger and Valiron's quantum lambda calculus. In this paper, we explain our choice of interpretation of the duplicability operator "!" by studying those von Neumann…

Martin's Conjecture states that every definable function on the Turing degrees is either constant or increasing, and that every increasing function is an iterate of the Turing jump. This classification has already been corroborated for the…

Let T be a triangulated category with coproducts, C the full subcategory of compact objects in T. If T is the homotopy category of spectra, Adams proved the following in [Adams71]: All contravariant homological functors C --> Ab are the…

We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on $\mathsf{Set}$; and (ii) the category of internal categories and internal retrofunctors in the category of locales. The left adjoint takes a…