你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Term Functors, Ultrafilter Categorical Computing and Monads
Type
Physical Book
Author
Publisher
Language
English
Pages
456
Format
Paperback
Dimensions
22.9x15.2x2.6 cm
Weight
0.66 kg.
ISBN13
9786202077903
Categories

Term Functors, Ultrafilter Categorical Computing and Monads

Cyrus F. Nourani (Author) · Patrik Eklund (Author) · LAP Lambert Academic Publishing · Paperback

Term Functors, Ultrafilter Categorical Computing and Monads - Nourani, Cyrus F. ; Eklund, Patrik

Cheaper New Book Imported to Taiwan
Delivery: 15 Oct - 23 Oct Shipping: 13 to 14 business days.
NT$ 3,571
Faster New Book Imported to Taiwan
Delivery: 05 Oct - 13 Oct Shipping: 5 to 6 business days.
NT$ 3,685
NT$ 3,571

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Term Functors, Ultrafilter Categorical Computing and Monads"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews