research
∙
03/20/2023
On Kripke, Vietoris and Hausdorff Polynomial Functors
The Vietoris space of compact subsets of a given Hausdorff space yields ...
research
∙
04/20/2021
An Initial Algebra Theorem Without Iteration
The Initial Algebra Theorem by Trnková et al. states, under mild assumpt...
research
∙
02/12/2021
Algebraic cocompleteness and finitary functors
A number of categories is presented that are algebraically complete and ...
research
∙
12/13/2019
A farewell to Professor RNDr. Věra Trnková, DrSc
This is an introduction of the volume of the journal Commentationes Math...
research
∙
11/14/2019
On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration
For every finitary monad T on sets and every endofunctor F on the catego...
research
∙
10/21/2019
On Well-Founded and Recursive Coalgebras
This paper studies fundamental questions concerning category-theoretic m...
research
∙
06/26/2019
On free completely iterative algebras
For every finitary set functor F we demonstrate that free algebras carry...
research
∙
04/06/2018