Provability, Computability and Reflection.
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions.…
"Monoidal Topology describes an active research area that, after various past proposals on how to axiomatize "spaces" in terms of convergence, began to emerge at the beginning of the millennium. It combines Barr's relational presentation of topological spaces in terms of ultrafi…
"Monoidal Topology describes an active research area that, after various past proposals on how to axiomatize "spaces" in terms of convergence, began to emerge at the beginning of the millennium. It combines Barr's relational presentation of topological spaces in terms of ultrafi…
"Monoidal Topology describes an active research area that, after various past proposals on how to axiomatize "spaces" in terms of convergence, began to emerge at the beginning of the millennium. It combines Barr's relational presentation of topological spaces in terms of ultrafi…
Douglas R. Hofstadter is College of Arts and Sciences Professor of Cognitive Science and Computer Science at Indiana University, Bloomington, where he also directs the Center for Research on Concepts and Cognition.
Douglas Hofstadter's book is concerned directly with the nature of "maps' or links between formal systems. However, according to Hofstadter, the formal system that underlies all mental activity transcends the system that supports it. If life can grow out of the formal chemical s…
"Mathematician and popular science author Eugenia Cheng is on a mission to show you that mathematics can be flexible, creative, and visual. This joyful journey through the world of abstract mathematics into category theory will demystify mathematical thought processes and help y…
'The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an ∞-category is requires various technical models, raising the question of how they migh…
[Infinity]-Cosmoi and their homotopy 2-categories -- Adjunctions, limits, and colimits I -- Comma [infinity]-categories -- Adjunctions, limits, and colimits II -- Fibrations and Yoneda's lemma -- Exotic [infinity]-cosmoi -- Two-sided fibrations and modules -- The calculus of mod…
"The language of [infinity]--categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an [infinity]--category is requires various technical models, raising the quest…
The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an ∞-category is requires various technical models, raising the question of how they might…