×
Compute Distance To:
Author ID: carboni.aurelio Recent zbMATH articles by "Carboni, Aurelio"
Published as: Carboni, Aurelio; Carboni, A.

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 926 times in 317 Documents Cited by Year
Diagram chasing in Mal’cev categories. Zbl 0722.18005
Carboni, A.; Lambek, J.; Pedicchio, M. C.
101
1990
Introduction to extensive and distributive categories. Zbl 0784.18001
Carboni, Aurelio; Lack, Stephen; Walters, R. F. C.
99
1993
Internal graphs and internal groupoids in Mal’cev categories. Zbl 0791.18005
Carboni, A.; Pedicchio, M. C.; Pirovano, N.
76
1992
Some remarks on Maltsev and Goursat categories. Zbl 0799.18002
Carboni, A.; Kelly, G. M.; Pedicchio, M. C.
76
1993
Cartesian bicategories. I. Zbl 0637.18003
Carboni, A.; Walters, R. F. C.
66
1987
Regular and exact completions. Zbl 0891.18002
Carboni, A.; Vitale, E. M.
56
1998
Variation through enrichment. Zbl 0571.18004
Betti, R.; Carboni, A.; Street, R.; Walters, R.
53
1983
Some free constructions in realizability and proof theory. Zbl 0839.18002
Carboni, A.
46
1995
On localization and stabilization for factorization systems. Zbl 0866.18003
Carboni, A.; Janelidze, G.; Kelly, G. M.; Paré, R.
37
1997
Connected limits, familial representability and Artin glueing. Zbl 0849.18002
Carboni, Aurelio; Johnstone, Peter
34
1995
The free exact category on a left exact one. Zbl 0504.18005
Carboni, A.; Celia Magno, R.
31
1982
Type theory via exact categories. (Extended abstract). Zbl 0945.03542
Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D. S.
20
1998
Locally cartesian closed exact completions. Zbl 0962.18001
Carboni, A.; Rosolini, G.
19
2000
Cauchy-completion and the associated sheaf. Zbl 0496.18008
Betti, R.; Carboni, A.
16
1982
Bicategories of spans and relations. Zbl 0577.18005
Carboni, Aurelio; Kasangian, Stefano; Street, Ross
15
1984
An axiomatics for bicategories of modules. Zbl 0615.18006
Carboni, Aurelio; Kasangian, Stefano; Walters, Robert
14
1987
A 2-categorical approach to change of base and geometric morphisms. I. Zbl 0747.18008
Carboni, A.; Kelly, G. M.; Wood, R. J.
13
1991
Matrices, relations, and group representations. Zbl 0723.18007
Carboni, Aurelio
12
1991
A categorical approach to realizability and polymorphic types. Zbl 0651.18004
Carboni, Aurelio; Freyd, Peter J.; Scedrov, Andre
11
1988
The symmetric topos. Zbl 0847.18004
Bunge, Marta; Carboni, Aurelio
11
1995
An elementary characterization of categories of separated objects. Zbl 0790.18001
Carboni, Aurelio; Mantovani, Sandra
11
1993
Modulated bicategories. Zbl 0805.18002
Carboni, Aurelio; Johnson, Scott; Street, Ross; Verity, Dominic
11
1994
Bicategories of partial maps. Zbl 0631.18002
Carboni, A.
10
1987
Order ideals in categories. Zbl 0565.18001
Carboni, Aurelio; Street, Ross
10
1986
Cartesian bicategories. II. Zbl 1146.18300
Carboni, A.; Kelly, G. M.; Walters, R. F. C.; Wood, R. J.
10
2007
Smash product of pointed objects in lextensive categories. Zbl 1029.18002
Carboni, Aurelio; Janelidze, George
9
2003
Syntactic characterizations of various classes of locally presentable categories. Zbl 0982.18006
Carboni, A.; Pedicchio, M. C.; Rosický, J.
9
2001
Notion of topology for bicaterogies. Zbl 0513.18007
Betti, R.; Carboni, A.
8
1983
Categories of affine spaces. Zbl 0683.18008
Carboni, Aurelio
7
1989
Decidable (= separable) objects and morphisms in lextensive categories. Zbl 0858.18004
Carboni, A.; Janelidze, G.
6
1996
A new proof of the Mal’cev theorem. Zbl 0966.18005
Carboni, A.; Pedicchio, M. C.
5
2000
A 2-categorical approach to change of base and geometric morphisms. II. Zbl 0898.18001
Carboni, A.; Kelly, G. M.; Verity, D.; Wood, R. J.
5
1998
Corrigenda for ‘Connected limits, familial representability and Artin glueing’. Zbl 1047.18002
Carboni, Aurelio; Johnstone, Peter
4
2004
A note on the Galois correspondence for commutative rings. Zbl 0858.18003
Carboni, A.; Janelidze, G.; Magid, A. R.
3
1996
Category theory. Proceedings of the international conference, held in Como, Italy, July 22-28, 1990. Zbl 0733.00009
3
1991
Analisi non-standard e topos. Zbl 0536.03050
Carboni, Aurelio
2
1982
Modularity and descent. Zbl 0840.18004
Carboni, A.; Janelidze, G.
2
1995
Categorie di relazioni. Zbl 0382.18001
Carboni, Aurelio
2
1977
Categories of partial arrows. Zbl 0543.18002
Carboni, Aurelio
1
1983
Categories of projective spaces. Zbl 0863.18006
Carboni, Aurelio; Grandis, Marco
1
1996
Lax monads. Indexed monoidal monads. Zbl 0749.18002
Carboni, A.; Rosebrugh, Robert
1
1991
Cartesian bicategories. II. Zbl 1146.18300
Carboni, A.; Kelly, G. M.; Walters, R. F. C.; Wood, R. J.
10
2007
Corrigenda for ‘Connected limits, familial representability and Artin glueing’. Zbl 1047.18002
Carboni, Aurelio; Johnstone, Peter
4
2004
Smash product of pointed objects in lextensive categories. Zbl 1029.18002
Carboni, Aurelio; Janelidze, George
9
2003
Syntactic characterizations of various classes of locally presentable categories. Zbl 0982.18006
Carboni, A.; Pedicchio, M. C.; Rosický, J.
9
2001
Locally cartesian closed exact completions. Zbl 0962.18001
Carboni, A.; Rosolini, G.
19
2000
A new proof of the Mal’cev theorem. Zbl 0966.18005
Carboni, A.; Pedicchio, M. C.
5
2000
Regular and exact completions. Zbl 0891.18002
Carboni, A.; Vitale, E. M.
56
1998
Type theory via exact categories. (Extended abstract). Zbl 0945.03542
Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D. S.
20
1998
A 2-categorical approach to change of base and geometric morphisms. II. Zbl 0898.18001
Carboni, A.; Kelly, G. M.; Verity, D.; Wood, R. J.
5
1998
On localization and stabilization for factorization systems. Zbl 0866.18003
Carboni, A.; Janelidze, G.; Kelly, G. M.; Paré, R.
37
1997
Decidable (= separable) objects and morphisms in lextensive categories. Zbl 0858.18004
Carboni, A.; Janelidze, G.
6
1996
A note on the Galois correspondence for commutative rings. Zbl 0858.18003
Carboni, A.; Janelidze, G.; Magid, A. R.
3
1996
Categories of projective spaces. Zbl 0863.18006
Carboni, Aurelio; Grandis, Marco
1
1996
Some free constructions in realizability and proof theory. Zbl 0839.18002
Carboni, A.
46
1995
Connected limits, familial representability and Artin glueing. Zbl 0849.18002
Carboni, Aurelio; Johnstone, Peter
34
1995
The symmetric topos. Zbl 0847.18004
Bunge, Marta; Carboni, Aurelio
11
1995
Modularity and descent. Zbl 0840.18004
Carboni, A.; Janelidze, G.
2
1995
Modulated bicategories. Zbl 0805.18002
Carboni, Aurelio; Johnson, Scott; Street, Ross; Verity, Dominic
11
1994
Introduction to extensive and distributive categories. Zbl 0784.18001
Carboni, Aurelio; Lack, Stephen; Walters, R. F. C.
99
1993
Some remarks on Maltsev and Goursat categories. Zbl 0799.18002
Carboni, A.; Kelly, G. M.; Pedicchio, M. C.
76
1993
An elementary characterization of categories of separated objects. Zbl 0790.18001
Carboni, Aurelio; Mantovani, Sandra
11
1993
Internal graphs and internal groupoids in Mal’cev categories. Zbl 0791.18005
Carboni, A.; Pedicchio, M. C.; Pirovano, N.
76
1992
A 2-categorical approach to change of base and geometric morphisms. I. Zbl 0747.18008
Carboni, A.; Kelly, G. M.; Wood, R. J.
13
1991
Matrices, relations, and group representations. Zbl 0723.18007
Carboni, Aurelio
12
1991
Category theory. Proceedings of the international conference, held in Como, Italy, July 22-28, 1990. Zbl 0733.00009
3
1991
Lax monads. Indexed monoidal monads. Zbl 0749.18002
Carboni, A.; Rosebrugh, Robert
1
1991
Diagram chasing in Mal’cev categories. Zbl 0722.18005
Carboni, A.; Lambek, J.; Pedicchio, M. C.
101
1990
Categories of affine spaces. Zbl 0683.18008
Carboni, Aurelio
7
1989
A categorical approach to realizability and polymorphic types. Zbl 0651.18004
Carboni, Aurelio; Freyd, Peter J.; Scedrov, Andre
11
1988
Cartesian bicategories. I. Zbl 0637.18003
Carboni, A.; Walters, R. F. C.
66
1987
An axiomatics for bicategories of modules. Zbl 0615.18006
Carboni, Aurelio; Kasangian, Stefano; Walters, Robert
14
1987
Bicategories of partial maps. Zbl 0631.18002
Carboni, A.
10
1987
Order ideals in categories. Zbl 0565.18001
Carboni, Aurelio; Street, Ross
10
1986
Bicategories of spans and relations. Zbl 0577.18005
Carboni, Aurelio; Kasangian, Stefano; Street, Ross
15
1984
Variation through enrichment. Zbl 0571.18004
Betti, R.; Carboni, A.; Street, R.; Walters, R.
53
1983
Notion of topology for bicaterogies. Zbl 0513.18007
Betti, R.; Carboni, A.
8
1983
Categories of partial arrows. Zbl 0543.18002
Carboni, Aurelio
1
1983
The free exact category on a left exact one. Zbl 0504.18005
Carboni, A.; Celia Magno, R.
31
1982
Cauchy-completion and the associated sheaf. Zbl 0496.18008
Betti, R.; Carboni, A.
16
1982
Analisi non-standard e topos. Zbl 0536.03050
Carboni, Aurelio
2
1982
Categorie di relazioni. Zbl 0382.18001
Carboni, Aurelio
2
1977
all top 5

Cited by 291 Authors

13 Janelidze, George
13 Street, Ross H.
12 Lack, Stephen
10 Gran, Marino
10 Tholen, Walter
10 Walters, Robert F. C.
9 Milius, Stefan
8 van der Linden, Tim
7 Adámek, Jiří
7 Clementino, Maria Manuel
7 Coecke, Bob
7 Garner, Richard
7 Hofmann, Dirk
7 Power, John
7 Sobociński, Paweł
7 Vitale, Enrico Maria
6 Bourn, Dominique
6 Carboni, Aurelio
6 Kock, Joachim
6 Sabadini, Nicoletta
5 Bonchi, Filippo
5 Fong, Brendan
5 Janelidze, Zurab
5 Johnstone, Peter T.
5 Menni, Matías
5 Velebil, Jiří
5 Wood, Richard J.
4 Bunge, Marta C.
4 Everaert, Tomas
4 Funk, Jonathon R.
4 Heymans, Hans
4 Hoefnagel, Michael Anton
4 Jibladze, Mamuka A.
4 Kasangian, Stefano
4 Kelly, Gregory Maxwell
4 Pavlović, Duško
4 Rosenthal, Kimmo I.
4 Rosický, Jiří
4 Rosolini, Giuseppe
4 Schröder, Lutz
4 Stubbe, Isar
4 Zanasi, Fabio
4 Zawadowski, Marek W.
3 Borceux, Francis
3 Cockett, Robin
3 de Francesco Albasini, Luisa
3 Fiore, Marcelo P.
3 Fujii, Soichiro
3 Gambino, Nicola
3 Goncharov, Sergeĭ Savost’yanovich
3 Grandis, Marco
3 Kaarsgaard, Robin
3 Kissinger, Aleks
3 Labella, Anna
3 Maietti, Maria Emilia
3 Mantovani, Sandra
3 Martins-Ferreira, Nelson
3 Paré, Robert
3 Rauch, Christoph
3 Shen, Lili
3 Szawiel, Stanisław
3 Wißmann, Thorsten
3 Xarez, João J.
2 Baez, John C.
2 Centazzo, Claudia
2 Cigoli, Alan S.
2 Cottrell, Thomas
2 Coya, Brandon
2 Di Micco, Davide
2 Došen, Kosta
2 Duncan, Ross
2 Even, Valérian
2 Facchini, Alberto
2 Gálvez-Carrillo, Imma
2 Glück, Robert
2 Gray, James Richard Andrew
2 Harding, John
2 Heindel, Tobias
2 Henry, Simon
2 Heunen, Chris
2 Hirschowitz, Tom
2 Hofstra, Pieter J. W.
2 Hosseini, Seyed Naser
2 Hu, Hongde
2 Hyland, J. Martin E.
2 Jacobs, Bart
2 Jay, C. Barry
2 Joyal, André
2 Lai, Hongliang
2 Leinster, Tom
2 Márki, László
2 Montanari, Ugo G.
2 Pasquali, Fabio
2 Petrić, Zoran
2 Rosebrugh, Robert D.
2 Saville, Philip
2 Scott, Dana Stewart
2 Scott, Philip J.
2 Sobral, Manuela
2 Spivak, David I.
...and 191 more Authors
all top 5

Cited in 46 Serials

77 Journal of Pure and Applied Algebra
37 Applied Categorical Structures
23 Theory and Applications of Categories
17 Theoretical Computer Science
15 MSCS. Mathematical Structures in Computer Science
12 Advances in Mathematics
7 Journal of Algebra
7 Topology and its Applications
7 Annals of Pure and Applied Logic
7 Information and Computation
6 Cahiers de Topologie et Géométrie Différentielle Catégoriques
6 Logical Methods in Computer Science
5 Algebra Universalis
5 Fuzzy Sets and Systems
5 Tbilisi Mathematical Journal
4 Journal of Homotopy and Related Structures
3 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Communications in Algebra
2 Mathematical Proceedings of the Cambridge Philosophical Society
2 The Journal of Symbolic Logic
2 Rendiconti del Seminario Matemàtico e Fisico di Milano
2 Journal of Symbolic Computation
2 Journal of Algebra and its Applications
2 Journal of Logical and Algebraic Methods in Programming
1 Journal of Mathematical Physics
1 Reviews in Mathematical Physics
1 Commentationes Mathematicae Universitatis Carolinae
1 Demonstratio Mathematica
1 Memoirs of the American Mathematical Society
1 Synthese
1 Bulletin of the Iranian Mathematical Society
1 Forum Mathematicum
1 Formal Aspects of Computing
1 International Journal of Foundations of Computer Science
1 Expositiones Mathematicae
1 Journal of Knot Theory and its Ramifications
1 Journal of Mathematical Sciences (New York)
1 Diagrammes
1 Bulletin des Sciences Mathématiques
1 New Journal of Physics
1 RAIRO. Theoretical Informatics and Applications
1 Central European Journal of Mathematics
1 RAIRO. Theoretical Informatics and Applications
1 Forum of Mathematics, Sigma
1 Categories and General Algebraic Structures with Applications
1 Higher Structures

Citations by Year