Category Theory for the Sciences

Author: David I. Spivak
Publisher: MIT Press
ISBN: 9780262028134
Release Date: 2014-10-10
Genre: Computers

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences.

Basic Category Theory for Computer Scientists

Author: Benjamin C. Pierce
Publisher: MIT Press
ISBN: 0262660717
Release Date: 1991
Genre: Computers

Basic Category Theory for Computer Scientists provides a straightforward presentationof the basic constructions and terminology of category theory, including limits, functors, naturaltransformations, adjoints, and cartesian closed categories.

Die komplexe Perspektive

Author: Jörn Dinkla
Publisher: BoD – Books on Demand
ISBN: 9783839136935
Release Date: 2016-04-06
Genre: Computers

Die Menschheit ist in der Informations- und Wissensgesellschaft angekommen, und ständig tauchen weitere Neuigkeiten am Horizont auf: Das Internet der Dinge, Big Data, Data Science, intelligente Roboter und selbstfahrende Autos mit künstlicher Intelligenz. Wie soll man diese Technologien bewerten? Welche Folgen werden sie haben? Viele Menschen sind hier sehr skeptisch und fürchten, dass die Arbeitsplätze, die Privatsphäre und die Freiheit von diesen neuen Technologien bedroht werden. Politiker nutzen diese Ängste wiederum aus, um ihre politischen und wirtschaftlichen Interessen durchzusetzen, wie die Diskussionen zur Regulierung des Internets, zum Datenschutz, zur Buchpreisbindung und zur Scheinselbständigkeit zeigen. Aber die Gefahren lauern ganz woanders, als die meisten vermuten. Das Ziel dieses Buches ist, das Grundwissen für die digitale Wirtschaft und Gesellschaft möglichst einfach zu vermitteln. Das Buch richtet sich an alle, und es werden keine speziellen Vorkenntnisse benötigt. In diesem Buch erfährt man u.a. die folgenden Dinge... - Warum komplexe Systeme so schwierig zu kontrollieren sind - Wie man Daten verarbeitet und mit Data Science wichtiges Wissen darin findet - Warum die Künstliche Intelligenz noch lange nicht so intelligent wie Menschen ist - Warum die Marktwirtschaft ein Informationssystem ist und warum Sozialismus nicht funktioniert - Warum "Wissen" heute wichtiger ist als "Kapital" und wir nicht im "Kapitalismus" leben - Warum die Informationstechnologie, die Digitalisierung und Innovationen so wichtig sind - Warum der Fortschritt immer schneller wird - Warum die Politik vorsichtig bei einer Regulierung der IT sein muss Das Thema ist so umfangreich, weil die Technik sehr viele Bereiche des Lebens beeinflusst. Um die Grenzen der künstlichen Intelligenz zu verstehen, muss man auch die Grenzen der menschlichen Intelligenz kennen. Um die Gefährlichkeit einer falschen Regulierung einschätzen zu können, muss man über Grundwissen der Wirtschaft verfügen. Dazu behandelt dieses Buch viele unterschiedliche Bereiche: Datenverarbeitung, Data Science, Künstliche Intelligenz, die Digitalisierung, komplexe Systeme, die begrenzte Rationalität der Menschen, Wirtschaftswissenschaften, Globalisierung, Wettbewerb, Innovation, die agentenbasierte-Modellierung und ein wenig Politik. Nach dem Lesen dieses Buchs kann man die Welt aus der Perspektive der „komplexen Systeme“ betrachten und die „Gefahren“ neu bewerten.

Category Theory

Author: Steve Awodey
Publisher: Oxford University Press
ISBN: 9780191513824
Release Date: 2006-05
Genre: Mathematics

This text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but also researchers and students of Computer Science, Logic, Linguistics, Cognitive Science, Philosophy, and any of the other fields that now make use of it. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of Category Theory understandable to this broad readership. Although it assumes few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads.

Einf hrung in die Kategorientheorie

Author: Martin Brandenburg
Publisher: Springer-Verlag
ISBN: 9783662535219
Release Date: 2016-12-15
Genre: Mathematics

Die Kategorientheorie deckt die innere Architektur der Mathematik auf. Dabei werden die strukturellen Gemeinsamkeiten zwischen mathematischen Disziplinen und ihren spezifischen Konstruktionen herausgearbeitet. Dieses Buch gibt eine systematische Einführung in die Grundbegriffe der Kategorientheorie. Zahlreiche ausführliche Erklärungstexte sowie die große Menge an Beispielen helfen beim Einstieg in diese verhältnismäßig abstrakte Theorie. Es werden viele konkrete Anwendungen besprochen, welche die Nützlichkeit der Kategorientheorie im mathematischen Alltag belegen. Jedes Kapitel wird mit einem motivierenden Text eingeleitet und mit einer großen Aufgabensammlung abgeschlossen. An Vorwissen muss der Leser lediglich ein paar Grundbegriffe des Mathematik-Studiums mitbringen. Die vorliegende zweite vollständig durchgesehene Auflage ist um ausführliche Lösungen zu ausgewählten Aufgaben ergänzt.

Disciplinary Convergence in Systems Engineering Research

Author: Azad M. Madni
Publisher: Springer
ISBN: 9783319622170
Release Date: 2017-12-24
Genre: Technology & Engineering

The theme of this volume on systems engineering research is disciplinary convergence: bringing together concepts, thinking, approaches, and technologies from diverse disciplines to solve complex problems. Papers presented at the Conference on Systems Engineering Research (CSER), March 23-25, 2017 at Redondo Beach, CA, are included in this volume. This collection provides researchers in academia, industry, and government forward-looking research from across the globe, written by renowned academic, industry and government researchers.

Topology and Category Theory in Computer Science

Author: George M. Reed
Publisher: Oxford University Press
ISBN: 9780198537601
Release Date: 1991
Genre: Computers

This work consists of a selection of papers from the proceedings of a special session on topology and category theory in computer science, held at The Oxford Topology Symposium in June 1989. The session achieved a mixing of ideas between the two communities - giving one a course of new problems with a more practical flavour, and the other a source of solutions and ideas.

An Introduction to Category Theory

Author: Harold Simmons
Publisher: Cambridge University Press
ISBN: 9781139503327
Release Date: 2011-09-22
Genre: Mathematics

Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the subject. Beginning postgraduate mathematicians will find this book an excellent introduction to all of the basics of category theory. It gives the basic definitions; goes through the various associated gadgetry, such as functors, natural transformations, limits and colimits; and then explains adjunctions. The material is slowly developed using many examples and illustrations to illuminate the concepts explained. Over 200 exercises, with solutions available online, help the reader to access the subject and make the book ideal for self-study. It can also be used as a recommended text for a taught introductory course.

Computational Science ICCS 2007

Author: Yong Shi
Publisher: Springer Science & Business Media
ISBN: 9783540725879
Release Date: 2007-05-18
Genre: Computers

Part of a four-volume set, this book constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007. The papers cover a large volume of topics in computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.

Das egoistische Gen

Author: Richard Dawkins
Publisher: Springer-Verlag
ISBN: 9783642553912
Release Date: 2014-06-20
Genre: Science

p”Ein auch heute noch bedeutsamer Klassiker“ Daily Express Sind wir Marionetten unserer Gene? Nach Richard Dawkins ́ vor über 30 Jahren entworfener und heute noch immer provozierender These steuern und dirigieren unsere von Generation zu Generation weitergegebenen Gene uns, um sich selbst zu erhalten. Alle biologischen Organismen dienen somit vor allem dem Überleben und der Unsterblichkeit der Erbanlagen und sind letztlich nur die "Einweg-Behälter" der "egoistischen" Gene. Sind wir Menschen also unserem Gen-Schicksal hilflos ausgeliefert? Dawkins bestreitet dies und macht uns Hoffnung: Seiner Meinung nach sind wir nämlich die einzige Spezies mit der Chance, gegen ihr genetisches Schicksal anzukämpfen.

Logic and Program Semantics

Author: Robert L. Constable
Publisher: Springer
ISBN: 9783642294853
Release Date: 2012-04-26
Genre: Computers

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related to Dexter Kozen's research. They deal with coalgebraic methods, congruence closure; the completeness of various programming logics; decision procedure for logics; alternation; algorithms and complexity; and programming languages and program analysis. The second part of this volume includes laudatios from several collaborators, students and friends, including the members of his current band.

The Theory of Info Statics Conceptual Foundations of Information and Knowledge

Author: Kofi K. Dompere
Publisher: Springer
ISBN: 9783319616391
Release Date: 2017-08-05
Genre: Computers

This book discusses the development of a theory of info-statics as a sub-theory of the general theory of information. It describes the factors required to establish a definition of the concept of information that fixes the applicable boundaries of the phenomenon of information, its linguistic structure and scientific applications. The book establishes the definitional foundations of information and how the concepts of uncertainty, data, fact, evidence and evidential things are sequential derivatives of information as the primary category, which is a property of matter and energy. The sub-definitions are extended to include the concepts of possibility, probability, expectation, anticipation, surprise, discounting, forecasting, prediction and the nature of past-present-future information structures. It shows that the factors required to define the concept of information are those that allow differences and similarities to be established among universal objects over the ontological and epistemological spaces in terms of varieties and identities. These factors are characteristic and signal dispositions on the basis of which general definitional foundations are developed to construct the general information definition (GID). The book then demonstrates that this definition is applicable to all types of information over the ontological and epistemological spaces. It also defines the concepts of uncertainty, data, fact, evidence and knowledge based on the GID. Lastly, it uses set-theoretic analytics to enhance the definitional foundations, and shows the value of the theory of info-statics to establish varieties and categorial varieties at every point of time and thus initializes the construct of the theory of info-dynamics.