* If you want to update the article please login/register
We've developed a general framework for the construction of triangle equivalences between Gorenstein rings' singularity classes and the field's cluster categories of finite dimensional algebras. We show that such equivalence exists as soon as there is a triangle equivalence between a Gorenstein ring's graded singularity category and the derived category of a finite dimensional algebra. First, we give a summary of dg orbit categories within 2̆124 -graded dg categories in terms of a generating condition.
Source link: https://arxiv.org/abs/2209.14090v1
Optics and lenses are abstract categorical devices that represent representations of bidirectional data exchange in architectures. In this paper, we find that the denotational definition of optics - identifying two optics as identical by investigating their behavior outside - is not appropriate for scientific, software oriented approaches where optics are not merely observed, but rather developed with their internal organization in mind. We show that the 1-category Optic(8359e) arises from locally quoting out the associated components of this 2-category. We show that the embedding of lenses into cartesian optics has weakened from a functor to an oplax functor, whose oplaxator now knows the different composition law. We establish a suspicion that the well-known isomorphism between cartesian lenses and optics appears as a result of the lax 2-adjunction between their double-categorical counterparts.
Source link: https://arxiv.org/abs/2209.09351v1
We offer such a cluster group as an additive categorization of a cluster algebra with coefficients related to the marked surface. By moving through the surface commutative Skein algebra, we can classify the cluster-tilting objects in this specific cluster category and then identify a cluster pattern to the upper cluster algebra.
Source link: https://arxiv.org/abs/2209.06595v1
We present a single framework for the establishment of causal models and predictive state representation models in reinforcement learning using higher-order category theory. In particular, we model structure discovery in both settings by using common objects, contravariant functors from the category of ordinal numbers to any category. Between the category of universal causal models or universal decision models, we discuss the general issue of structure discovery in both settings in terms of adjoint functors.
Source link: https://arxiv.org/abs/2209.06262v1
The first converts a category to a monoidal category, while the second is an endofunction for monoidal categories. The first is to introduce a term that generalizes algebraic modules over to monoidal functors and modules. They classify bi-module monoids according to a clethysm product line versus a homomorphisms of a segment that was regarded as a bi-module of the underlying groupoid in this sense. The presented plethysm monoid formula for operads, properads, and props generalize the plus construction for Feynman categories and detail the appearance of the plethysm monoid style for operads, properads, and props. To this end, we introduce a new concept of unique factorization category and reveal that the majority of a hereditary UFC is a Feynman category. Feynman category cospans are the primary indexing category hereditary UFC, just as finite sets are the defining indexing unit. There is also a formalism with groupoid colored graphs in the special case of a UFC.
Source link: https://arxiv.org/abs/2209.06121v1
We review the highest weight theory for introduce the Verma modules, and give a complete isomorphism classification of finite-dimensional irreducible modules with the parameter set consisting of pairs of weights and levels in this paper.
Source link: https://arxiv.org/abs/2209.00921v1
This theorem gives an equivalence between the fusion category at a certain point of unity and one related to a corresponding affine vertex operator algebra at a good positive integer level. Wenzl introduced a fusion tensor product in quantum group fusion categories, as well as its unitary structure. The inner product of the fusion tensor product is induced by U_q's braiding, giving a definite root of 1. The affine Lie algebra is a mathematical function that mathematically links objects of the quantum group fusion category to diagrams of the simplest Lie group defining the affine Lie algebra. We demonstrate that this modular fusion category structure is identical to that produced by Huang and Lepowsky's tensor product theory.
Source link: https://arxiv.org/abs/2101.10016v7
Creativity's brain function has two aspects, one is the creative thinking process, and the other is the brain structure and functional connectivity of highly creative people. Billions of nerve cells in the brain connect and communicate with each other. The human brain has a high degree of complexity at the genetic level, particularly the human brain's ability to perform rational thinking. The rational thinking of the brain is largely based on the structured thinking approach, and the organized thinking mode exemplifies the brain's high scientific productivity. This paper investigates the conceptual model of innovative thinking based on category theory and examines the development of two scientific theories that are groundbreaking in science, as well as a concrete, logical argument for the creative thinking.
Source link: https://arxiv.org/abs/2208.09648v1
We offer a historical glimpse on the role of the cyclic category in the emergence of cyclic theory. We clarify the connection between various existing cyclic and epicyclic diagrams and we emphasize the importance of absolute coefficients by presenting the ring of the integers as polynomials with coefficients in powers of 3, with coefficients in the cyclic group of order two's spherical group ring S[C_2] in the cyclic group of order two.
Source link: https://arxiv.org/abs/2208.08339v1
Firstly: Unify existing definitions of tilting subcategories to new categories. Secondly: We discuss the issue of induced derived equivalences separately in light of TGT's tilting subcategory T, assuming that we are dealing with an equivalence category higher than T. If this is the case, we ask if a functor on the perceptorial class creates a derived equivalence to a functor group over T.
Source link: https://arxiv.org/abs/2208.06381v1
* Please keep in mind that all text is summarized by machine, we do not bear any responsibility, and you should always check original source before taking any actions