Related papers: Logical Construction of Final Coalgebras

We explain how to attach a coalgebra $\mathcal C$ over a field $k$ to a small $k$-linear category $\mathsf E$ satisfying suitable finiteness conditions. In this context, we study full-and-faithfulness of the contramodule forgetful functor,…

As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…

Let $A \cong k\langle X \rangle / I$ be an associative algebra. A finite word over alphabet $X$ is $I${\it-reducible} if its image in $A$ is a $k$-linear combination of length-lexicographically lesser words. An {\it obstruction} in a…

We consider the functor C that to a unital C*-algebra A assigns the partial order set C(A) of its commutative C*-subalgebras ordered by inclusion. We investigate how some C*-algebraic properties translate under the action of C to…

Polynomial functors are a categorical generalization of the usual notion of polynomial, which has found many applications in higher categories and type theory: those are generated by polynomials consisting a set of monomials built from sets…

We prove that in every finitely generated profinite group, every subgroup of finite index is open; this implies that the topology on such groups is determined by the algebraic structure. This is deduced from the main result about finite…

The construction of the cotensor coalgebra for an "abelian monoidal" category $\M$ which is also cocomplete, complete and AB5, was performed in [A. Ardizzoni, C. Menini and D. \c{S}tefan, \emph{Cotensor Coalgebras in Monoidal Categories},…

We prove that a finite dimensional algebra $\Lambda$ is $\tau-$tilting finite if and only if all the bricks over $\Lambda$ are finitely generated. This is obtained as a consequence of the existence of proper locally maximal torsion classes…

In this paper we give an explicit algorithm to construct the ordinary quiver of a finite EI category for which the endomorphism groups of all objects have orders invertible in the field k. We classify all finite EI categories with…

We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give…

We introduce an enriched notion of a coalgebra over an operad P in a symmetric monoidal V-category C. When C is semicartesian and P is unital, we construct a V-endofunctor on C associated to P and give conditions under which it is a…

The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be fully abstract, i.e. a…

We show that finitely generated cohomology is invariant under separable equivalences for all algebras. As a result, we obtain a proof of the finite generation of cohomology for finite symmetric tensor categories in characteristic zero, as…

We observe that a finitely generated algebraic algebra R (over a field) is finite dimensional if and only if the associated graded ring grR is right noetherian, if and only if grR has right Krull dimension, if and only if grR satisfies a…

We give a classification of all exact structures on a given idempotent complete additive category. Using this, we investigate the structure of an exact category with finitely many indecomposables. We show that the relation of the…

The category of internal coalgebras in a cocomplete category $\mathcal{C}$ with respect to a variety $\mathcal{V}$ is equivalent to the category of left adjoint functors from $\mathcal{V}$ into $\mathcal{C}$. This can be seen best when…

We demonstrate that any full and faithful $*$-functor between approximable categories of locally finite coarse spaces induces a coarse embedding between the underlying spaces. Furthermore, we establish a general characterisation of such…

For endofunctors of varieties preserving intersections, a new description of the final coalgebra and the initial algebra is presented: the former consists of all well-pointed coalgebras. These are the pointed coalgebras having no proper…

This paper provides several characterizations of final functors between internal groupoids in Barr-exact categories. In particular, it is proved that an internal functor between groupoids is final if and only if it is full and essentially…

We prove that two finite-dimensional commutative algebras over an algebraically closed field are isomorphic if and only if they give rise to isomorphic representations of the category of finite sets and surjective maps.