Author:
GUMM H. PETER,SCHRÖDER TOBIAS
Abstract
We use some results of Trnková to show first that subcoalgebras are always closed under
finite intersections. Assuming that the type functor F is bounded, we obtain a concrete
representation of the terminal F-coalgebra. We also provide several equivalent
characterizations of boundedness.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献