Related papers: Abstract cubical homotopy theory
We extend the Koszul calculus defined on quadratic algebras by Berger, Lambre and Solotar, to N-homogeneous algebras. When N>2, the Koszul cup and cap products are defined by specific expressions, and they are compatible with the Koszul…
Recently, Hu and Xi have exhibited derived equivalent endomorphism rings arising from (relative) almost split sequences as well as AR-triangles in triangulated categories. We present a broader class of triangles (in algebraic triangulated…
We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally…
Enlarging on Parts I, II, and III we write more equations in the desired format of the extended abstract theory of composites. We focus on a multitude of equations involving higher order derivatives. The motivation is that results and…
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…
Motivated by the study of the interrelation between functorial and algebraic quantum field theory, we point out that on any locally trivial bundle of compact groups, representations up to homotopy are enough to separate points by means of…
Kendall's Similarity Shape Theory for constellations of points in the carrier space $\mathbb{R}^n$ was developed for use in Probability and Statistics. It was subsequently shown to reside within (Classical and Quantum) Mechanics'…
Associated with some finite dimensional algebras of global dimension at most 2, a generalized cluster category was introduced in \cite{Ami3}, which was shown to be triangulated and 2-Calabi-Yau when it is $\Hom$-finite. By definition, the…
We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries.…
There are theories of coverings of $C^*$-algebras which can be included into a following list: coverings of commutative $C^*$-algebras, coverings of $C^*$-algebras of groupoids and foliations, coverings of noncommutative tori, the double…
Monoidal categories with additional structure such as a braiding or some form of duality abound in quantum topology. They often appear in tandem with Frobenius algebras inside them. Motivations for this range from the theory of module…
Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those in terms of Euler operators obtained from the variational…
The weighted triangulation algebras associated to triangulation quivers and their socle deformations were recently introduced and studied in [15]-[20] and [2]. These algebras, based on surface triangulations and originated from the theory…
We find the general solution to the twisting equation in the tensor bialgebra $T({\bf R})$ of an associative unital ring ${\bf R}$ viewed as that of fundamental representation for a universal enveloping Lie algebra and its quantum…
We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In…
In this note, the notion of cotorsion classes is introduced into the higher homological algebra. Our results motivate the definition, showing that this notion of $n$-cotorsion classes satisfies usual properties one could expect. In…
We study criteria for a ring - or more generally, for a small category - to be Gorenstein and for a module over it to be of finite projective dimension. The goal is to unify the universal coefficient theorems found in the literature and to…
We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated…
We extend calculus from smooth manifolds to topological manifolds making use of a theory of generalized functions developed for this aim. Actually such extension fits into a boarder context: the universal construction of a site containing…
In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…