2009/07/10 by Irakli Patchkoria, Patchkoria, Irakli
Mathematics · #18E25 #18G10 #18G25 #18G30 #18G55 #55N10 #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #K-Theory and Homology (math.KT) #math.AT #math.CT #math.KT #msc:18E25 #msc:18G10 #msc:18G25 #msc:18G30 #msc:18G55 #msc:55N10
paper · pdf · doi:10.48550/arxiv.0907.1905
arxiv created 2009/07/10 · arxiv updated 2009/12/01
We introduce pseudocubical objects with pseudoconnections in an arbitrary category, obtained from the Brown-Higgins structure of a cubical object with connections by suitably relaxing their identities, and construct a cubical analog of the Tierney-Vogel theory of simplicial derived functors. The crucial point in the construction is that projective precubical resolutions which are naturally used to define our cubical derived functors possess pseudodegeneracies and pseudoconnections. The same fact is essentially used for proving that in the case of an additive functor between abelian categories, our theory coincides with the classical relative theory of derived functors by Eilenberg-Moore.