Related papers: An introduction to the categorical p-adic Langland…
We introduce the notion of a stochastic probabilistic program and present a reference implementation of a probabilistic programming facility supporting specification of stochastic probabilistic programs and inference in them. Stochastic…
This article aims to explain the Nested Benders algorithm for the solution of large-scale stochastic programming problems in a way that is intelligible to someone coming to it for the first time. In doing so it gives an explanation of…
Let $L$ be a proper finite extension of the field of $p$-adic numbers and let $o\subset L$ be its integers, viewed as an abelian locally $L$-analytic group. Let $\hat{o}$ be the rigid analytic group variety parametrizing the locally…
We study the interpretation of the lambda-calculus in a framework based on tropical mathematics, and we show that it provides a unifying framework for two well-developed quantitative approaches to program semantics: on the one hand program…
We prove a p-adic Labesse-Langlands transfer from the group of units in a definite quaternion algebra to its subgroup of norm one elements. More precisely, given an eigenvariety for the first group, we show that there exists an eigenvariety…
We promote Lazard's Poincar\'e duality for p-adic Lie groups to spectrum coefficients. The key aspect is the determination of the dualizing object in terms of "linear" data, namely the adjoint representation.
Motivated by the Langlands program in representation theory, number theory and geometry, the theory of representations of a reductive $p$-adic group over a coefficient ring different from the field of complex numbers has been widely…
We give a sufficient criterion for complex analyticity of nonlinear maps defined on direct limits of normed spaces. This tool is then used to construct new classes of (real and complex) infinite dimensional Lie groups: (a) groups of germs…
The purpose of the current paper is to introduce some new methods for studying the $p$-adic Banach spaces introduced by Emerton \cite{emerton}. We first relate these spaces to more familiar sheaf cohomology groups. As an application, we…
This paper develops a geometric approach of variational analysis for the case of convex objects considered in locally convex topological spaces and also in Banach space settings. Besides deriving in this way new results of convex calculus,…
We review several known categorification procedures, and introduce a functorial categorification of group extensions with applications to non-abelian group cohomology. Categorification of acyclic models and of topological spaces are briefly…
In this work we provide a characterization of distinct type of (linear and non-linear) maps between Banach spaces in terms of the differentiability of certain class of Lipschitz functions. Our results are stated in an abstract bornological…
We introduce Elgot categories, a sort of distributive monoidal category with additional structure in which the partial recursive functions are representable. Moreover, we construct an initial Elgot category, the morphisms of which coincide…
We give orthonormal characterizations of collectively compact (limited) sets of linear operators from a Hilbert space to a Banach space.
We introduce and study the enveloping norms of regularly P-operators, where P is an "almost" version of limited, Grothendieck, and of Dunford--Pettis operators in Banach lattices. Several further topics related to these operators are also…
Much work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two categories: semantics based on Markov kernels and semantics…
We present a probabilistic extension of the description logic $\mathcal{ALC}$ for reasoning about statistical knowledge. We consider conditional statements over proportions of the domain and are interested in the probabilistic-logical…
In this tutorial I will present how a combination of linear and dependent type can be useful to describe different properties about higher order programs. Linear types have been proved particularly useful to express properties of functions;…
We present a detailed synthetic overview of the utilisation of categorical techniques in the study of order structures together with their applications in operational quantum theory. First, after reviewing the notion of residuation and its…
We generalize the solution theory for a class of delay type differential equations developed in a previous paper, dealing with the Hilbert space case, to a Banach space setting. The key idea is to consider differentiation as an operator…