Read more
Zusatztext Category theory is sometimes used for building long and high conceptual bridges. Here it is in action, spanning a string diagram bridge between quantum physics and linguistics. In the middle you may feel dizzy. When you get to the other side, the clouds may obscure where you started from. But the landscape in between is very picturesque and definitely worth the climb. Informationen zum Autor Dr Heunen is a mathematical physicist with an interest in logic. He obtained his PhD in mathematics and computer science at the University of Nijmegen in 2009. Currently he works as a postdoctoral researcher at the University of Oxford. Dr Sadrzadeh works on computational logical modelling and reasoning and their applications to natural language syntax and semantics. Her graduate studies in Computer Software Engineering, Logic, and Philosophy, were done in Universities of Sharif (in Iran), Ottawa and Quebec at Montreal (UQAM), and Oxford, where she was an academic visitor for half of the duration of her PhD and then an EPSRC Postdoctoral Fellow and where she is currently working as an EPSRC Career Acceleration Fellow. Mr Grefenstette is finishing a DPhil in Computer Science on the topic of exploiting category-theoretic methods from quantum information theory to add compositionality to distributional semantic models of natural language. He has a background in Physics (University of Sheffield, UK) and Philosophy (University of St Andrews, UK). He will be continuing his work on compositionality and semantics in Oxford as a postdoc, starting in Autumn 2012. Klappentext An interdisciplinary attempt to bring together physicists and linguists who use the same compositional mathematical methods. Although seemingly unrelated, due to the complexity and dynamics of the compound phenomena they aim to model, and also advances in their high level methods, these fields have come to share a common mathematical structure. Zusammenfassung An interdisciplinary attempt to bring together physicists and linguists who use the same compositional mathematical methods. Although seemingly unrelated, due to the complexity and dynamics of the compound phenomena they aim to model, and also advances in their high level methods, these fields have come to share a common mathematical structure. Inhaltsverzeichnis 1: Bob Coecke: An alternative Gospel of structure: order, composition, processes 2: Bertfried Fauser: Some graphical aspects of Frobenius algebras 3: Ross Duncan: A graphical approach to measurement-based quantum com- puting 4: Shahn Majid: Quantum groups and braided algebra 5: Joost Vercruysse: Hopf algebras-Variant notions and reconstruction theorems 6: Michael Müger: Modular Categories 7: Dion Coumans and Bart Jacobs: Scalars, Monads, and Categories 8: Peter Hines: Types and forgetfulness in categorical linguistics and quantum mechanics 9: Anne Preller: From Sentence to Concept: Predicate Logic and Quantum Logic in Compact Closed Categories 10: Michael Moortgat and Richard Moot: Proof nets for the Lambek-Grishin calculus 11: Daoud Clarke: Algebras over a field and semantics for context based reasoning 12: Stephen Pulman: Distributional Semantic Models 13: Stephen Clark: Type-Driven Syntax and Semantics for Composing Mean- ing Vectors ...
