DOIAbstract
AbstractThis paper presents an elementary and self-contained proof of an existence theorem of final coalgebras for endofunctors on the category of sets and functions
AbstractThis paper presents an elementary and self-contained proof of an existence theorem of final coalgebras for endofunctors on the category of sets and functions
AbstractThe category Class of classes and functions is proved to have a number of properties suitabl...
AbstractWe extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H a...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the co...
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 ...
We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ i...
We prove that any endofunctor on a class-theoretic category has a final coalgebra. Moreover, we char...
AbstractWe prove that every finitary polynomial endofunctor of a category C has a fin...
AbstractContinuous endofunctors F of locally finitely presentable categories carry a natural metric ...
The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (smal...
AbstractGiven an endofunctor F on the category of sets, we investigate how the structure theory of S...
This paper has two purposes. The first is to present a final coalgebra construction for finitary end...
AbstractThis paper shows that, in order to obtain the theorem of Aczel and Mendler on the existence ...
AbstractThe category Class of classes and functions is proved to have a number of properties suitabl...
AbstractWe extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H a...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the co...
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 ...
We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ i...
We prove that any endofunctor on a class-theoretic category has a final coalgebra. Moreover, we char...
AbstractWe prove that every finitary polynomial endofunctor of a category C has a fin...
AbstractContinuous endofunctors F of locally finitely presentable categories carry a natural metric ...
The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (smal...
AbstractGiven an endofunctor F on the category of sets, we investigate how the structure theory of S...
This paper has two purposes. The first is to present a final coalgebra construction for finitary end...
AbstractThis paper shows that, in order to obtain the theorem of Aczel and Mendler on the existence ...
AbstractThe category Class of classes and functions is proved to have a number of properties suitabl...
AbstractWe extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H a...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the co...
Add to ORKG