Watanabe H., The subobject classifier of the category of functional bisimulations (submitted), 1997.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....E expressed as a condition in the presheaf category. Moreover we give the subobject classifier concretely by using the presheaves if there exists a subobject classifier. This criterion is used heavily in the proof of the existence of subobject classifier in the category of functional bisimulations[6]. We expect this applicable to other similar problems. 3 This work was done when the author was in Department of Mathematics, Hokkaido University. We proceed as follows. In Section 2 we recall general facts on the adjunction between a cocomplete category E and the category of presheaves over ....

Watanabe H., The subobject classifier of the category of functional bisimulations (submitted), 1997.

.... for a particular H, namely that H taking a set X to the set of its nonempty finite subsets, the subobject classifier amounts to the set of hypersets [12] or the set of sets satisfying Aczel s anti foundation axiom [1] For that specific H, the category of H coalgebras is studied in detail in [13,15] and in Watanabe s thesis [16] There is a rapidly growing body of research on the category H 0 Coalg. One substantial work is Michael Barr s paper [2] in which he showed that the forgetful functor U : H 0 Coalg 0 Set has a right adjoint, and analysed structures relevant to that. He also ....

H. Watanabe, The subobject classifier of the category of functional bisimulations (submitted).

No context found.

H. Watanabe, The subobject classifier of the category of functional bisimulations (draft).

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