Hostname: page-component-76fb5796d-25wd4 Total loading time: 0 Render date: 2024-04-25T14:53:30.415Z Has data issue: false hasContentIssue false
  • English
  • Français

Idempotents in bicategories

Published online by Cambridge University Press:  17 April 2009

R. Paré ,
R. Rosebrugh  and
R.J. Wood
R. Paré
Affiliation:
Dept of Math, Stats and Comp Sci, Dalhousie University, Halifax, Nova Scotia Canada. B3H 3J5
R. Rosebrugh
Affiliation:
Department of Math and Computer Science, Mount Allison University, Sackville, New Brunswick E0A 3C0Canada.
R.J. Wood
Affiliation:
Dept of Math, Stats and Comp Sci, Dalhousie University, Halifax, Nova Scotia Canada. B3H 3J5
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

It is shown that the category of fixed points of a left exact idempotent functor on a topos is again a topos. As well as a direct proof, a bicategorical proof is given which shows that the result only depends on certain bicategorical exactness properties.

Type
Research Article
Information
Bulletin of the Australian Mathematical Society , Volume 39 , Issue 3 , June 1989 , pp. 421 - 434
Copyright
Copyright © Australian Mathematical Society 1989

References

[1] Bénabou, J., ‘Introduction to bicategories,’, in Lecture Notes in Math 47, pp. 1–77 (Springer-Verlag, Berlin, Heidelberg, New York, 1967).Google Scholar
[2] Jay, C.B., ‘Languages for monoidal categories’, (preprint).Google Scholar
[3] Johnstone, P.T., Topos Theory (Academic Press, New York, 1977).Google Scholar
[4] Mac Lane, S., Categories for the Working Mathematician (Springer-Verlag, Berlin, Heidelberg, New York, 1971).CrossRefGoogle Scholar
[5] Rosebrugh, R.D. and Wood, R.J., ‘Cofibrations in the bicategory of topoi’, J. Pure Appl. Algebra 32 (1984), 71–94.CrossRefGoogle Scholar
[6] Rosebrugh, R.D. and Wood, R.J., ‘Cofibrations II: left exact right actions and composition of gamuts’, J. Pure Appl. Algebra 39 (1986), 283–300.CrossRefGoogle Scholar
[7] Street, R.H., ‘The formal theory of monads’, J. Pure Appl. Algebra 2 (1972), 149–168.CrossRefGoogle Scholar
[8] Street, R.H., ‘Fibrations in bicategories’, Cahiers de Topol. et Géom. Diff. 21 (1980), 111–160.Google Scholar
[9] Thiébaud, M., Self-dual structure-semantics and algebraic categories, Thesis, Dalhousie University, 1971.Google Scholar
[10] Wood, R.J., ‘Abstract proarrows I’, Cahiers de Topol. et Géom. Diff. 23 (1982), 279–290.Google Scholar
[11] Wood, R.J., ‘Proarrows II’, Cahiers de Topol. et Géom. Diff. 26 (1985), 135–168.Google Scholar