Related papers: The Igusa-Todorov function for comodules
We study the problem of whether a coalgebra that generates its category of left (right) comodules is left (right) quasi-coFrobenius or not. We prove it does not hold in general, by giving a method of constructing counterexamples. This gives…
In this survey, we review the fundamental properties of the Igusa-Todorov functions, the $\phi$-dimension, the $\psi$-dimension and their generalizations.
We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an abelian monoidal category. Under some further conditions we show that such a cotensor coalgebra exists and satisfies a meaningful universal…
Let $\Lambda$ be an artin algebra and $\mathfrak{A}$ a two-sided idempotent ideal of $\Lambda$, that is, $\mathfrak{A}$ is the trace of a projective $\Lambda$-module $P$ in $\Lambda$. We consider the categories of finitely generated modules…
For any k-coalgebra C it is shown that similar quasi-finite C-comodules have strongly equivalent coendomorphism coalgebras; (the converse is in general not true). As an application we give a general result about codepth two coalgebra…
Let $M$ be an $n$-dimensional complex manifold. A holomorphic function $f:M\to \mathbb C$ is said to be semi-Bloch if for every $\lambda\in \mathbb C$ the function $g_\lambda=\exp(\lambda f(z))$ is normal on $M$. We characterise Semi-Bloch…
Given a compact interval $I \subseteq \mathbb{R}$, and a function $f$ that is a product of a nonzero polynomial with a Gaussian, it will be shown that the translates $\{ f(\cdot - \lambda) : \lambda \in \Lambda \}$ are complete in $C(I)$ if…
A self-dual algebras is one isomorphic as a module to the opposite of its dual; a quasi self-dual algebra is one whose cohomology with coefficients in itself is isomorphic to that with coefficients in the opposite of its dual. For these…
Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…
We study symmetries enjoyed by the polynomials enumerating non-degenerate flags in finite vector spaces, equipped with a non-degenerate alternating bilinear, hermitian or quadratic form. To this end we introduce Igusa-type rational…
We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of…
In this article we prove that, under certain hypotheses, Morita context algebras that have zero bimodule morphisms have finite $\phi$-dimension. We also study the behaviour of the $\phi$-dimension for an algebra and its opposite. In…
We investigate left and right co-Frobenius coalgebras and give equivalent characterizations which prove statements dual to the characterizations of Frobenius algebras. We prove that a coalgebra is left and right co-Frobenius if and only if…
Let $G \subset {\mathbb R}^{n}$ be an open convex set which is either bounded or contains a translation of a convex cone with nonempty interior. It is known that then, for every modulus $\omega$, every function on $G$ which is both…
Given a complete, cocomplete category $\mathcal C$, we investigate the problem of describing those small categories $I$ such that the diagonal functor $\Delta:\mathcal C\to {\rm Functors}(I,\mathcal C)$ is a Frobenius functor. This…
A basic finite dimensional algebra over an algebraically closed field $k$ is isomorphic to a quotient of a tensor algebra by an admissible ideal. The category of left modules over the algebra is isomorphic to the category of representations…
We make a first approach to the representation theory of the wedge product of coalgebras by means of the description of its valued Gabriel quiver. Then we define semiprime coalgebras and study its category of comodules by the use of…
We give an example of a convex, finite and lower semicontinuous function whose subdifferential is everywhere empty. This is possible since the function is defined on an incomplete normed space. The function serves as a universal…
Let $C$ be a $k$-coalgebra, where $k$ is a field. The category of pseudocompact left $C^*$-modules is dual to both the category of discrete right $C^*$-modules and to the category of left $C$-comodules. We obtain this way two sides of a…
A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial…