J. Power and H. Watanabe. An axiomatics for categories of coalgebras. In CMCS'98 - Workshop on Coalgebraic Methods in Computer Science, Lisbon. ENTCS, volume 11, Elsevier, March 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Coalgebras and Modal Logic for Parameterised Endofunctors - Kurz, Pattinson (2000) (1 citation) (Correct)
.... (split) equalisers, hence UL creates them) ii) In case that bres have factorisation structures for sinks (E; M) with sinks in E being epi (see [2] 15.7) iii) In case that C is locally presentable and the Omega L are accessible (then the bres are locally presentable and hence complete, see [19]) In the remainder of this section we investigate when one can dispense with the assumption that bres have equaliseres. The crucial observation is that, for the use of the adjoint lifting theorem, it is enough that bres have equalisers of coreAEexive pairs, i.e. equalisers of parallel pairs f; g ....
J. Power and H. Watanabe. An axiomatics for categories of coalgebras. In B. Jacobs, L. Moss, H. Reichel, and J. Rutten, editors, Coalgebraic Methods in Computer Science (CMCS'98), volume 11 of Electronic Notes in Theoretical Computer Science, 1998.
Terminal Sequences for Accessible Endofunctors - Nc To Rs (Correct)
.... accessible set functors preserving the subcategory of sets of size less than or equal to . Finally, Barr s terminal coalgebra theorem, though stated for set functors, is not speci c to Set. For an endofunctor T on a locally presentable category, accessibility of T is a sucient and, as [16] argues, quite a natural requirement for T to have a terminal coalgebra. Thus we are led to study the terminal sequences of accessible endofunctors on locally presentable categories. A good proportion of the literature deals with coalgebras of op continuous endofunctors; for such functors ....
J. Power and H. Watanabe. An axiomatics for categories of coalgebras. Elect. Notes Theor. Comp. Sci. 11 (1998).
Algebraic and Coalgebraic Structures (Lecture Notes for.. - Barbosa (2003) (Correct)
No context found.
J. Power and H. Watanabe. An axiomatics for categories of coalgebras. In CMCS'98 - Workshop on Coalgebraic Methods in Computer Science, Lisbon. ENTCS, volume 11, Elsevier, March 1998.
On Tree Coalgebras and Coalgebra Presentations - Adamek, Porst (2002) (Correct)
No context found.
J. Power and H. Watanabe. An axiomatics for categories of coalgebras. Electronic Notes in Comp. Sci. 11 (1998).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC