相关论文: Identity and Categorification
A. Lacasse conjectured a combinatorial identity in his study of learning theory. Various people found independent proofs. Here is another one that is based on the study of the tree function, with links to Lamberts $W$-function and…
In this paper, the results of part I regarding a special case of Feynman identity are extended. The sign rule for a path in terms of data encoded by its word and formulas for the numbers of distinct equivalence classes of nonperiodic paths…
This essay traces the history of three interconnected strands. Firstly, changes in the concept of number, secondly, the study of the qualities of number, which evolved into number theory, and thirdly, the nature of mathematics itself, from…
In this paper, we study various classes of partition functions such as those related to the parity of the number of parts, to differences of partition numbers, and to partitions with a repeated smallest part. We establish identities…
This article provides an overview of the techniques related to classification of spherical and more general objects within triangulated categories, and its relationship with algebraic geometry, representation theory and symplectic geometry.…
We present the first known solution to the original supertask, the Thomson Lamp Paradox. We also offer preliminary resources for classifying computational complexity of various supertasks. In so doing we consider a newly apparent paradox…
We introduce a new approach to the classification of operator identities, based on basic concepts from the theory of algebraic operads together with computational commutative algebra applied to determinantal ideals of matrices over…
The growing complexity of modern practical problems puts high demands on the mathematical modelling. Given that various models can be used for modelling one physical phenomenon, the role of model comparison and model choice becomes…
The non-standard identity concept developed in the Homotopy Type theory allows for an alternative analysis of Frege's famous Venus example, which explains how empirical evidences justify judgements about identities and accounts for the…
Fraud (swindling money, property, or authority by fictionizing, counterfeiting, forging, or imitating things, or by feigning other persons privately) forms its threats against public security and network security. Anti-fraud is essentially…
We present a survey of some developments in the general area of category-theoretic approaches to the theory of computation, with a focus on topics and ideas particularly close to the interests of Jim Lambek.
We propose an intersubjective epistemic approach to foundations of probability theory and statistical inference, based on relative entropy and category theory, and aimed to bypass the mathematical and conceptual problems of existing…
Menon's identity is a classical identity involving gcd sums and the Euler totient function $\phi$. A natural generalization of $\phi$ is the Klee's function $\Phi_s$. In this paper we derive a Menon-type identity using Klee's function and a…
Gottlob Frege ingeniously presented a purely logical definition of the concept of number. However, one can claim that his definition is, in some way, circular, as it relies on the concept of one-to-one relation. The concept of number only…
Given a vector space with an action of a semi-simple Lie algebra, we can try to "categorify" this representation, which means finding a category where the generators of the Lie algebra act by functors. Such categorical representations arise…
Certain infinite families of operator identities related to powers of positive root generators of (super) Lie algebras of first-order differential operators and $q$-deformed algebras of first-order finite-difference operators are presented.
The purpose of this paper is three-fold: first, we survey on several known pointwise identities involving fractional operators; second, we propose a unified way to deal with those identities; third, we prove some new pointwise identities in…
This is an introduction to type theory, synthetic topology, and homotopy type theory from a category-theoretic and topological point of view, written as a chapter for the book "New Spaces for Mathematics and Physics" (ed. Gabriel Catren and…
The broadly applied notions of Lie bialgebras, Manin triples, classical $r$-matrices and $\mathcal{O}$-operators of Lie algebras owe their importance to the close relationship among them. Yet these notions and their correspondences are…
Since it was first published 30 years ago, Chi et al.'s seminal paper on expert and novice categorization of introductory problems led to a plethora of follow-up studies within and outside of the area of physics [Chi et al. Cognitive…