1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LO2023
Terminal Coalgebras in Countably Many Steps
Jiří Adámek, Stefan Milius, Lawrence S. Moss
We present a collection of results that imply that an endofunctor on a category has a terminal coalgebra obtainable as a countable limit of its terminal-coalgebra chain. This holds…
cs.LO2021★ 1 cited
An Initial Algebra Theorem Without Iteration
Jiří Adámek, Stefan Milius, Lawrence S. Moss
The Initial Algebra Theorem by Trnková et al.~states, under mild assumptions, that an endofunctor has an initial algebra provided it has a pre-fixed point. The proof crucially depe…
cs.LO2019
A farewell to Professor RNDr. Věra Trnková}, DrSc
Jiří Adámek
This is an introduction of the volume of the journal Commentationes Mathematicae Universitatis Caroalinae dedicated to the memory of Věra Trnková}.