BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Alan S. Cigoli appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
For a category B with finite products, we first characterize pseudofunctors from B to Cat whose corresponding opfibration is cartesian monoidal. Among those, we then characterize the ones which extend to pseudofunctors from internal groups to 2-groups. If B is additive, this is the case precisely when the corresponding opfibration has groupoidal fibres.
Draft version of a paper concerning an interpretation of the conditon (UA) in terms of descent with respect to the fibrations of points.
We focus on two factorization systems for opfibrations in the 2-category Fib(B) of fibrations over a fixed base category B. The first one is the internal version of the so called comprehensive factorization, where the right orthogonal class is given by internal discrete opfibrations. The second one has as its right orthogonal class internal opfibrations in groupoids, i.e. with groupoidal fibres. These factorizations can be obtained by means of a single step 2-colimit. Namely, their left orthogonal parts are nothing but suitable coidentifiers and coinverters respectively. We will show how these results follow from their analogues in Cat. To this end, we first provide suitable conditions on a 2-category C, allowing the transfer of the construction of coinverters and coidentifiers from C to Fib(B).
We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give examples of categories satisfying this condition; for instance, coherent categories, categories of interest in the sense of Orzech, and (compact) Hausdorff algebras over a semi-abelian algebraically coherent theory. We study equivalent conditions in the context of semi-abelian categories, as well as some of its consequences: including amongst others, strong protomodularity, and normality of Higgins commutators for normal subobjects, and in the varietal case, fibre-wise algebraic cartesian closedness.
In this work we introduce the notions of Peiffer product and Peiffer commutator of internal pre-crossed modules over a fixed object B, extending the corresponding classical notions to any semi-abelian category C. We prove that, under mild additional assumptions on C, crossed modules are characterized as those pre-crossed modules X whose Peiffer commutator <X,X> is trivial. Furthermore we provide suitable conditions on C (fulfilled by a large class of algebraic varietes, including among others groups, associative algebras, Lie and Leibniz algebras) under which the Peiffer product realizes the coproduct in the category of crossed modules over B.
We extend to semi-abelian categories the notion of characteristic subobject, which is widely used in group theory and in the theory of Lie algebras. Moreover, we show that many of the classical properties of characteristic subgroups of a group hold in the general semi-abelian context, or in stronger ones.