Documents Related by Co-Citation

16 An Axiomatics for Bicategories of modules – A Carboni, S Kasagnian, R Walters - 1987
29 A logic for coalgebraic simulation – Alexandru Baltag - 2000
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
113 Metric spaces, generalized logic and closed categories. Rendiconti del Seminario Matematico e Fisico di – W Lawvere - 1973
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
33 Variation through Enrichment – R Betti, A Carboni, R Street, R Walters - 1983
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
18 Relators and metric bisimulations – J J M M Rutten - 1998
33 The Temporal Logic of Coalgebras via Galois Algebras – Bart Jacobs - 1999
84 Formal category theory: adjointness for 2-categories – J W Gray - 1974
137 Review of the elements of 2-categories – Max Kelly, Ross Street
78 Cartesian bicategories I – A Carboni, R F C Walters - 1987
32 Yoneda structures on 2categories – R Street, R F C Walters - 1978
19 ENRICHED CATEGORIES AND COHOMOLOGY – Ross Street - 2005
126 The formal theory of monads – Ross Street - 1972
113 Coherence for tricategories – R Gordon, A J Power, R Street - 1995
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
2 Proarrows 2. Cahiers de topologie et g'eometrie diff'erentielle cat'egoriques – R J Wood - 1985
11 Order ideals in categories – Aurelio Carboni, Ross Street - 1986