Lawrence S. Moss

Providing an in-depth treatment of an exciting research area, this text's central topics are initial algebras and terminal coalgebras, primary objects of study in all areas of theoretical computer science connected to semantics. It contains a thorough presentation of iterative constructions, giving both classical and new results on terminal coalgebras obtained by limits of canonical chains, and initial algebras obtained by colimits. These constructions are also developed in enriched settings, especially those enriched over complete partial orders and complete metric spaces, connecting the book to topics like domain theory. Also included are an extensive treatment of set functors, and the first book-length presentation of the rational fixed point of a functor, and of lifting results which connect fixed points of set functors with fixed points of endofunctors on other categories. Representing more than fifteen years of work, this will be the leading text on the subject for years to come.

Mathematical Structures in Languages introduces a number of mathematical concepts that are of interest to the working linguist. The areas covered include basic set theory and logic, formal languages and automata, trees, partial orders, lattices, Boolean structure, generalized quantifier theory, and linguistic invariants, the last drawing on Edward L. Keenan and Edward Stabler's Bare Grammar: A Study of Language Invariants, also published by CSLI Publications. Ideal for advanced undergraduate and graduate students of linguistics, this book contains numerous exercises and will be a valuable resource for courses on mathematical topics in linguistics. The product of many years of teaching, Mathematic Structures in Languages is very much a book to be read and learned from.

Mathematical Structures in Languages introduces a number of mathematical concepts that are of interest to the working linguist. The areas covered include basic set theory and logic, formal languages and automata, trees, partial orders, lattices, Boolean structure, generalized quantifier theory, and linguistic invariants, the last drawing on Edward L. Keenan and Edward Stabler's Bare Grammar: A Study of Language Invariants, also published by CSLI Publications. Ideal for advanced undergraduate and graduate students of linguistics, this book contains numerous exercises and will be a valuable resource for courses on mathematical topics in linguistics. The product of many years of teaching, Mathematic Structures in Languages is very much a book to be read and learned from.