Giuseppe Rosolini – författare
Visar alla böcker från författaren Giuseppe Rosolini. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 1488 - Lecture Notes in Mathematics
Category Theory
Proceedings of the International Conference held in Como, Italy, July 22-28, 1990
Häftad, Engelska, 1991
591 kr
Skickas inom 10-15 vardagar
With one exception, these papers are original and fully refereed research articles on various applications of category theory to algebraic topology, logic and computer science. The exception is a survey paper which gives an account of classical Tannaka duality in such a way as to be accessible to the general mathematical reader. No expertise in either representation theory or category theory is assumed. Topics such as the Fourier co-transform, Tannaka duality for homogeneous spaces, braided tensor categories, Yang-Baxter operators, Knot invariants and quantum groups are introduced and studied.
Category Theory and Computer Science
7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
Häftad, Engelska, 1997
538 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.