We prove that any endofunctor on a class-theoretic category has a final coalgebra. Moreover, we characterize functors on set-theoretic categories which are identical on objects, and functors which are constant on objects
AbstractWe study properties of functors on categories of sets (classes) together with set (class) fu...
AbstractGiven an endofunctor F on the category of sets, we investigate how the structure theory of S...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the co...
We study properties of functors on categories of sets (classes) together with set (class) functions....
AbstractWe study properties of functors on categories of sets (classes) together with set (class) fu...
AbstractThe category Class of classes and functions is proved to have a number of properties suitabl...
This paper presents an elementary and self-contained proof of an existence theorem of final coalgebr...
This paper presents an elementary and self-contained proof of an existence theorem of final coalgebr...
This paper presents an elementary and self-contained proof of an existence theorem of final coalgebr...
AbstractThis paper presents an elementary and self-contained proof of an existence theorem of final ...
AbstractContinuous endofunctors F of locally finitely presentable categories carry a natural metric ...
This paper has two purposes. The first is to present a final coalgebra construction for finitary end...
In a previous paper, we investigated the relation between the initial algebra and terminal coalgebra...
AbstractWe extend Barr's well-known characterization of the final coalgebra of a Set-endofunctor as ...
AbstractWe extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H a...
AbstractWe study properties of functors on categories of sets (classes) together with set (class) fu...
AbstractGiven an endofunctor F on the category of sets, we investigate how the structure theory of S...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the co...
We study properties of functors on categories of sets (classes) together with set (class) functions....
AbstractWe study properties of functors on categories of sets (classes) together with set (class) fu...
AbstractThe category Class of classes and functions is proved to have a number of properties suitabl...
This paper presents an elementary and self-contained proof of an existence theorem of final coalgebr...
This paper presents an elementary and self-contained proof of an existence theorem of final coalgebr...
This paper presents an elementary and self-contained proof of an existence theorem of final coalgebr...
AbstractThis paper presents an elementary and self-contained proof of an existence theorem of final ...
AbstractContinuous endofunctors F of locally finitely presentable categories carry a natural metric ...
This paper has two purposes. The first is to present a final coalgebra construction for finitary end...
In a previous paper, we investigated the relation between the initial algebra and terminal coalgebra...
AbstractWe extend Barr's well-known characterization of the final coalgebra of a Set-endofunctor as ...
AbstractWe extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H a...
AbstractWe study properties of functors on categories of sets (classes) together with set (class) fu...
AbstractGiven an endofunctor F on the category of sets, we investigate how the structure theory of S...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the co...
DOI
Add to ORKG