This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book co…
This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov t…
Dealing with subject matter of compact groups that is frequently cited in fields like algebra, topology, functional analysis, and theoretical physics, this book - now in its third revised and augmented edition - has been conceived with the dual purpose of providing a text book f…
Let C be a modular tensor category with a complete set of simples indexed by I. A modular invariant for C is a non-negative integer I × I-matrix that commutes with the modular data of C. In this thesis we present a novel method of associating a non-negative integer I × I-matrix …
We investigate categorical models of the unit-free multiplicative and multiplicative-additive fragments of linear logic by representing derivations as particular structures known as dinatural transformations. Suitable categories are considered to satisfy a property known as full…
