Algebraic Theories A Categorical Introduction to General Algebra |
|
| Author:
| Adámek, J.
Rosicky, J.
Vitale, E. M. |
| Foreword by:
| Lawvere, F. W. |
| Series title: | Cambridge Tracts in Mathematics Ser. |
| ISBN: | 978-0-511-98782-3 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Price to be announced contact
|
Book Description:
|
Up-to-date categorical view of sets with extra algebraic structure (data types), with applications in mathematics and theoretical computer science.
Up-to-date categorical view of sets with extra algebraic structure (data types), with applications in mathematics and theoretical computer science.