Allegories, rhetoric, imagery, commonplaces, cliches and archetypes are discussed in connection with the literary work of authors such as Montaigne, Shakespeare, Jules Verne, Emile Zola and James Joyce.

Allegories, rhetoric, imagery, commonplaces, cliches and archetypes are discussed in connection with the literary work of authors such as Montaigne, Shakespeare, Jules Verne, Emile Zola and James Joyce.

In 'Higher Topos Theory', Jacob Lurie presents the foundations of this theory using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.

The Routledge Dictionary of Language and Linguistics is a unique reference work for students and teachers of linguistics. The highly regarded second edition of the Lexikon der Sprachwissenschaft by Hadumod Bussmann has been specifically adapted by a team of over thirty specialist linguists to form the most comprehensive and up-to-date work of its kind in the English language. In over 2,500 entries, the Dictionary provides an exhaustive survey of the key terminology and languages of more than 30 subdisciplines of linguistics. With its term-based approach and emphasis on clear analysis, it complements perfectly Routledge's established range of reference material in the field of linguistics.

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and to thereby demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.

Focusing on topos theory's integration of geometric and logical ideas into the foundations of mathematics and theoretical computer science, this volume explores internal category theory, topologies and sheaves, geometric morphisms, and other subjects. 1977 edition.

This IMA Volume in Mathematics and its Applications TOWARDS HIGHER CATEGORIES contains expository and research papers based on a highly successful IMA Summer Program on n-Categories: Foundations and Applications. We are grateful to all the participants for making this occasion a very productive and stimulating one. We would like to thank John C. Baez (Department of Mathematics, University of California Riverside) and J. Peter May (Department of Ma- ematics, University of Chicago) for their superb role as summer program organizers and editors of this volume. We take this opportunity to thank the National Science Foundation for its support of the IMA. Series Editors Fadil Santosa, Director of the IMA Markus Keel, Deputy Director of the IMA v PREFACE DEDICATED TO MAX KELLY, JUNE 5 1930 TO JANUARY 26 2007. This is not a proceedings of the 2004 conference “n-Categories: Fo- dations and Applications” that we organized and ran at the IMA during the two weeks June 7–18, 2004! We thank all the participants for helping make that a vibrant and inspiring occasion. We also thank the IMA sta? for a magni?cent job. There has been a great deal of work in higher c- egory theory since then, but we still feel that it is not yet time to o?er a volume devoted to the main topic of the conference.

This book presents a deep spectrum of musical, mathematical, physical, and philosophical perspectives that have emerged in this field at the intersection of music and mathematics. In particular the contributed chapters introduce advanced techniques and concepts from modern mathematics and physics, deriving from successes in domains such as Topos theory and physical string theory. The authors include many of the leading researchers in this domain, and the book will be of value to researchers working in computational music, particularly in the areas of counterpoint, gesture, and Topos theory.

According to Grothendieck, the notion of topos is "the bed or deep river where come to be married geometry and algebra, topology and arithmetic, mathematical logic and category theory, the world of the continuous and that of discontinuous or discrete structures". It is what he had "conceived of most broad to perceive with finesse, by the same language rich of geometric resonances, an "essence" which is common to situations most distant from each other, coming from one region or another of the vast universe of mathematical things". The aim of this book is to present a theory and a number of techniques which allow to give substance to Grothendieck's vision by building on the notion of classifying topos educed by categorical logicians. Mathematical theories (formalized within first-order logic) give rise to geometric objects called sites; the passage from sites to their associated toposes embodies the passage from the logical presentation of theories to their mathematical content, i.e. from syntax to semantics. The essential ambiguity given by the fact that any topos is associated in general with an infinite number of theories or different sites allows to study the relations between different theories, and hence the theories themselves, by using toposes as 'bridges' between these different presentations. The expression or calculation of invariants of toposes in terms of the theories associated with them or their sites of definition generates a great number of results and notions varying according to the different types of presentation, giving rise to a veritable mathematical morphogenesis.

An introduction to the theory of toposes which begins with illustrative examples and goes on to explain the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.