Related Books

Handbook of Categorical Algebra: Volume 3, Sheaf Theory
Language: en
Pages: 544
Authors: Francis Borceux
Categories: Mathematics
Type: BOOK - Published: 1994-12-08 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The Handbook of Categorical Algebra is intended to give, in three volumes, a rather detailed account of what, ideally, everybody working in category theory shou
Handbook of Categorical Algebra: Volume 1, Basic Category Theory
Language: en
Pages: 363
Authors: Francis Borceux
Categories: Mathematics
Type: BOOK - Published: 1994-08-26 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The Handbook of Categorical Algebra is designed to give, in three volumes, a detailed account of what should be known by everybody working in, or using, categor
Foundations of Software Science and Computation Structures
Language: en
Pages: 587
Authors: Stefan Kiefer
Categories: Mathematics
Type: BOOK - Published: 2021-03-22 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS
Graph Transformation
Language: en
Pages: 308
Authors: Maribel Fernández
Categories: Computers
Type: BOOK - Published: 2023-08-14 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester,
Objects, Structures, and Logics
Language: en
Pages: 365
Authors: Gianluigi Oliveri
Categories: Science
Type: BOOK - Published: 2022-03-08 - Publisher: Springer Nature

DOWNLOAD EBOOK

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship be