6533b85efe1ef96bd12bfe7e

RESEARCH PRODUCT

A Push Forward Construction and the Comprehensive Factorization for Internal Crossed Modules

Sandra MantovaniAlan S. CigoliGiuseppe Metere

subject

Exact sequenceAlgebra and Number TheoryGeneral Computer ScienceSemi-abelian categoryAccessible categoryPushoutCrossed moduleCrossed modulecrossed module push forward comprehensive factorizationTheoretical Computer ScienceAlgebraSettore MAT/02 - AlgebraComprehensive factorizationFactorizationMathematics::Category TheoryLie algebraPush forwardAbelian groupComprehensive factorization; Crossed module; Push forward; Semi-abelian categoryCategorical variableMathematics

description

In a semi-abelian category, we give a categorical construction of the push forward of an internal pre-crossed module, generalizing the pushout of a short exact sequence in abelian categories. The main properties of the push forward are discussed. A simplified version is given for action accessible categories, providing examples in the categories of rings and Lie algebras. We show that push forwards can be used to obtain the crossed module version of the comprehensive factorization for internal groupoids.

https://doi.org/10.1007/s10485-013-9348-1