Related papers: Remarks on basic calculus in hyperboloidal foliati…
The paper argues that a part of the current statistical discussion is not based on the standard firm foundations of the field. Among the examples we consider are prediction into the future, semi-supervised classification, and causality…
In recent work, comonads and associated structures have been used to analyse a range of important notions in finite model theory, descriptive complexity and combinatorics. We extend this analysis to Hybrid logic, a widely-studied extension…
We investigate which aspects of recent developments on Galois corings and comodules admit a formulation in terms of comonads. This approach hopefully will permit of focusing in what is specific in each particular future situation, having…
We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic…
A general framework for obtaining certain types of contracted and centrally extended algebras is presented. The whole process relies on the existence of quadratic algebras, which appear in the context of boundary integrable models.
The moduli space of generalized deformations of a Calabi-Yau hypersurface is computed in terms of the Jacobian ring of the defining polynomial. The fibers of the tangent bundle to this moduli space carry algebra structures, which are…
Many product formulas are known classically for generalized hypergeometric functions over the complex numbers. In this paper, we establish some analogous formulas for generalized hypergeometric functions over finite fields.
This is a survey on tropical polytopes from the combinatorial point of view and with a focus on algorithms. Tropical convexity is interesting because it relates a number of combinatorial concepts including ordinary convexity, monomial…
We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…
A complete Fock space representation of the covariant differential calculus on quantum space is constructed. The consistency criteria for the ensuing algebraic structure, mapping to the canonical fermions and bosons and the consequences of…
We present a calculus providing a Curry-Howard correspondence to classical logic represented in the sequent calculus with explicit structural rules, namely weakening and contraction. These structural rules introduce explicit erasure and…
Braided monoidal categories arise naturally as centres of monoidal categories and have been the focus of much recent attention in both mathematics and physics. By suitably restricting the use of the exchange rule, we obtain a sequent…
We give a conceptual explanation of universal deformation formulas for unital associative algebras and prove some results on the structure of their moduli spaces. We then generalize universal deformation formulas to other types of algebras…
The concept of $\Zn$-supermanifold has been recently proposed as a natural generalization of classical ($\Zs$-graded) supergeometry, allowing for more complicated commutativity constraints. Here we continue the study of $\Zn$-supergeometry…
`Umbral calculus' deals with representations of the canonical commutation relations. We present a short exposition of it and discuss how this calculus can be used to discretize continuum models and to construct representations of Lie…
In this survey we discuss the notion of combinatorial interpretation in the context of Algebraic Combinatorics and related areas. We approach the subject from the Computational Complexity perspective. We review many examples, state a…
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough…
We investigate criteria for algebra extensions that are of Galois type with respect to the coaction of a Hopf algebra or, more generally, a one-sided quotient of a Hopf algebra, or with respect to an entwining. We study the module- and…
The purpose of this note is to work out the details of the concrete incarnation of a few categorical constructions (products, coproducts, pullbacks, pushouts, equalizers, coequalizers, and exponentials) in some useful and basic categories:…