SCOPUS 정보 검색 플랫폼

Theoretical Computer Science

Volumn 260, Issue 1-2, 2001, Pages 87-117

On the structure of categories of coalgebras

(5) Johnstone, Peter a Power, John b Tsujishita, Toru c Watanabe, Hiroshi d Worrell, James e

a UNIVERSITY OF CAMBRIDGE (United Kingdom)

b UNIVERSITY OF EDINBURGH (United Kingdom)

c HOKKAIDO UNIVERSITY (Japan)

d ELECTROTECHNICAL LABORATORY (Japan)

e UNIVERSITY OF OXFORD (United Kingdom)

Author keywords

Classifier; Coalgebra; Cofree comonad; Subobject; Topos; Weak pullback

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA STRUCTURES;

COALGEBRA;

BOOLEAN ALGEBRA;

EID: 0034920651 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00124-9 Document Type: Article

Times cited : (41)

References (40)

1
- 0003253658
- Non-well-founded sets
- Stanford University
- (1988) CSLI Lecture Notes , vol.14
- Aczel, P.¹

2
- 80051905264
- A final coalgebra theorem
- Category Theory and Computer Science, Springer, Berlin
- (1989) Lecture Notes in Computer Science , vol.389 , pp. 357-365
- Aczel, P.¹ Mendler, P.F.²

3
- 0002367970
- Exact categories
- Exact Categories and Categories of Sheaves, Springer, Berlin
- (1971) Lecture Notes in Math. , vol.236 , pp. 1-120
- Barr, M.¹

4
- 0027610699
- Terminal coalgebras in well-founded set theory
- (1993) Theoret. Comput. Sci. , vol.114 , pp. 299-315
- Barr, M.¹

5
- 85037881364
- Type theory via exact categories
- Proc. 13th IEEE Symp. on Logic in Computer Science, Silver Springs, MD
- (1998) IEEE Computer Soc. Press
- Birkedal, L.¹ Carboni, A.² Rosolini, G.³ Scott, D.S.⁴

6
- 84973952795
- Connected limits, familial representability and Artin glueing
- (1995) Math. Struct. Comput. Sci. , vol.5 , pp. 441-459
- Carboni, A.¹ Johnstone, P.T.²

7
- 0002538424
- A 2-categorical approach to change of base and geometric morphisms I
- (1991) Cahiers Topologie Géom. Differentiable Catégoriques , vol.32 , pp. 47-95
- Carboni, A.¹ Kelly, G.M.² Wood, R.J.³

8
- 84976041919
- The free exact category on a left exact one
- (1982) J. Austral. Math. Soc., Series A , vol.33 , pp. 295-301
- Carboni, A.¹ Magno, R.C.²

9
- 0032013501
- Regular and exact completions
- (1998) J. Pure Appl. Algebra , vol.125 , pp. 79-116
- Carboni, A.¹ Vitale, E.M.²

10
- 84951044449
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- to appear; extended abstract in Proc. ICALP '97, Lecture Notes in Computer Science, Springer, Berlin
- (1997) Theoret. Comput. Sci. , vol.1256 , pp. 460-470
- De Vink, E.¹ Rutten, J.J.M.M.²

11
- 38249038191
- Exponentiable morphisms, partial products and pullback complements
- (1987) J. Pure Appl. Algebra , vol.49 , pp. 103-116
- Dyckhoff, R.¹ Tholen, W.²

12
- 0004470101
- Categories, allegories
- Elsevier
- (1990) North-Holland Mathematical Library , vol.39
- Freyd, P.¹ Scedrov, A.²

13
- 0002177623
- First steps in synthetic domain theory
- Category Theory, Springer, Berlin
- (1991) Lecture Notes in Math. , vol.1488 , pp. 131-156
- Hyland, J.M.E.¹

14
- 0003252837
- Topos theory
- Academic Press, New York
- (1977) LMS Mathematical Monographs , vol.10
- Johnstone, P.T.¹

15
- 84974230575
- Finiteness and decidability: II
- (1978) Math. Proc. Cambridge Philos. Soc. , vol.84 , pp. 207-218
- Johnstone, P.T.¹ Linton, F.E.J.²

16
- 47249146816
- An axiomatics for categories of transition systems as coalgebras
- IEEE Computer Soc. Press, Silver Spring, MD
- (1998) Proc. 13th IEEE Symp. on Logic in Computer Science
- Johnstone, P.T.¹ Power, A.J.² Tsujishita, T.³ Watanabe, H.⁴ Worrell, J.⁵

17
- 0000433919
- Algebraic theories in toposes
- Indexed Categories and their Applications, Springer, Berlin
- (1978) Lecture Notes in Math. , vol.661 , pp. 141-242
- Johnstone, P.T.¹ Wraith, G.C.²

18
- 0001452223
- Bisimulation and open maps
- (1996) Inform and Comput. , vol.127 , pp. 164-185
- Joyal, A.¹ Nielsen, M.² Winskel, G.³

19
- 84971195724
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- (1980) Bull. Austral. Math. Soc. , vol.22 , pp. 1-83
- Kelly, G.M.¹

20
- 84973960125
- Elementary observations on 2-categorical limits
- (1989) Bull. Austral. Math. Soc. , vol.39 , pp. 301-317
- Kelly, G.M.¹

21
- 0004473309
- Elementary toposes
- (1971) Aarhus Universitet Lecture Notes Series , vol.30
- Kock, A.¹ Wraith, G.C.²

22
- 0000603447
- Subequalizers
- (1970) Canad. Math. Bull. , vol.13 , pp. 337-349
- Lambek, J.¹

23
- 0002191955
- Coequalizers in categories of algebras
- Seminar on Triples and Categorical Homology Theory, Springer, Berlin
- (1969) Lecture Notes in Math. , vol.80 , pp. 75-90
- Linton, F.E.J.¹

24
- 0004526859
- Categories for the Working Mathematician, Springer, Berlin
- (1971) Graduate Texts in Mathematics , vol.5
- Mac Lane, S.¹

25
- 0003665261
- Springer, Berlin
- (1992) Sheaves in Geometry and Logic
- Mac Lane, S.¹ Moerdijk, I.²

26
- 0009231101
- Elementary categories, elementary toposes
- Oxford University Press, Oxford
- (1992) Oxford Logic Guides , vol.21
- McLarty, C.¹

27
- 0003230384
- Accessible categories: The foundations of categorical model theory
- Amer. Math. Soc. Providence, RI
- (1989) Contemporary Mathematics , vol.104
- Makkai, M.¹ Paré, R.²

28
- 19044379366
- An axiomatics for categories of coalgebras
- (1998) Electron. Notes Theoret. Comput. Sci. , vol.11
- Power, A.J.¹ Watanabe, H.²

29
- 84976111956
- An approach to object semantics based on terminal co-algebras
- (1995) Math. Struct. Comput. Sci. , vol.5 , pp. 129-152
- Reichel, H.¹

30
- 0004517364
- Pullback preserving functors
- (1991) J. Pure Appl. Algebra , vol.73 , pp. 73-90
- Rosebrugh, R.D.¹ Wood, R.J.²

31
- 0033615449
- Cartesian closed exact completions
- (1999) J. Pure Appl. Algebra , vol.142 , pp. 261-270
- Rosický, J.¹

32
- 0001986854
- Universal coalgebra: A theory of systems
- (2000) Theoret. Comput. Sci. , vol.249 , pp. 3-80
- Rutten, J.J.M.M.¹

33
- 0001929530
- Relators and metric bisimulations
- (1998) Electron. Notes Theoret. Comput. Sci. , vol.11 , pp. 1-7
- Rutten, J.J.M.M.¹

34
- 84962687423
- On the foundations of final semantics: Non-standard sets, metric spaces, partial orders
- Semantics: Foundations and Applications, Springer, Berlin
- (1993) Lecture Notes in Computer Science , vol.666 , pp. 477-530
- Rutten, J.J.M.M.¹ Turi, D.²

35
- 4243576690
- Hokkaido Univ. Preprint Series in Mathematics
- (1997) Monoidal closedness of the category of simulations , vol.392
- Tsujishita, T.¹ Watanabe, H.²

36
- 0004491164
- A criterion for the existence of subobject classifiers
- (1999) Hokkaido Math. J. , vol.28 , pp. 117-132
- Watanabe, H.¹

37
- 0004497605
- The subobject classifier of the category of functional bisimulations
- (1999) Hokkaido Math. J. , vol.28 , pp. 301-314
- Watanabe, H.¹

38
- 0004517365
- Toposes of coalgebras and hidden algebras
- (1998) Electron. Notes Theoret. Comput. Sci. , vol.11
- Worrell, J.¹

39
- 0001480054
- Artin glueing
- (1974) J. Pure Appl. Algebra , vol.4 , pp. 345-348
- Wraith, G.C.¹

40
- 0004100103
- World Scientific, Singapore
- (1991) Lecture Notes on Topoi and Quasitopoi
- Wyler, O.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.