https://www.ecured.cu/index.php?action=history&feed=atom&title=Semigrupoide_%28_%C3%81lgebra_homol%C3%B3gica%29 2026-04-25T15:24:48Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.16 https://www.ecured.cu/index.php?title=Semigrupoide_(_%C3%81lgebra_homol%C3%B3gica)&diff=3561283&oldid=prev 2019-10-14T13:27:31Z

<p>Pensamos que, apenas, se cubre un vacío</p> <p><b>Página nueva</b></p><div>{{desarrollo}}<br /> En [[matemáticas]], en el estudio de funtores y categorías, iniciado por los matemáticos Eilenberg y Mc lane, es necesario conocer algunos conceptos, tales como equivalencia natural, semigrupoide, etc.<br /> <br /> ==Definición==<br /> <br /> Formalmente, un '''semigrupoide''' es una clase M tal que para ciertos pares a y b que están en M, se define el producto <br /> <br /> ::ab que está en M, satisfaciendo estas dos ''condiciones de asociatividad''<br /> <br /> 1. CA1. para elementos cualesquiera a, b, c de M , el triple producto a(bc) está definido sii (ab)c está definido, en la circuntancia de que cualquiera de ellos esté definido se cumple la ley asociativa<br /> ::: a(bc) =(ab)c<br /> <br /> Este triple producto será denotado por abc.<br /> <br /> 2. CA2. el triple producto abc está definido cuando estén definidos los productos ab y bc.<br /> <br /> ==Fuente==<br /> Sze- Tsen Hu: Introducción al álgebra homológica<br /> <br /> [[Categoría:Álgebra ]] [[Categoría:Álgebra homológica ]] <br /> [[Categoría:Estructuras algebraicas]]</div>

Pararin