The snail lemma and the long homology sequence
Theory Appl. Categ. 45, No. 13, 417-460 (2026)
Publications
From abelian categories to 2-abelian bicategories
Theory Appl. Categ. 41, No. 51, 1812-1872 (2024).
Homotopy torsion theories
J. Pure Appl. Algebra 228, No. 12, Article ID 107742, 39 p. (2024).
Completion under strong homotopy cokernels
Theory Appl. Categ. 41, No. 6, 168-193 (2024).
Fibred-categorical obstruction theory
J. Algebra 593, 105-141 (2022).
Fibered aspects of Yoneda's regular span
Adv. Math. 360, Article ID 106899, 62 p. (2020).
The snail lemma for internal groupoids
J. Algebra 535, 1-34 (2019).
Bipullbacks of fractions and the snail lemma
J. Pure Appl. Algebra 223, No. 12, 5147-5162 (2019).
On fibrations between internal groupoids and their normalizations
Appl. Categ. Struct. 26, No. 5, 1015-1039 (2018).
The snail lemma in a pointed regular category
J. Pure Appl. Algebra 221, No. 1, 135-143 (2017).
The snail lemma
Theory Appl. Categ. 31, 484-501 (2016).
On the second cohomology categorical group and a Hochschild-Serre 2-exact sequence
Theory Appl. Categ. 30, 933-984 (2015).
Bicategories of fractions for groupoids in monadic categories
Tbil. Math. J. 8, No. 1, 85-105 (2015).
Profunctors in Mal'tsev categories and fractions of functors
J. Pure Appl. Algebra 217, No. 7, 1173-1186 (2013).
Faithful calculus of fractions
Cah. Topol. Géom. Différ. Catég. 54, No. 3, 221-239 (2013).
Butterflies in a semi-abelian context
Adv. Math. 238, 140-183 (2013).
Birkhoff's variety theorem in many sorts
Algebra Univers. 68, No. 1-2, 39-42 (2012).
The ziqqurath of exact sequences of n-groupoids
Cah. Topol. Géom. Différ. Catég. 52, No. 1, 2-44 (2011).
Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
Cambridge Tracts in Mathematics 184. Cambridge: Cambridge University Press (ISBN 978-0-521-11922-1/hbk). xvii, 249 p. (2011).
What are sifted colimits?
Theory Appl. Categ. 23, 251-260 (2010).
Bipullbacks and calculus of fractions
Cah. Topol. Géom. Différ. Catég. 51, No. 2, 83-113 (2010).
External derivations of internal groupoids
J. Pure Appl. Algebra 212, No. 1, 175-192 (2008).
Split extensions, semidirect product and holomorph of categorical groups
Homology Homotopy Appl. 8, No. 1, 145-167 (2006).
On categorical crossed modules
Theory Appl. Categ. 16, 585-618 (2006).
A classification of geometric morphisms and localizations for presheaf categories and algebraic categories
J. Algebra 303, No. 1, 77-96 (2006).
Chain complexes of symmetric categorical groups
J. Pure Appl. Algebra 196, No. 2-3, 279-312 (2005).
Sheaf theory
Pedicchio, M. C. (ed.) et al., Categorical foundations. Special topics in order, topology, algebra, and sheaf theory. Cambridge: Cambridge University Press (ISBN 0-521-83414-7/hbk). Encycl. Math. Appl. 97, 311-357 (2004).
Morphisms of 2-groupoids and low-dimensional cohomology of crossed modules
Janelidze, G. (ed.) et al., Galois theory, Hopf algebras, and semiabelian categories. Papers from the workshop on categorical structures for descent and Galois theory, Hopf algebras, and semiabelian categories, Toronto, ON, Canada, September 23-28, 2002. (ISBN 0-8218-3290-5/hbk). Fields Institute Communications 43, 227-241 (2004).
Coalgebras, braidings, and distributive laws
Theory Appl. Categ. 13, 129-146 (2004).
A characterization of locally D-presentable categories
Cah. Topol. Géom. Différ. Catég. 45, No. 2, 141-146 (2004).
Proper factorization systems in 2-categories
J. Pure Appl. Algebra 179, No. 1-2, 65-86 (2003).
On the categorical structure of H^2
J. Pure Appl. Algebra 177, No. 3, 303-308 (2003).
Extensions of symmetric cat-groups
Homology Homotopy Appl. 4, No. 1, 103-162 (2002).
Beck's theorem for pseudo-monads
J. Pure Appl. Algebra 173, No. 3, 293-313 (2002).
Azumaya categories
Appl. Categ. Struct. 10, No. 5, 449-467 (2002).
A higher dimensional homotopy sequence
Homology Homotopy Appl. 4, No. 1, 59-69 (2002).
A duality relative to a limit doctrine
Theory Appl. Categ. 10, 486-497 (2002).
A Picard-Brauer exact sequence of categorical groups
J. Pure Appl. Algebra 175, No. 1-3, 383-408 (2002).
When do completion processes give rise to extensive categories?
J. Pure Appl. Algebra 159, No. 2-3, 203-230 (2001).
On algebraically exact categories and essential localizations of varieties
J. Algebra 244, No. 2, 450-477 (2001).
Exact completion and representations in abelian categories
Homology Homotopy Appl. 3, No. 3, 453-466 (2001).
Essential localizations and infinitary exact completion
Theory Appl. Categ. 8, 465-480 (2001).
Quasi-varieties of presheaves
Theory Appl. Categ. 7, 236-238 (2000).
On the abstract characterization of quasi-varieties
Algebra Univers. 43, No. 2-3, 269-278 (2000).
Groupoids and the Brauer group
Cah. Topologie Géom. Différ. Catég. 41, No. 4, 305-313 (2000).
Factorization systems for symmetric cat-groups
Theory Appl. Categ. 7, 47-70 (2000).
Multi-bimodels
Cah. Topologie Géom. Différ. Catég. 40, No. 4, 284-296 (1999).
Localizations of Maltsev varieties
Theory Appl. Categ. 5, 281-291 (1999).
Regular and exact completions
J. Pure Appl. Algebra 125, No. 1-3, 79-116 (1998).
On the exact completion of the homotopy category
Cah. Topologie Géom. Différ. Catég. 39, No. 4, 287-297 (1998).
Morita equivalence for regular algebras
Cah. Topologie Géom. Différ. Catég. 39, No. 2, 137-153 (1998).
Localizations of algebraic categories. II
J. Pure Appl. Algebra 133, No. 3, 317-326 (1998).
The Brauer and Brauer-Taylor groups of a symmetric monoidal category
Cah. Topologie Géom. Différ. Catég. 37, No. 2, 91-122 (1996).
Localizations of algebraic categories
J. Pure Appl. Algebra 108, No. 3, 315-320 (1996).
Regularity of the category of Kelley spaces
Appl. Categ. Struct. 3, No. 4, 357-361 (1995).
On the notion of bimodel for functorial semantics
Appl. Categ. Struct. 2, No. 3, 283-295 (1994).
On the characterization of monadic categories over Set
Cah. Topologie Géom. Différ. Catég. 35, No. 4, 351-358 (1994).
Monoidal categories for Morita theory
Cah. Topologie Géom. Différ. Catég. 33, No. 4, 331-343 (1992).
A Morita theorem in topology
Topology, Proc. 5th Int. Meet., Lecce/Italy 1990, Suppl. Rend. Circ. Mat. Palermo, II. Ser. 29, 353-362 (1992).
Theses
Dissertations
Degree Dissertation
Univ. di Milano, 1989. Supervisor: A. Carboni. Equazionalità della logica via il calcolo delle relazioni.
Master Thesis
UCLouvain, 1992. Supervisor: F. Borceux. Some remarks on Morita theory.
Ph.D. Thesis
UCLouvain, 1994. Supervisors: F. Borceux, A. Carboni. Left covering functors.