DOKUCHAEV, M. and NOVIKOV, B. 2016. ON COLIMITS OVER ARBITRARY POSETS. Glasgow Mathematical Journal, Vol. 58, Issue. 01, p. 219.
Frič, Roman and Papčo, Martin 2016. Upgrading Probability via Fractions of Events. Communications in Mathematics, Vol. 24, Issue. 1,
Kovalyov, S. P. 2016. Category-Theoretic Approach to Software Systems Design. Journal of Mathematical Sciences, Vol. 214, Issue. 6, p. 814.
Xu, Yuanping Scott, Paul J. and Zheng, Jiaoling 2016. Novel Research on a Fibration Knowledge-Based Solution for Engineered Surface Tolerances within the Modern GPS Context. International Journal of Software Engineering and Knowledge Engineering, Vol. 26, Issue. 05, p. 845.
Frič, Roman and Papčo, Martin 2015. On Probability Domains III. International Journal of Theoretical Physics, Vol. 54, Issue. 12, p. 4237.
Skřivánek, Václav and Frič, Roman 2015. Generalized Random Events. International Journal of Theoretical Physics, Vol. 54, Issue. 12, p. 4386.
Zhu, Ming Grogono, Peter and Ormandjieva, Olga 2015. Using Category Theory to Verify Implementation Against Design in Concurrent Systems. Procedia Computer Science, Vol. 52, p. 530.
Cassano, Valentin and Maibaum, Thomas S. E. 2014. Actions and Events in Concurrent Systems Design. Electronic Proceedings in Theoretical Computer Science, Vol. 139, p. 31.
Diskin, Zinovy and Maibaum, Tom 2014. Model-Driven Engineering of Information Systems.
Phillips, Steven and Bolhuis, Johan J. 2014. Analogy, Cognitive Architecture and Universal Construction: A Tale of Two Systematicities. PLoS ONE, Vol. 9, Issue. 2, p. e89152.
Thiry, Laurent and Hassenforder, Michel 2014. A Calculus for (Meta)Models and Transformations. International Journal of Software Engineering and Knowledge Engineering, Vol. 24, Issue. 05, p. 715.
Bautista-Ramos, César Guillén-Galván, Carlos and Rangel-Huerta, Alejandro 2013. From orthogonal projections to a generalized quantum search. Quantum Information Processing, Vol. 12, Issue. 1, p. 1.
Kovalev, S. P. 2013. Systems analysis of life cycle of large-scale information-control systems. Automation and Remote Control, Vol. 74, Issue. 9, p. 1510.
Chechik, Marsha Nejati, Shiva and Sabetzadeh, Mehrdad 2012. A relationship-based approach to model integration. Innovations in Systems and Software Engineering, Vol. 8, Issue. 1, p. 3.
Diskin, Zinovy and Maibaum, Tom 2012. Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond. Electronic Proceedings in Theoretical Computer Science, Vol. 93, p. 1.
Rotman, Brian 2012. Topology, Algebra, Diagrams. Theory, Culture & Society, Vol. 29, Issue. 4-5, p. 247.
Zafiris, Elias 2012. Rosen's modelling relations via categorical adjunctions. International Journal of General Systems, Vol. 41, Issue. 5, p. 439.
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 suggestions for further research are also mentioned. The paper concludes with some philosophical discussion.
This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
Email your librarian or administrator to recommend adding this journal to your organisation's collection.
Full text views reflects the number of PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.
Abstract views reflect the number of visits to the article landing page.
* Views captured on Cambridge Core between September 2016 - 28th June 2017. This data will be updated every 24 hours.