It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

N� de ref. del art�culo 3031188993-8-1

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Effective Kan Fibrations in Simplicial Sets (Lecture Notes in Mathematics)
Editor: Springer (edition 1st ed. 2022)
Fecha de publicaci�n: 2022
Idioma: Ingl�s
ISBN 10: 3031188993
ISBN 13: 9783031188992
Encuadernaci�n: Paperback
Edici�n: 1st ed. 2022.
Estado: Very Good

Acerca de

Sinopsis

This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective Kan fibrations are maps of simplicial sets equipped with a structured collection of chosen lifts that satisfy certain non-trivial properties. Here it is revealed that fundamental properties of ordinary Kan fibrations can be extended to explicit constructions on effective Kan fibrations. In particular, a constructive (explicit) proof is given that effective Kan fibrations are stable under push forward, or fibred exponentials. Further, it is shown that effective Kan fibrations are local, or completely determined by their fibres above representables, and the maps which can be equipped with the structure of an effective Kan fibration are precisely the ordinary Kan fibrations. Hence implicitly, both notions still describe the same homotopy theory. These new results solve an open problem in homotopy type theory and provide the first step toward giving a constructive account of Voevodsky’s model of univalent type theory in simplicial sets.

De la contraportada

This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective Kan fibrations are maps of simplicial sets equipped with a structured collection of chosen lifts that satisfy certain non-trivial properties. Here it is revealed that fundamental properties of ordinary Kan fibrations can be extended to explicit constructions on effective Kan fibrations. In particular, a constructive (explicit) proof is given that effective Kan fibrations are stable under push forward, or fibred exponentials. Further, it is shown that effective Kan fibrations are local, or completely determined by their fibres above representables, and the maps which can be equipped with the structure of an effective Kan fibration are precisely the ordinary Kan fibrations. Hence implicitly, both notions still describe the same homotopy theory. These new results solve an open problem in homotopy type theory and provide the first step toward giving a constructive account of Voevodsky's model of univalent type theory in simplicial sets.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

BooksRun helps to save money on textbooks. We are committed to providing each customer with the highest standard of customer service. Please pay close attention to the description of the book and its condition you are ordering. If you have any questions or issues, please make sure to contact us first so we could resolve them. All orders are shipped on the same or the next business day. It usually takes 1 to 5 business days to receive your item if you choose expedited shipping. All orders submitted are eligible for a return within 30 days after the delivery. Thanks for shopping with us!

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

AZ Texts LLC
228 Park Ave S Suite 38827, New York, NY, 10003, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Derecho a cancelaci�n

Si eres un consumidor puedes cancelar el presente contrato de acuerdo con lo indicado a continuaci?n. Son consumidores las personas f?sicas que act?en con un prop?sito ajeno a su actividad comercial, empresarial, oficio o profesi?n.

Documento de informaci?n al consumidor y usuario sobre el desistimiento

Derecho de desistimiento:

Tienes derecho a desistir del presente contrato en un plazo de 14 d?as naturales sin necesidad de justificaci?n.

El plazo de desistimiento expirar? a los 14 d?as naturales del d?a en que t? o un tercero que hayas indicado, distinto del transportista, adquiera la posesi?n material del ?ltimo bien, componente o pieza.

Para ejercer el derecho de desistimiento, deber?s notificarnos a BooksRun, 1733 Sheepshead Bay rd., Ste 29, 11235, Brooklyn, New York, U.S.A., 1 866-249-9769, de tu decisi?n de desistir del contrato a trav?s de una declaraci?n inequ?voca (por ejemplo, una carta enviada por correo postal, fax o correo electr?nico). Podr?s utilizar el modelo de formulario de desistimiento que figura a continuaci?n, aunque su uso no es obligatorio. Tienes asimismo la opci?n de cumplimentar y enviar electr?nicamente el modelo de formulario de desistimiento o cualquier otra declaraci?n inequ?voca a trav?s de nuestro sitio web a "Mis pedidos" en "Mi cuenta". Si recurres a esta opci?n, te comunicaremos sin demora en un soporte duradero (por ejemplo, por correo electr?nico) la recepci?n de dicho desistimiento.

Para cumplir el plazo de desistimiento, basta con que la comunicaci?n relativa al ejercicio por tu parte de este derecho sea enviada antes de que venza el plazo correspondiente.

Consecuencias del desistimiento:

En caso de desistimiento por tu parte, te devolveremos todos los pagos recibidos de ti, incluidos los gastos de entrega (con la excepci?n de los gastos adicionales resultantes de la elecci?n por tu parte de una modalidad de entrega diferente a la modalidad menos costosa de entrega ordinaria que ofrezcamos) sin ninguna demora indebida y, en todo caso, a m?s tardar 14 d?as naturales a partir de la fecha en la que se nos informes de tu decisi?n de desistir del presente contrato. Procederemos a efectuar dicho reembolso utilizando el mismo medio de pago empleado por ti para la transacci?n inicial, a no ser que hayas dispuesto expresamente lo contrario; en todo caso, no incurrir?s en ning?n gasto como consecuencia del reembolso.

Podremos retenerte el reembolso hasta haber recibido los bienes, o hasta que hayas presentado una prueba de la devoluci?n de los mismos, seg?n qu? condici?n se cumpla primero. Deber?s devolvernos o entregarnos directamente los bienes a BooksRun, 1733 Sheepshead Bay rd., Ste 29, 11235, Brooklyn, New York, U.S.A., 1 866-249-9769, sin ninguna demora indebida y, en cualquier caso, a m?s tardar en el plazo de 14 d?as naturales a partir de la fecha en que nos comuniques tu decisi?n de desistimiento del contrato. Se considerar? cumplido el plazo si efect?as la devoluci?n de los bienes antes de que haya concluido dicho plazo. Deber?s asumir el coste directo de devoluci?n de los bienes. Solo ser?s responsable de la disminuci?n de valor de los bienes resultante de una manipulaci?n distinta a la necesaria para establecer la naturaleza, las caracter?sticas y el funcionamiento de los bienes.

Excepciones al derecho de desistimiento:

La entrega de peri?dicos, publicaciones especializadas o revistas con la excepci?n de contratos de suscripci?n; y
La entrega de contenido digital (incluyendo apps, software digital e-books, MP3, etc.) que no hubiera sido entregado en un medio tangible (por ejemplo: CD o DVD), si al realizar tu pedido has aceptado que podemos proceder al env?o del producto y que no resulta posible su cancelaci?n una vez comienza la entrega.

Modelo de formulario de desistimiento

(S?lo debe cumplimentar y enviar el presente formulario si desea desistir del contrato)

A la atenci?n de: (BooksRun, 1733 Sheepshead Bay rd., Ste 29, 11235, Brooklyn, New York, U.S.A., 1 866-249-9769)

Por la presente le comunico/comunicamos* que desisto de mi/desistimos de nuestro* contrato de venta del siguiente bien/prestaci?n del siguiente servicio*

Pedido el/recibido el*:

Nombre del consumidor y usuario o de los consumidores y usuarios:

Domicilio del consumidor y usuario o de los consumidores y usuarios:

Firma del consumidor y usuario o de los consumidores y usuarios (solo si el presente formulario se presenta en papel):

Fecha:

* Eliminar en su caso

Condiciones de env�o

Tarifas de env�o en Estados Unidos de America

Tarifas de env�o en Estados Unidos de America
Cantidad del pedido	De 3 a 8 d�as h�biles	De 3 a 6 d�as h�biles
Primer art�culo	EUR 0.00	EUR 3.46

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.