Related papers: Identity-Preserving Lax Extensions and Where to Fi…
The notion of a symmetric extension extends the usual notion of forcing by identifying a particular class of names which forms an intermediate model of ZF between the ground model and the generic extension, and often the axiom of choice…
Starting from the five-loop renormalization-group expansions for the two-dimensional Euclidean scalar \phi^4 field theory (field-theoretical version of two-dimensional Ising model), pseudo-\epsilon expansions for the Wilson fixed point…
We prove an unstraightening result for lax transformations between functors from an arbitrary $(\infty,2)$-category to that of $(\infty,2)$-categories. We apply this to study partially (op)lax and weighted (co)limits, giving fibrational…
Extensivity of a category may be described as a property of coproducts in the category, namely, that they are disjoint and universal. An alternative viewpoint is that it is a property of morphisms in a category. This paper explores this…
The non-parametric estimation of covariance lies at the heart of functional data analysis, whether for curve or surface-valued data. The case of a two-dimensional domain poses both statistical and computational challenges, which are…
This paper deals with the study of parameter dependence of extensions of Lipschitz mappings from the point of view of continuity. We show that if assuming appropriate curvature bounds for the spaces, the multivalued extension operators that…
In a polynomial regression model, the divisibility conditions implicit in polynomial hierarchy give way to a natural construction of constraints for the model parameters. We use this principle to derive versions of strong and weak hierarchy…
A measurable map between measure spaces is shown to have bounded compression if and only if its image via the measure-algebra functor is Lipschitz-continuous w.r.t. the measure-algebra distances. This provides a natural interpretation of…
We investigate the properties of lax comma categories over a base category $X$, focusing on topologicity, extensivity, cartesian closedness, and descent. We establish that the forgetful functor from $\mathsf{Cat}//X$ to $\mathsf{Cat}$ is…
In this master's thesis, we introduce expansion systems as a general framework to describe a large variety of approximation algorithms, such as Taylor approximation, decimal expansion and continued fraction. We consider some basic…
We study relative integral functors for singular schemes and characterise those which preserve boundness and those which have integral right adjoints. We prove that a relative integral functor is an equivalence if and only if its…
We show that in a locally lambda-presentable category, every lambda(m)-injectivity class (i.e., the class of all the objects injective with respect to some class of lambda-presentable morphisms) is a weakly reflective subcategory determined…
Abstract argumentation offers an appealing way of representing and evaluating arguments and counterarguments. This approach can be enhanced by a probability assignment to each argument. There are various interpretations that can be ascribed…
For (X,L) a polarized toric variety and G a torus of automorphisms of (X,L), denote by Y the GIT quotient X/G. We define a family of fully faithful functors from the category of torus equivariant reflexive sheaves on Y to the category of…
The bifactor model and its extensions are multidimensional latent variable models, under which each item measures up to one subdimension on top of the primary dimension(s). Despite their wide applications to educational and psychological…
The rigidity matrix is a fundamental tool for studying the infinitesimal rigidity properties of Euclidean bar-joint frameworks. In this paper we generalize this tool and introduce a rigidity matrix for bar-joint frameworks in arbitrary…
We consider some natural connections which arise between right-flat (p, q) paraconformal structures and integrable systems. We find that such systems may be formulated in Lax form, with a "Lax p-tuple" of linear differential operators,…
The focus of this paper is to extend Fisher's linear discriminant analysis (LDA) to both densely re-corded functional data and sparsely observed longitudinal data for general $c$-category classification problems. We propose an efficient…
We initiate a study of when the value of mathematical relaxations such as linear and semidefinite programs for constraint satisfaction problems (CSPs) is approximately preserved when restricting the instance to a sub-instance induced by a…
This paper establishes various variational properties of parametrized versions of two convexity-preserving constructs that were recently introduced in the literature: the proximal composition of a function and a linear operator, and the…