相关论文: Quadratic categories and Koszul resolutions

Drawing on well-known results from the theory of canonical extensions and the theory of categories enriched over a quantale, we define canonical extensions of quantale-enriched categories and establish their basic properties.

The goal of this article is to emphasize the role of cubical sets in enriched categories theory and infinity-categories theory. We show in particular that categories enriched in cubical sets provide a convenient way to describe many…

We introduce the notion of (twisted) quiver representations in abelian categories and study the category of such representations. We construct standard resolutions and coresolutions of quiver representations and study basic homological…

In this paper we first define the category of fuzzy hyper BCK- algebras. After that we show that the category of hyper BCK-algebras has equalizers, coequalizers, products. It is a consequence that this category is complete and hence has…

Motivated by classical results of Aubry, Davenport and Cassels, we define the notion of a Euclidean quadratic form over a normed integral domain and an ADC form over an integral domain. The aforementioned classical results generalize to:…

We consider a convenient category of "quadratic" multirings, that allows simple functorial relations with categories associated with abstract quadratic forms theories and shares many good aspects of the theories of Special Groups and of…

We show that any upper finite or essentially finite highest weight category where the standard objects have linear projective resolutions and the costandard objects have linear injective resolutions is Koszul. This extends the result of…

Quantum categories were introduced in [4] as generalizations of both bi(co)algebroids and small categories. We clarify details of that work. In particular, we show explicitly how the monadic definition of a quantum category unpacks to a set…

Four classes of three dimensional quadratic algebras of the type $\lsb Q_0 , Q_\pm \rsb$ $=$ $\pm Q_\pm$, $\lsb Q_+ , Q_- \rsb$ $=$ $aQ_0^2 + bQ_0 + c$, where $(a,b,c)$ are constants or central elements of the algebra, are constructed using…

Classifications and representations are two main topics in the theory of quadratic forms. In this paper, we consider these topics of ternary quadratic forms. For a given squarefree integer $N$, first we give the classification of positive…

A cubical Feynman category, introduced by the authors in previous work, is a category whose functors to a base category $\mathcal{C}$ behave like operads in $\mathcal{C}$. In this note we show that every cubical Feynman category is Koszul.…

We give a complete classification of quadratic algebras A, with Hilbert series $H_A=(1-t)^{-3}$, which is the Hilbert series of commutative polynomials on 3 variables. Koszul algebras as well as algebras with quadratic Gr\"obner basis among…

Quasigroup equational definitions are given.

We report on Koszul-Tate resolutions in Algebra, in Mathematical Physics, in Cohomological Analysis of PDE-s, and in Homotopy Theory. Further, we define an abstract Koszul-Tate resolution in the frame of $\mathcal{D}$-Geometry, i.e.,…

Classes of kinetic differential equations are delineated which do have a quadratic first integral, and classes which can not have one. Example reactions corresponding to the obtained kinetic differential equations are shown, and a few…

In this article we define a quadratic symbol for a finite group and prove a law of reciprocity for its value.

We prove Koszulity of certain linear path categories obtained from connected graphs with some infinite directed walk. These categories can be viewed as locally quadratic dual to preprojective algebras.

We compute quaisideterminants and determinants of quaternionic matrices

A quantum groups of type $A$ is defined in terms of a Hecke symmetry. We show in this paper that the representation category of such a quantum group is uniquely determined as an abelian braided monoidal category by the bi-rank of the Hecke…

In this survey we discuss some combinatorial aspects of higher cluster categories.