论文信息 - Some properties of Fib as a fibred 2-category

Some properties of Fib as a fibred 2-category

Abstract We consider some basic properties of the 2-category Fib of fibrations over arbitrary bases, exploiting the fact that it is fibred over Cat. We show a factorisation property for adjunctions in Fib, which has direct consequences for fibrations, e.g. a characterisation of limits and colimits for them. We also consider oplax colimits in Fib, with the construction of Kleisli objects as a particular example. All our constructions are based on an elementary characterisation of Fib as a 2-fibration.

Claudio Hermida | C. Hermida

[1] Bart Jacobs,et al. Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi , 1995, Math. Struct. Comput. Sci..

[2] J. Gray. Fibred and Cofibred Categories , 1966 .

[3] Peter T. Johnstone,et al. Fibrations and partial products in a 2-category , 1993, Appl. Categorical Struct..

[4] Bart Jacobs,et al. An Algebraic View of Structural Induction , 1994, CSL.

[5] Dusko Pavlovic,et al. Predicates and Fibrations , 1990 .

[6] Jean Benabou,et al. Fibered categories and the foundations of naive category theory , 1985, Journal of Symbolic Logic.

[7] Ross Street,et al. Fibrations and Yoneda's lemma in a 2-category , 1974 .

[8] Bart Jacobs,et al. Categorical type theory , 1991 .

[9] Ross Street,et al. Pullbacks equivalent to pseudopullbacks , 1993 .

[10] R. Street,et al. Review of the elements of 2-categories , 1974 .

[11] G. M. Kelly. Elementary observations on 2-categorical limits , 1989, Bulletin of the Australian Mathematical Society.

[12] Bart Jacobs,et al. Structural Induction and Coinduction in a Fibrational Setting , 1998, Inf. Comput..

[13] John W. Gray,et al. Formal category theory: adjointness for 2-categories , 1974 .

[14] Andrew M. Pitts,et al. Polymorphism is Set Theoretic, Constructively , 1987, Category Theory and Computer Science.

[15] R. Street. Two constructions on Lax functors , 1972 .