On a bicomma object condition for KZ-doctrines

Journal of Pure and Applied Algebra

Volumn 143, Issue 1-3, 1999, Pages 69-105

  Bunge, Marta ^a   Funk, Jonathon ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033544196     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(98)00108-X     Document Type: Article

References (21)

1. M. Artin, A. Grothendieck, J.L. Verdier, Théorie des topos, in SGA4, exposés I-VI, 2nd. Ed., Lecture Notes in Mathematics, vol. 420, Springer, Berlin, 1972, pp. 1-340.
2. M. Barr, R. Paré, Molecular toposes, J. Pure Appl. Algebra 17 (1980) 127-152.
3. M. Bunge, A. Carboni, The symmetric topos, J. Pure Appl. Algebra 105 (1995) 233-249.
4. M. Bunge, J. Funk, Constructive theory of the lower power locale, Math. Struct. Comput. Sci. 6 (1996) 1-15.
5. M. Bunge, J. Funk, Spreads and the symmetric topos, J. Pure Appl. Algebra 113 (1996) 1-38.
6. M. Bunge, J. Funk, Spreads and the symmetric topos II, J. Pure Appl. Algebra 130 (1998) 49-84.
7. A. Carboni, P.T. Johnstone, Connected limits, familial representability and Artin glueing, Math. Struct. Comput. Sci. 5 (1993) 441-459.
8. M. Fiore, Lifting as a KZ-doctrine, in: D. Pitt et al. (Eds.), Category Theory and Computer Science, Lecture Notes in Computer Science, vol. 953, Springer, Berlin, 1995, pp. 146-158.
9. P.T. Johnstone, A constructive "closed subgroup theorem" for localic groups and groupoids, Cahiers de Top. et Géom. Diff. Catégoriques 30 (1989) 3-23.
10. P.T. Johnstone, Partial products, bagdomains and hyperlocal toposes, in: M.P. Fourman, P.T. Johnstone, A.M. Pitts (Eds.), Applications of Categories in Computer Science, London Mathematical Society Lecture Notes Series, Vol. 177, Cambridge University Press, Cambridge, 1992, pp. 315-339.
11. A. Joyal, M. Tierney, An extension of the Galois theory of Grothendieck, Memoirs of the American Mathematical Society, vol. 309, 1984.
12. A. Kock, Monads for which structure are adjoints to units, J. Pure Appl. Algebra 104 (1995) 41-59.
13. S. Mac Lane, Categories for the Working Mathematician, Springer, Berlin, 1971.
14. F. Marmolejo, Doctrines whose structure forms a fully faithful adjoint string, Theory Appl. Categories 3(2) (1997) 24-44.
15. A.M. Pitts, On product and change of base for toposes, Cahiers de Top. et Géom. Diff. Catégoriques 26(1) (1985) 43-61.
16. A.M. Pitts, Lax descent for essential surjections, Cambridge Mathematics Conference, July 1986, unpublished.
17. R. Street, Fibrations and Yoneda's lemma in a 2-category, in: Category Seminar, Sydney 1972/73, Lecture Notes in Mathematics, vol. 420, Springer, Berlin, 1974, pp. 104-133.
18. R. Street, Fibrations in bicategories, Cahiers de Top. et Géom. Diff. Catégoriques 21 (1980) 111-160.
19. R. Street, Conspectus of Variable Categories, Unpublished.
20. S. Vickers, Locales are not pointless, in: C. Hankin et al. (Eds.), Theory and Formal Methods 1994: Proc. 2nd Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Imperial College Press, Cambridge, 1995.
21. V. Zöberlein, Doctrines on 2-categories, Math. Z. (1976) 267-279.