{"product_id":"basic-category-theory-for-computer-scientists-9780262660716","title":"Teoría de Categorías Básica para Informáticos","description":"\u003cb\u003e\u003ci\u003eBasic Category Theory for Computer Scientists\u003c\/i\u003e ofrece una presentación sencilla de las construcciones y la terminología básicas de la teoría de categorías, incluyendo límites, functores, transformaciones naturales, adjuntos y categorías cartesianas cerradas.\u003c\/b\u003e\u003cp\u003eLa teoría de categorías es una rama de las matemáticas puras que se está convirtiendo en una herramienta cada vez más importante en la informática teórica, especialmente en la semántica de los lenguajes de programación, la teoría de dominios y la concurrencia, donde ya es un lenguaje de discurso estándar. Asumiendo una preparación matemática mínima, \u003ci\u003eBasic Category Theory for Computer Scientists\u003c\/i\u003e proporciona una presentación sencilla de las construcciones y la terminología básicas de la teoría de categorías, incluyendo límites, functores, transformaciones naturales, adjuntos y categorías cartesianas cerradas. Cuatro estudios de caso ilustran las aplicaciones de la teoría de categorías al diseño de lenguajes de programación, la semántica y la solución de ecuaciones de dominio recursivas. Un breve estudio de la literatura ofrece sugerencias para un estudio posterior en textos más avanzados. \u003c\/p\u003e\u003cp\u003e\u003cb\u003eContenidos\u003cbr\u003e\u003c\/b\u003eTutorial - Aplicaciones - Lecturas adicionales\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-16596924\"\u003eBenjamin C. Pierce\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e MIT Press\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 07\/08\/1991\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 116\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.49 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 8.98h x 7.10w x 0.38d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780262660716\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0262660717\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT018000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM014000\"\u003eCiencias de la Computación\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eAcerca del autor\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eBenjamin C. Pierce es profesor de Ciencias de la Computación y la Información en la Universidad de Pensilvania.\u003c\/p\u003e","brand":"MIT Press","offers":[{"title":"Default Title","offer_id":44540392931565,"sku":"9780262660716","price":58.33,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_7d5e87c5-9962-427e-bc6d-7f04ef639326.jpg?v=1701486885","url":"https:\/\/sureshotbooks.com\/es\/products\/basic-category-theory-for-computer-scientists-9780262660716","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}