# nLab Marta Bunge

Marta Bunge is a Canadian mathematician. Her research includes fibered categories, stacks and groupoids, topos theory, geometric Galois theory of covering spaces

• homepage

• Categories of Set-Valued Functors, thesis, University of Pennsylvania, 1966

• Relative functor categories and categories of algebras, J. of Algebra 11,1 (1969), 64-101, MR236238 doi

• Internal presheaves toposes, Cahiers de Top. et Géom. Diff. Catég. 18, no. 3 (1977), p. 291-330 numdam MR460417

• Stack completions and Morita equivalence for categories in a topos, Cahiers de Top. et Géom. Diff. Catég. 20, no. 4 (1979), p. 401-436 numdam MR558106

• Marta Bunge, Stacks and equivalence of indexed categories Cahiers de Top. et Géom. Diff. Catég. 20, no. 4 (1979), p. 373-399 numdam MR558105

• Marta Bunge, Eduardo Dubuc, Archimedian local $C^\infty$-rings and models of synthetic differential geometry Cahiers de Topologie et Géométrie Différentielle Catégoriques 27, no. 3 (1986), p. 3-22, numdam

• Marta Bunge, Aurelio Carboni, The symmetric topos, J. Pure Appl. Algebra 105 (1995), no. 3, 233–249, MR96i:18004, doi

• Marta Bunge, Steve Lack, van Kampen theorem for toposes, ps

• Marta Bunge, Jonathan Funk, Singular coverings of toposes, Springer Lect. Notes in Math. 1890, (2006); Quasi locally connected toposes, Theory Appl. Categ. 18 (2007), No. 8, 209–239, pdf

• Galois groupoids and covering morphisms in topos theory, Galois theory, Hopf algebras, and semiabelian categories, 131–161, Fields Inst. Commun. 43, Amer. Math. Soc. 2004, links.

• Classifying toposes and fundamental localic groupoids, Category theory 1991 (Montreal, PQ, 1991), 75–96, CMS Conf. Proc. 13, Amer. Math. Soc. 1992.

• Marta Bunge, Claudio Hermida, Pseudomonodacity and 2-stack completions, in Models, Logics, and Higher-Dimensional Categories, CRM Proceedings and Lecture Notes 53, pp. 29-54, Amer. Math. Soc. 2011.

Marta Bunge reported at the category conference in Calais in June 2008 about her joint work with Claudio Hermida about some aspects of Diaconescu-type results in categorical dimension 2. Her slides from Calais can be found here. There are also some conjectural statements about higher n, with an interesting definition when an n-functor between strict n-categories should be called a fibered n-category.

category: people

Revised on September 9, 2011 17:26:24 by Zoran Škoda (161.53.130.104)