相关论文: Reflection and Preservation of Properties in Coalg…
In this paper, we consider coalgebra measurings and the maps induced by them between Hochschild and cyclic homology of algebras. We show that these induced maps are well behaved with respect to the various structures appearing on Hochschild…
A topological shape analysis is proposed and utilized to learn concepts that reflect shape commonalities. Our approach is two-fold: i) a spatial topology analysis of point cloud segment constellations within objects. Therein constellations…
We expand the toolbox of (co)homological methods in computational topology by applying the concept of persistence to sheaf cohomology. Since sheaves (of modules) combine topological information with algebraic information, they allow for…
We study coalgebraic modal logic to characterise behavioural equivalence in the presence of side effects, i.e., when coalgebras live in a (co)Kleisli or an Eilenberg-Moore category. Our aim is to develop a general framework based on indexed…
The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the…
Statistics and Optimization are foundational to modern Machine Learning. Here, we propose an alternative foundation based on Abstract Algebra, with mathematics that facilitates the analysis of learning. In this approach, the goal of the…
We introduce notions of linear reduction and linear equivalence of bijections for the purposes of study bijections between Young tableaux. Originating in Theoretical Computer Science, these notions allow us to give a unified view of a…
Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory,…
Coalgebraic bisimilarity minimization generalizes classical automaton minimization to a large class of automata whose transition structure is specified by a functor, subsuming strong, weighted, and probabilistic bisimilarity. This offers…
Theory of representations of universal algebra is a natural development of the theory of universal algebra. In the book, I considered representation of universal algebra, diagram of representations and examples of representation. Morphism…
The coexistence relation of quantum effects is a fundamental structure, describing those pairs of experimental events that can be implemented in a single setup. Only in the simplest case of qubit effects an analytic characterization of…
Dixmier property concerns the bijectivity of endomorphisms for algebras. We introduce a relative Dixmier property, which is a generalization of the Dixmier property. This new concept has applications in proving that several classes of…
Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques range from exploiting computational properties that allow…
The aim of this note is to use the concept of algebra husks to prove an analog of the flattening decomposition theorem for simultaneous normalizations. Other applications improve earlier flatness criteria. Parts of this note were contained…
Numeric simulations based on the Huygens-Fresnel method allow one to develop intuition about the behavior of coherent light in diffraction and interference experiments. They give an opportunity to numerically observe and appreciate a number…
The aim of this note is to recast somewhat informal axiom system of quantum mechanics used by physicists (Dirac calculus) in the language of Continuous Logic. We note an analogy between Tarski's notion of cylindric algebras, as a tool of…
This paper introduces a new behavioral system model with distinct external and internal signals possibly evolving on different time scales. This allows to capture abstraction processes or signal aggregation in the context of control and…
In this work, we present a detailed procedure of computer implementation of the laws of refraction and reflection on an arbitrary surface with rotational symmetry with respect to the propagation axis. The goal is to facilitate the…
We describe an experimentally realistic situation of the quantum reflection of helium atoms from an oscillating surface. The temporal modulation of the potential induces clear sidebands in the reflection probability as a function of…
Two coalgebra structures are used in quantum field theory. The first one is the coalgebra part of a Hopf algebra leading to deformation quantization. The second one is a co-module co-algebra over the first Hopf algebra and it is used to…