相关论文: On cubic functors

Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endofunctors are proved, e.g. the existence of a free completely…

For certain problems involving vector fields, it is possible to find an associated imaginary field that, in conjunction with the first, forms a complex field for which the equation can be solved. This result is generalized to arbitrary…

In the first part of this note, we review and compare various instances of the notion of twisted coefficient system, a.k.a. polynomial functor, appearing in the literature. This notion hinges on how one defines the degree of a functor from…

For groups of a topological origin, such as braid groups and mapping class groups, an important source of interesting and highly non-trivial representations is given by their actions on the twisted homology of associated spaces; these are…

The goal of this article is to prove that every surface with a regular point in the three-dimensional projective space of degree at least four, is of wild representation type under the condition that either $X$ is integral or…

We consider limits over categories of extensions and show how certain well-known functors on the category of groups turn out as such limits. We also discuss higher (or derived) limits over categories of extensions.

Tangent categories are categories equipped with a tangent functor: an endofunctor with certain natural transformations which make it behave like the tangent bundle functor on the category of smooth manifolds. They provide an abstract…

We study several classes of indecomposable representations of quivers on infinite-dimensional Hilbert spaces and their relation. Many examples are constructed using strongly irreducible operators. Some problems in operator theory are…

Fix an infinite field $k$ of characteristic $p$, and let $\g$ be the Kac-Moody algebra $\mathfrak{sl}_{\infty}$ if $p=0$ and $\hat{\mathfrak{sl}}_p$ otherwise. Let $\PP$ denote the category of strict polynomial functors defined over $k$. We…

We show that the category of representations of the Euclidean group of orientation-preserving isometries of two-dimensional Euclidean space is equivalent to the category of representations of the preprojective algebra of infinite type A. We…

This paper gives a complete classification of conics in $PE_2(\mathbb{R})$. The classification has been made earlier (Reveruk [5]), but it showed to be incomplete and not possible to cite and use in further studies of properties of conics,…

Following the global method for relaxation we prove an integral representation result for a large class of variational functionals naturally defined on the space of functions with Bounded Deformation. Mild additional continuity assumptions…

A correspondence functor is a functor from the category of finite sets and correspondences to the category of k-modules, where k is a commu-tative ring. A main tool for this study is the construction of a correspondence functor associated…

Vector calculus in three-dimensional space is ubiquitous in applications of mathematics in physics and engineering. Its two-dimensional version is, however, quite rare. Here we try to provide a pedagogical account of the subject. It is…

We study smoothness of toric quiver varieties. When a quiver $Q$ is defined with the identity dimension vector, the corresponding quiver variety is also a toric variety. So it has both fan representation and quiver representation. We work…

We consider the maximal operator with respect to uncentered cubes on Euclidean space with arbitrary dimension. We prove that for any function with bounded variation, the variation of its maximal function is bounded by the variation of the…

We consider relationships between cubic algebras and implication algebras. We first exhibit a functorial construction of a cubic algebra from an implication algebra. Then we consider an collapse of a cubic algebra to an implication algebra…

We show that the category of categories with pullbacks and pullback preserving functors is cartesian closed.

We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a…

We recall the notions of a graded cocategory, conilpotent cocategory, morphisms of such (cofunctors), coderivations and define their analogs in $\mathbb L$-filtered setting. The difference with the existing approaches: we do not impose any…