Some properties of Fib as a fibred 2-category

Journal of Pure and Applied Algebra

Volumn 134, Issue 1, 1999, Pages 83-109

  Hermida, Claudio ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033524251     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(97)00129-1     Document Type: Article

References (17)

1. J. Bénabou, Fibred categories and the foundation of naive category theory, J. Symbolic Logic 50 (1985) 10-37.
2. J.W. Gray, Fibred and cofibred categories, in: S. Eilenberg (Ed.), Proc. Conf. on Categorical Algebra, Springer, Berlin, 1966.
3. J.W. Gray, Formal category theory: Adjointness for 2-categories, Lecture Notes in Mathematics, vol. 391, Springer, Berlin, 1974.
4. C. Hermida, Fibrations, Logical Predicates and Related Topics, Ph.D. Thesis, University of Edinburgh, 1993; Technical Report ECS-LFCS-93-277, also available as Aarhus Univ. DAIMI Technical Report PB-462.
5. C. Hermida, B. Jacobs, An algebraic view of structural induction, in: L. Pacholski, J. Tiuryn (Eds.), Proc. CSL'94, Computer Science Logic, Lecture Notes in Computer Science, vol. 933, Springer, Berlin, 1995, pp. 412-426.
6. C. Hermida, B. Jacobs, Fibrations with indeterminates: Contextual and functional completeness for polymorphic lambda calculi, Math. Struct. Comput. Sci. 5 (1995) 501-531.
7. C. Hermida, B. Jacobs, Structural induction and coinduction in a fibrational setting, Inform. Comput., submitted; Preliminary version in Proc. CLICS/TYPES Workshop, Götenburg, 1995.
8. B. Jacobs, Categorical Type Theory, Ph.D. Thesis, Nijmegen, 1991.
9. P.T. Johnstone, Fibrations and partial products in a 2-category, Appl. Categorical Struct. 1 (1993).
10. A. Joyal, R. Street, Pullbacks equivalent to pseudopullbacks, Cahiers Topologie Géom. Differentielle Catégoriques, XXXIV(2) (1993) 153-156.
11. G.M. Kelly, Elementary observations on 2-categorical limits, Bull. Austral. Math. Soc. 39 (1989) 301-317.
12. G.M. Kelly, R.H. Street, Review of the elements of 2-categories, in: A. Dold, B. Eckmann (Eds.), Category Seminar, Lecture Notes in Mathematics, vol. 420, Springer, Berlin, 1974.
13. D. Pavlović, Predicates and Fibrations, Ph.D. Thesis, University of Utrecht, 1990.
14. A.M. Pitts, Polymorphism is set theoretic, constructively, in: Proc. Conf. on Category Theory and Computer Science, Edinburgh, UK, 1987, Lecture Notes in Computer Science, vol. 283, Springer, Berlin, 1987, pp. 12-39.
15. R. Street, The formal theory of monads, J. Pure Appl. Algebra 2 (1972) 149-168.
16. R. Street, Two constructions on lax functors, Cahiers Topologie Géom. Differentielle Catégoriques 13 (1972) 217-264.
17. R. Street, Fibrations and Yoneda's lemma in a 2-category, in: A. Dold, B. Eckmann (Eds.), Category Seminar, Lecture Notes in Mathematics, vol. 420, Springer, Berlin, 1974, pp. 104-133.