Category theory for computing science
نویسندگان
چکیده
منابع مشابه
Relative Directed Homotopy Theory of Partially Ordered Spaces
Algebraic topological methods have been used successfully in concurrency theory, the domain of theoretical computer science that deals with parallel computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially ordered spaces (pospaces) as a model for concurrent systems. In this paper it is shown that the category of pospaces under a fixed pospace is both a fibration and a cofib...
متن کاملA New Model Representation for Road Mapping in Emerging Sciences: A Case Study on Roadmap of Quantum Computing
One of the solutions for organizations to succeed in highly competitive markets is to move toward emerging sciences. These areas provide many opportunities, but, if organizations do not meet requirements of emerging sciences, they may fail and eventually, may enter a crisis. In this matter, one of the important requirements is to develop suitable roadmaps in variety fields such as strategic, ca...
متن کاملThe Impact of Social Commerce Determinants on Social Capital for Energy Sectors
This study investigates the constructs and related theories that drive social capital in energy sector from the intention perspectives. This research uses theories of ‘social support’ and ‘planned behaviour’ alongside satisfaction and perceived value to propose a research model that drives social capital for energy sectors in Malaysia. The model reveals that the Theories of Planned Behaviour (T...
متن کاملA Categorical Manifesto
This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying seven basic categorical concepts: category, functor, natural transformation, limit, adjoint, colimit and comma category. Some examples, intuition, and references are given for each concept, but completeness is not attempted. Some additional categorical concepts and some sugg...
متن کاملGiuseppe Longo: Computations and Natural Sciences
Giuseppe Longo, a well-known mathematician and computer scientist, is a former professor of Mathematical Logic and Theory of Computing, at the Unniversity of Pisa (Italy) and, since 1990, Directeur de Recherches at CNRS and at the École Normale Supérieure in Paris. Professor Longo has extensively published in many areas including logic and computability, type theory, category theory and their a...
متن کامل