1 citations · 1 across the 16 of their papers we have counts for
18 papers
A two-categorical Snake Lemma
Elena Caviglia, Luca Mesiti, Tim Van der Linden
We prove a Snake Lemma for 2-categories. Working in a 2-category with a strong bizero object, we develop 2-kernels and 2-cokernels, 2-monomorphisms and 2-epimorphisms as fully fait…
Exactness of the 2-categories of abelian and triangulated categories
Elena Caviglia, Zurab Janelidze, Luca Mesiti +1
We introduce a notion of -homological category modelled on pointed homological categories in the sense of Grandis, using bizero objects whose null -cells are zero objects in…
Clifford semigroups and the monoidal Grothendieck construction
Elena Caviglia, Peter F. Faul, Graham Manuell +1
We show that the monoidal Grothendieck construction can be applied to recover the known structure theorem for Clifford monoids, which states that they correspond to functors from a…
Detecting Essential Ideals in Polynomial Rings
Amartya Goswami, Luca Mesiti
We characterize essential ideals in polynomial rings over a commutative ring with . We present several characterizations, letting vary among notable c…
Generalized action monads and descent
Elena Caviglia, Sophie Marques, Luca Mesiti
We develop a monadic approach to actions of internal categories. Given an internal category, we construct a monad on a slice whose algebras are the actions of that internal categor…
From subtractive ideals of semirings to deductive and inductive sets in general algebras
Elena Caviglia, Amartya Goswami, Zurab Janelidze +2
Kernels of semiring homomorphisms are precisely the subtractive ideals. We extend this decomposition of normality to general algebras by introducing inductive and deductive sets, w…
Comonadic approach to pretorsion theories
Elena Caviglia, Zurab Janelidze, Luca Mesiti
We present a comonadic approach to pretorsion theories on semiexact categories, i.e. categories equipped with a closed ideal of null morphisms that admits all kernels and all coker…
Unicoherence in Locales
Elena Caviglia, Luca Mesiti, Cerene Rathilal
In this paper, we generalize the concept of unicoherence to the context of frames. Unicoherence, originally introduced by Kuratowski, is a connectedness property that is well studi…
Double Orthogonal Factorization Systems
C. B. Aberlé, Elena Caviglia, Matthew Kukla +4
We define strict and lax orthogonal factorization systems on double categories. These consist of an orthogonal factorization system on arrows and one on double cells that are compa…
Primitive quantales
Amartya Goswami, Elena Caviglia, Luca Mesiti
We generalize Jacobson's notion of primitive ring to the setting of quantales. We show that every primitive ring gives rise to a primitive quantale of ideals. We then prove a densi…
Rectangular torsion theories
Elena Caviglia, Zurab Janelidze, Luca Mesiti
In this paper we introduce and study \emph{rectangular torsion theories}, i.e.\ those torsion theories $(\C,\T,\F)$ with $\C$ a pointed category, where the canonical functor $\C\to…
Fibrational approach to Grandis exactness for 2-categories
Elena Caviglia, Zurab Janelidze, Luca Mesiti
In an abelian category, the (bi)fibration of subobjects is isomorphic to the (bi)fibration of quotients. This property captures substantial information about the exactness structur…
On extensions of Cohen Structure Theorem
Elena Caviglia, Amartya Goswami, Luca Mesiti
The aim of this paper is to extend Cohen structure theorem beyond local rings. Both Cohen structure theorem and Nagata's generalization of it are special cases of our results. We i…
2-classifiers via dense generators and Hofmann-Streicher universe in stacks
Luca Mesiti
We expand the theory of 2-classifiers, that are a 2-categorical generalization of subobject classifiers introduced by Weber. The idea is to upgrade monomorphisms to discrete opfibr…
Indexed Grothendieck construction
Elena Caviglia, Luca Mesiti
We produce an indexed version of the Grothendieck construction. This gives an equivalence of categories between opfibrations over a fixed base in the 2-category of 2-copresheaves a…
Colimits in 2-dimensional slices
Luca Mesiti
We generalize to dimension 2 the well-known fact that a colimit in a 1-dimensional slice is precisely the map from the colimit of the domains of the diagram that is induced by the…
A comonad for Grothendieck fibrations
Jacopo Emmenegger, Luca Mesiti, Giuseppe Rosolini +1
We prove that cloven Grothendieck fibrations over a fixed base $\ct{B}$ are the pseudo-coalgebras for a lax idempotent 2-comonad on $\ct{Cat}/\ct{B}$. We show this via an original…
Pointwise Kan extensions along 2-fibrations and the 2-category of elements
Luca Mesiti
We study the 2-category of elements from an abstract point of view. We generalize to dimension 2 the well-known result that the category of elements can be captured by a comma obje…