Related papers: Higher Catoids, Higher Quantales and their Corresp…
In this paper we attempt to consider quantum superpositions from the perspective of the logos categorical approach presented in [26]. We will argue that our approach allows us not only to better visualize the structural features of quantum…
Recent algorithmic advances in algebraic automata theory drew attention to semigroupoids (semicategories). These are mathematical descriptions of typed computational processes, but they have not been studied systematically in the context of…
A noncommutative algebra corresponding to the classical catenoid is introduced together with a differential calculus of derivations. We prove that there exists a unique metric and torsion-free connection that is compatible with the complex…
It is well known that there is a deep relationship between codes and lattices. Concepts from coding theory are related to concepts of lattice theory as, for example, weight enumerators to theta series, MacWilliams identity to Jacobi…
The notion of generalized quantum monoids is introduced. It is proved that the quantum coordinate ring of the monoid can be lifted to a quantum hyper-algebra, in which the quantum determinant and quantum Pfaffian are sent to the quantum…
We provide concrete models for generalized morphisms and Morita equivalences of topological 2-groupoids by introducing the notions of crossings and crossed extensions of groupoid crossed modules. A systematic study of these objects is…
We study the relations between a generalization of pseudocompactness, named $(\kappa, M)$-pseudocompactness, the countably compactness of subspaces of $\beta \omega$ and the pseudocompactness of their hyperspaces. We show, by assuming the…
In this paper, we extend a result of Lafont and M{\'e}tayer and prove that the polygraphic homology of a small category, defined in terms of polygraphic resolutions in the category $\omega$Cat of strict $\omega$-categories, is naturally…
This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…
We introduce higher-dimensional analogs of Kazhdan projections in matrix algebras over group $C^*$-algebras and Roe algebras. These projections are constructed in the framework of cohomology with coefficients in unitary representations and…
There is renewed interest in the coideal subalgebras used to form quantum symmetric pairs because of recent discoveries showing that they play a fundamental role in the representation theory of quantized enveloping algebras. However, there…
The subalgebra of the tautological ring of the moduli of curves of compact type generated by the kappa classes is studied in all genera. Relations, constructed via the virtual geometry of the moduli of stable quotients, are used to obtain…
We define generalized bialgebras and Hopf algebras and on this basis we introduce quantum categories and quantum groupoids. The quantization of the category of linear (super)spaces is constructed. We establish a criterion for the classical…
The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…
Representations of a group $G$ in vector spaces over a field $K$ form a category. One can reconstruct the given group $G$ from its representations to vector spaces as the full group of monoidal automorphisms of the underlying functor. This…
This work develops a geometric framework for constructing quantum error-correcting codes from weighted projective and orbifold structures, integrating algebraic geometry, divisor theory, and the CSS stabilizer formalism. Beginning with…
In the literature on Kleene algebra (KA), a number of variants have been proposed such as Kleene algebra with tests, commutative KA, bi-KA, and concurrent KA. The equational theories of some of these structures have then been studied in the…
We propose a notion of lift for quantum CSS codes, inspired by the geometrical construction of Freedman and Hastings. It is based on the existence of a canonical complex associated to any CSS code, that we introduce under the name of Tanner…
This paper gives an introduction to the homotopy theory of quasi-categories. Weak equivalences between quasi-categories are characterized as maps which induce equivalences on a naturally defined system of groupoids. These groupoids…
In this review article, first we give the concrete formulas of representations and cohomologies of associative algebras, Lie algebras, pre-Lie algebras, Leibniz algebras and 3-Lie algebras and some of their strong homotopy analogues. Then…