Related papers: A General Theory of Propositional Modal Bundled Mo…
I investigate modal group theory for arbitrary homomorphisms. Possibility is interpreted by the existence of a group homomorphism out of the given group, so the semantics is governed by the possibility of collapse: elements may be…
Uncertainty quantification requires efficient summarization of high- or even infinite-dimensional (i.e., non-parametric) distributions based on, e.g., suitable point estimates (modes) for posterior distributions arising from model-specific…
Higher bundles are homotopy coherent generalisations of classical fibre bundles. They appear in numerous contexts in geometry, topology and physics. In particular, higher principal bundles provide the geometric framework for higher-group…
This paper is mainly concerned with applying the theory of M-regularity developed in the previous math.AG/0110003 to the study of linear series given by multiples of ample line bundles on abelian varieties. We define a new invariant of a…
This is a review article exploring similarities between moduli of quiver representations and moduli of vector bundles over a smooth projective curve. After describing the basic properties of these moduli problems and constructions of their…
This paper studies a new and more general axiomatization than one presented previously for preference on likelihood gambles. Likelihood gambles describe actions in a situation where a decision maker knows multiple probabilistic models and a…
We define classes of pseudodifferential operators on $G$-bundles with compact base and give a generalized $L^2$ Fredholm theory for invariant operators in these classes in terms of von Neumann's $G$-dimension. We combine this formalism with…
Let X be a smooth, connected, projective variety over an algebraically closed field of positive characteristic. In "Flat vector bundles and the fundamental group in non-zero characteristics" (Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 2…
The nonparametric formulation of density-based clustering, known as modal clustering, draws a correspondence between groups and the attraction domains of the modes of the density function underlying the data. Its probabilistic foundation…
This paper reviews recent work on a new geometric object called a bundle gerbe and discusses some new examples arising in quantum field theory. One application is to an Atiyah-Patodi-Singer index theory construction of the bundle of…
A quandle equipped with a good involution is referred to as symmetric. It is known that the cohomology of symmetric quandles gives rise to strong cocycle invariants for classical and surface links, even when they are not necessarily…
The first and shorter part of this thesis deals with the structural assumption of invertibility in a Lie groupoid. When this assumption is dropped, we obtain the notion of a Lie category: a small category, endowed with a compatible…
In [arXiv:2008.04625] the authors constructed a classifying space for polystable holomorphic vector bundles on a compact K\"ahler manifold using analytic GIT theory. The aim of this article is to show that this classifying space taken in…
Atiyah and Bott used equivariant Morse theory applied to the Yang-Mills functional to calculate the Betti numbers of moduli spaces of vector bundles over a Riemann surface, rederiving inductive formulae obtained from an arithmetic approach…
Motivated by the study of symplectic Lie algebroids, we study a describe a type of algebroid (called an $E$-tangent bundle) which is particularly well-suited to study of singular differential forms and their cohomology. This setting…
We give the theorem of coincidence of a class of functions defined by a generalised modulus of smoothness with a class of functions defined by the order of the best approximation by algebraic polynomials. We also prove the appropriate…
Uniform interpolation is the property that, for any formula and set of atoms, there exists the strongest consequence omitting those atoms. It plays a central role in knowledge representation and reasoning tasks such as knowledge update and…
We develop a general framework for the quantization of bosonic and fermionic field theories on affine bundles over arbitrary globally hyperbolic spacetimes. All concepts and results are formulated using the language of category theory,…
We introduce a novel semantics for a multi-agent epistemic operator of knowing how, based on an indistinguishability relation between plans. Our proposal is, arguably, closer to the standard presentation of knowing that modalities in…
Humans possess a remarkable ability to acquire knowledge efficiently and apply it across diverse modalities through a coherent and shared understanding of the world. Inspired by this cognitive capability, we introduce a concept-centric…