Related papers: Identity and Categorification
There are several relations which may fall short of genuine identity, but which behave like identity in important respects. Such grades of discrimination have recently been the subject of much philosophical and technical discussion. This…
In recent years philosophers of science have explored categorical equivalence as a promising criterion for when two (physical) theories are equivalent. On the one hand, philosophers have presented several examples of theories whose…
Questions of set-theoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to formalize this, and which choice is made…
The importance of Einstein's geometrization philosophy, as an alternative to the least action principle, in constructing general relativity (GR), is illuminated. The role of differential identities in this philosophy is clarified. The use…
Truth refers to the satisfaction relation used to define the semantics of model-theoretic languages. The satisfaction relation for first order languages (truth classification), and the preservation of truth by first order interpretations…
We give a self-contained introduction to accessible categories and how they shed light on both model- and set-theoretic questions. We survey for example recent developments on the study of presentability ranks, a notion of cardinality…
Even though Plato's philosophy in ancient times was always closely associated with mathematics, modern Platonic scholarship, during the last five centuries, has moved steadily toward de-mathematization. The present work aims to outline a…
A general simplicity problem in category theory is proposed. A particular example, the simplest choice of generators of an algebra is specified and illustrated by an example.
We describe a number of geometric contexts where categorification appears naturally: coherent sheaves, constructible sheaves and sheaves of modules over quantizations. In each case, we discuss how "index formulas" allow us to easily perform…
In this paper, a class of combinatorial identities is proved. A method is used which is based on the following rule: counting elements of a given set in two ways and making equal the obtained results. This rule is known as "counting in two…
In 2013 Benkart, Lopes and Ondrus introduced and studied in a series of papers the infinite-dimensional unital associative algebra $\A_h$ generated by elements $x,y,$ which satisfy the relation $yx-xy=h$ for some $0\neq h\in \FF[x]$. We…
In this article we shows some results about algebra with the group of units having special polynomial identity.
The theory of categories of fractions as originally developed by Gabriel and Zisman is reviewed in a pedagogical manner giving detailed proofs of all statements. A weakening of the category of fractions axioms used by Higson is discussed…
We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an…
We show that the homotopy theories of differential graded categories and $\mathrm{A}_\infty$-categories over a field are equivalent at the $(\infty,1)$-categorical level. The results are corollaries of a theorem of Canonaco-Ornaghi-Stellari…
We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.
Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This…
In standard first order predicate logic with identity it is usually taken that $a=a$ is a theorem for any term $a$. It is easily shown that this enables the apparent proof of a theorem stating the existence of any entity whatsoever. This…
Some identities that involve the elliptic version of the Cauchy matrices are presented and proved. They include the determinant formula, the formula for the inverse matrix, the matrix product identity and the factorization formula.
$E$-theory was originally defined concretely by Connes and Higson and further work followed this construction. We generalise the definition to $C^\ast$-categories. $C^\ast$-categories were formulated to give a theory of operator algebras in…