To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Jiří Adámek, Czech Technical University in Prague,Stefan Milius, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany,Lawrence S. Moss, Indiana University, Bloomington
Jiří Adámek, Czech Technical University in Prague,Stefan Milius, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany,Lawrence S. Moss, Indiana University, Bloomington
Jiří Adámek, Czech Technical University in Prague,Stefan Milius, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany,Lawrence S. Moss, Indiana University, Bloomington
This chapter studies results whereby a set functor is lifted to other categories, paying attention to whether the initial algebra and terminal coalgebra structures also lift. For example, given a set functor F having a terminal coalgebra and a lifting on either complete partial orders and complete metric spaces, the terminal coalgebra can be equipped with a canonical order or metric, respectively, so that this yields the terminal coalgebra for the lifting. Initial algebras, however, need not lift from Set to the other categories. We are also interested in specific liftings of F to pseudometric spaces, such as the Kantorovich and Wasserstein liftings. We study extensions to Kleisli categories and liftings to Eilenberg–Moore categories. We present results on coalgebraic trace semantics, and discuss examples such as the classical trace semantics of (probabilistic) labelled transition systems and languages accepted by nominal automata. We also study generalized determinization of coalgebras of functors arising from liftings to Eilenberg–Moore categories, leading to the coalgebraic language semantics. We see many instances of this semantics: the language semantics of non-deterministic weighted, probabilistic, and nominal automata; and also context-free languages.
This chapter highlights how the pursuit of pleasure, foundational concepts in the philosophy of Epicurus, continue to be essential pillars in the modern understanding of human behavior. These principles are expanded upon by incorporating learning theories formulated by Edward Lee Thorndike, specifically stimulus-response association and the Law of Effect, which posits that actions resulting in pleasure are likely to be repeated, thereby solidifying our understanding of habit formation. Under this paradigm, the influence of gratifying and aversive experiences on our learning and behavior is detailed, emphasizing their central role in the digital age. In particular, it explores how gratifying interactions with mobile devices promote habit formation. Additionally, emerging evidence supporting the concept of the ‘hedonic brain’ is examined, reflecting a neural predisposition towards maximizing pleasure and minimizing pain, and highlighting the importance of dopaminergic brain structures in the storage of gratifying experiences, which will favor their future repetition. The chapter also addresses the mechanisms of positive and negative reinforcement and how these manifest in our interaction with digital technology, focusing on how the digital age has facilitated the attainment of rewards. Finally, the functional analysis of behavior and operant conditioning by Burrhus Frederic Skinner is discussed, illustrating how our behaviors are shaped by their consequences, a principle that is being extensively exploited by technology and digital services.
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.