| |
Teaching experience
and appointments |
Employment.
- 1971-73: Research Grant of M.P.I. (Ministero Pubblica Istruzione),
University of Milan.
- 1973-78: Research Contract at the University of Milan.
- 1979-81: “Professore Incaricato” (Associate Professor
without tenure) at the University of Calabria.
- 1981-83: “Professore Incaricato” at the University of
Calabria and Researcher at the University of Milan.
- 1983-85: “Professore Incaricato” and Researcher at the
University of Milan.
- 1985-1993: Associate Professor at the University of Milan.
- 1993-1996: Associate Professor at the University of Genoa.
- 1996: Full professor at the University of Calabria first, then at
the University of Milan, and finally at the University of Insubria.
Editorships.
- Member of the editorial board of the “Journal of Pure and
Applied Algebra”, Elsevier.
- Member of the editorial board of the electronic journal “Theory
and Applications of Categories” (http://www.tac.mta.ca).
- Member of the editorial board of the electronic journal “Homology,
Homotopy and Applications” (http://www.rmi.acnet.ge/hha/).
Visiting positions.
- 1978-79: Visiting assistant professor at SUNY at Buffalo (USA) (13
months,F.W. Lawvere).
- 1982-83: Visiting Scholar at Macquarie and Sydney Universisties
(2 months, R.Street and R. Walters).
- 1984-85: Visiting Scholar at Sydney University (2 months, R. Walters).
- 1986-87: Visiting Scholar at Sydney University (2 months, R. Walters).
- 1988: Visiting Scholar at Sydney University (2 months, R. Walters).
- 1988: Visiting at Mount Allison University (3 weeks, R. Rosebrugh),
Dalhousie University (1 week, R. Wood), Quebec University (1 week,
A. Joyal).
- 1990: Visiting at Quebec University (1 month, A. Joyal).
- 1991: Visiting Scholar at Sydney University (2 months, G.M. Kelly).
- 1992: Visiting at Louvain-la-Neuve (2 months, F. Borceux)
- 1995: Visiting Scholar at Sydney University (3 months, G.M. Kelly).
- 2001-02: Visiting Scholar at Sydney University (3 months, G.M. Kelly).
International Conferences on Category Theory.
- 1973: Oberwolfach.
- 1973: Florence.
- 1974: Montreal.
- 1978: New York.
- 1979: Puerto Rico (paper presented).
- 1981: Cambridge (UK) (paper presented).
- 1982: Buffalo.
- 1982: Sussex (paper presented).
- 1983: Aarhus (paper presented).
- 1984: Murten.
- 1985: Sussex (paper presented).
- 1985: Bangor.
- 1986: Cambridge (UK) (paper presented).
- 1987: Boulder.
- 1987: Louvain (paper presented).
- 1988: Sussex (paper presented).
- 1989: Bangor (paper presented).
- 1990: Como (organizer).
- 1991: Montreal (invited speaker).
- 1994: Tours (invited speaker, member of the scientific commettee).
- 1995: Halifax (invited speaker).
- 1995: Cambridge (UK) (member of the scientific commettee).
- 1995: Oberwolfach (Germany) (invited speaker).
- 1997: Montréal (Canada) (invited speaker).
- 1999: Coimbra (Portugal) (paper presented).
- 2000: Como (Italy) (organizer).
- 2002: Toronto (Canada) (invited speaker).
Scholars
invited on my research funds.
- J. Bénabou, Parigi
- A. Dold, Heidelberg
- S. Eilenberg, New York
- P.J. Freyd, Filadelfia
- A. Frölicher, Ginevra
- A. Heller, New York
- G. Janelidze, Tbilisi
- A. Joyal, Montréal
- G.M. Kelly, Sydney
- A. Kock, Aarhus
- F.W. Lawvere, Buffalo
- M.Makkai,Montréal
- I. Moerdijk, Utrecht
- R. Paré, Halifax
- A. Pitts, Cambridge (UK)
- J. Rosicky, Brno
- A. Scedrov, Filadelfia
- S. Schanuel, Buffalo
- R.H. Street, Sydney
- R.F.C. Walters, Sydney
- R.J. Wood, Halifax |
| |
Representative
publications |
List of Publications
(1) (with G.C. Meloni), Costruzione algebrica dello spazio étalé,
B.U.M.I. (4) 12 (1975), 192-197.
(2) Categorie di relazioni, Rend. Sc. Istituto Lombardo (A) 110
(1976), 342-350.
(3) (with M. Galuzzi), Anelli regolari e topoi, Atti Acad. Sc. Torino
111 (1976-77), 227-231.
(4) Analisi non-standard e topos, Rend. Ist. Mat. Univ. Trieste
14 (1982), 1-16.
(5) (with R. Celia Magno), The Free Exact Category on a Left Exact
one, Journal Austr. Math. Soc. (A) 33 (1982), 295-301.
(6) Categorie di frecce parziali, Riv. Mat. Univ. Parma (4) 9 (1983),
281-288.
(7) (with R.Betti), Cauchy-completion and the Associated Sheaf,
Cahier de Top. et Géom. Diff. 23-3 (1982), 243-256.
(8) (with R. Betti), A Notion of Topology for Bicategories, Cahiers
de Top. et Géom. Diff. 24-1 (1983), 19-22. 4 CURRICULUM VITAE
(AURELIO CARBONI)
(9) (with R. Betti, R. Street & R. Walters), Variation through
Enrichment, Jour. Pure and Appl. Algebra 29 (1983), 109-127.
(10) (with S. Kasangian & R. Street), Bicategories of Spans
and *Relations, Jour. Pure and Appl. Algebra 33 (1984), 259-267.
(11) (with R. Street), Order Ideals in Categories, Pacific Journal
of Mathematics, 124-2 (1986), 275-288.
(12) (with S. Kasangian & R. Walters), An Axiomatic for Bicategories
of Modules, Jour. Pure and Appl. Algebra 45 (1987), 127-141.
(13) (with R. Walters), Cartesian Bicategories I, Jour. Pure and
Appl. Algebra 49 (1987), 11-32.
(14) Bicategories of Partial Maps, Cahiers de Top. et Géom.
Diff. 28-2 (1987), 111-126.
(15) (with P. Freyd & A. Scedrov), A Categorical Approach to
Realizability and Polymorphic Types, Lecture Notes in Comp. Sc.
298, Springer-Verlag (1987), 23-42.
(16) Categories of Affine Spaces, Jour. Pure and Appl. Algebra 61
(1989), 243-250.
(17) Matrices, Relations and Group Representations, Journal of Algebra
136, No. 2 (1991), 497-529.
(18) (with J. Lambek & M.C. Pedicchio), Diagram chasing in Mal’cev
Categories, Jour. Pure and Appl. Algebra 69 (1991), 271-284.
(19) (with G. M. Kelly & R. Wood), A 2-categorical Approach
to Change of Base and Geometric Morphisms I, Cahiers de Top. et
Géom. Diff. 32-1 (1991), 47-95.
(20) (with R. Rosebrugh), Lax Monads, Jour. Pure and Appl. Algebra
76(1) (1991), 13-32.
(21) (whith M.C. Pedicchio & N. Pirovano), Internal Graphs and
Internal Groupoids in Mal’cev Categories, CMS Conference Proceedings,
vol 13., (1992), 97—110.
(22) (with S. Lack & R.F.C. Walters), Introduction to Extensive
and Distributive Categories, Jour. Pure and Appl. Algebra 84 (1993)
145—158.
(23) (with S. Mantovani), Elementary Characterizations of Categories
of Separated Objects, Jour. Pure and Appl. Algebra 89 (1993), 63—92.
(24) (with G.M. Kelly & M.C. Pedicchio), Some remarks on Mal’cev
and Goursat categories, Applied Categorical Structures 1 (1993),
1—37.
(25) (with S. Johnson, R. Street & D. Verity), Modulated Bicategories,
Jour. Pure and Appl. Algebra 94 (1994), 229—282.
(26) (with P.T. Johnstone), Connected limits, familial representability
and Artin glueing, Proceedings of CTCS-5, Amsterdam (1993), Math.
Structures in Comp. Sci. 5 (1995), 441—459.
(27) Some Free Constructions in Realizability and Proof Theory,
Jour Pure and Appl. Algebra 103 (1995), 117—148.
CURRICULUM VITAE (AURELIO CARBONI) 5
(28) (with G. Janelidze), Modularity and Descent, Jour. Pure and
Appl. Algebra 99 (1995), 255—265.
(29) (with G. Janelidze), Decidable (= Separable) Objects and Morphisms
in Lextensive Categories, Jour. Pure and Appl. Algebra 110 (1996),
219—240.
(30) (with M. Bunge), The Symmetric Topos, Jour. Pure and Appl.
Alg. 105 (1995), 233—249.
(31) (with M. Grandis), Categories of Projective Spaces, Jour. Pure
and Appl. Algebra 110, 241—258 (1996).
(32) (with G. Janelidze & A.R. Magid), A Note on the Galois
Correspondence for Commutative Rings, Journal of Algebra 183 (1996),
266—272.
(33) (with G.M. Kelly, G. Janelidze & R. Paré), On localization
and stabilization for factorization systems, Applied Categorical
Structures 5 (1997), 1—58.
(34) (with G.M. Kelly, D. Verity & R. Wood), A 2-categorical
Approach to Change of Base and Geometric Morphisms II, Theory and
Applications of Categories, Vol. 4, 1998, No. 5, 82—136 (http://www.tac.mta.ca/tac/volumes/1998/n5/n5.ps).
(35) (with E. Vitale), Regular and Exact Completions, Jour. Pure
and Appl. Alg. 125, 79—116 (1998).
(36) (with L. Birkedal, G. Rosolini & D.S. Scott), Type Theory
via Exact Categories, Proceedings of the 30th Annual IEEE Symposium
on Logic in Computer Science - June 21-24, 1998 - Indianapolis,
Indiana - IEEE COMPUTER SOCIETY, 188— 198 (1998).
(37) (with M.C. Pedicchio), A new proof of Mal’cev theorem,
Rendiconti Circolo Matematico Palermo, Serie II, Suppl. 61, 13—16
(1999).
(38) (with G. Rosolini), Locally cartesian closed exact completions,
Jour. Pure and Appl. Alg. 154, 103—116 (2000).
(39) (with M.C. Pedicchio & J. Rosicky), Syntactic Characteriazations
of various classes of Locally Presentable Categories, Jour. Pure
And Appl. Alg. 161, 65—90 (2001).
(41) (with G. Janelidze), Smash product of pointed objects in lextensive
categories.
Work in preparation.
(42) (with G. Janelidze), Boolean Galois Theories.
(43) (with G. Janelidze, G.M. Kelly & S. Lack), Categories of
Commutative Algebras without Unit.
(44) (with G. Janelidze), Categories of Commutative Algebras.
Books.
(1) Editor of the italian translation of the book Conceptual Mathematics,
by F.W. Lawvere & S. Schanuel (1994).
Proceedings.
(1) (with M.C. Pedicchio & G. Rosolini (editors)), Category
Theory (Proceedings of the International Conference in Category
Theory, Como, July 1990), Springer Lecture Notes in Mathematics
1488 (1991).
(2) (with G. Rosolini & R.F.C. Walters (editors)), CT2000 (Proceedings
of the International Conference in Category Theory, Como, July 2000),
Electronic Journal Theory and Applications of Categories (http://www.tac.mta.ca).
|
