Homotopy structures for algebras over a monad
type: Item
instance of: scholarly article
title: Homotopy structures for algebras over a monad
zbMATH Open document ID: 0938.55029
DOI: 10.1023/A:1008678719663
author: Yanyan Li
published in: Applied Categorical Structures
publication date: 2000-06-21T00:00:00Z
review text: Let \({\mathbf A}\) be a category with a homotopy structure given by a cocylinder (path-endofunctor) \(P:{\mathbf A}\to {\mathbf A}\) and three natural transformations \(\partial^\varepsilon: P\to 1_{\mathbf A}\), \(e:1_{\mathbf A}\to P (\varepsilon=0,1)\) such that \(\partial^\varepsilon \circ e=1(\varepsilon=0,1)\). Let \(T\) be a monad over \({\mathbf A}\). It is shown that the homotopy structure on \({\mathbf A}\) can be lifted to the category \({\mathbf A}^T\) of Eilenberg-Moore algebras over \(T\) provided that \(P\) is consistent with \(T\), i.e. equipped with a natural transformation \(\lambda:TP\to PT\) satisfying some obvious axioms. Furthermore, homotopy operations such as faces, degeneracies, connections, reversion, interchange, etc. together with their axioms can be lifted from \({\mathbf A}\) to \({\mathbf A}^T\) if they are consistent with \(\lambda\). The wide range of examples includes the transition from topological spaces to fibrewise homotopy and to equivariant homotopy.
Mathematics Subject Classification ID: 55U35
Mathematics Subject Classification ID: 18G55
Mathematics Subject Classification ID: 18C15
Mathematics Subject Classification ID: 18C20
Mathematics Subject Classification ID: 55P91
zbMATH DE Number: 1384513
zbMATH Keywords: abstract homotopy
zbMATH Keywords: cocylinder
zbMATH Keywords: cylinder
zbMATH Keywords: Eilenberg-Moore algebra
zbMATH Keywords: monad
zbMATH Keywords: homotopy operations
zbMATH Keywords: fibrewise homotopy
zbMATH Keywords: equivariant homotopy
reviewed by: Klaus Heiner Kamps
MaRDI profile type: Publication
full work available at URL: a:1008678719663
OpenAlex ID: W1513660908
description: scientific article; zbMATH DE number 1384513