Name: Term Functors, Ultrafilter Categorical Computing and Monads (en Inglés)
SKU: 56781677
Price: 119.08 USD
Availability: InStock
Author: Nourani, Cyrus F. ; Eklund, Patrik
ISBN: 9786202077903

portada Term Functors, Ultrafilter Categorical Computing and Monads (en Inglés)

Term Functors, Ultrafilter Categorical Computing and Monads (en Inglés)

Formato

Libro Físico

Autor

Cyrus F. Nourani

Patrik Eklund

Editorial

LAP Lambert Academic Publishing

Idioma

Inglés

N° páginas

456

Encuadernación

Tapa Blanda

Dimensiones

22.9x15.2x2.6 cm

Peso

0.66 kg.

ISBN13

9786202077903

Categorías

Tecnología de la información: cuestiones generales

Term Functors, Ultrafilter Categorical Computing and Monads (en Inglés)

Cyrus F. Nourani (Autor) · Patrik Eklund (Autor) · LAP Lambert Academic Publishing · Tapa Blanda

Libro Nuevo Importado

Envío: 25 a 32 días háb.

$ 216.51$ 119.08

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 119.08

Llega entre el 18 Sep y el 01 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Term Functors, Ultrafilter Categorical Computing and Monads (en Inglés)"

This book is an introduction to a term functorial mathematics and monad-based model theory on infinitary language categories. Term functors are important new techniques that bring categorical models mathematics bases closer to computability studies. The book bridges over important areas between CS and Mathematics with newer important insights. Lifting to power signatures to bridge onto n-type functors with ultrafilters for computability with n-type models for point set fragments. The accomplishment bring forth newer avenues between mathematics and TCS with newer benefits to both disciplines. The functorial model perspective is different from the preceding authors', in that functorial model theory is based on defining categories on language fragments, then carrying on functors to categories and filter monads. Infinitary language categories abbreviated IFLCS in the first authors publications over a decade ago. An important consequence is that we have a direct reach to all developed model theory techniques at categories. Therefore, we do not reinvent all that at topos, but carry that at topos.