Abstract
No abstract available.
Cited By
- Choudhary N, Tiwari S and Singh S (2024). On compositions of (L-fuzzy) automata, Fuzzy Sets and Systems, 475:C, Online publication date: 15-Jan-2024.
- Singh S, Tiwari S and Mahato S (2023). On L-fuzzy automata, coalgebras and dialgebras, Fuzzy Sets and Systems, 460:C, (143-185), Online publication date: 30-May-2023.
- Altoyan N and Batory D (2022). On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels, ACM Transactions on Software Engineering and Methodology, 32:2, (1-42), Online publication date: 30-Apr-2023.
- Bach Poulsen C and van der Rest C (2023). Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects, Proceedings of the ACM on Programming Languages, 7:POPL, (1801-1831), Online publication date: 9-Jan-2023.
- Bakirtzis G, Genovese F and Fleming C (2022). Yoneda Hacking: The Algebra of Attacker Actions, ACM Transactions on Cyber-Physical Systems, 6:3, (1-27), Online publication date: 31-Jul-2022.
- Singh S and Tiwari S (2022). On unification of categories of fuzzy automata as Qua category, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 26:4, (1509-1529), Online publication date: 1-Feb-2022.
- Singh S and Tiwari S (2021). On the category of L-fuzzy automata, coalgebras and dialgebras, Fuzzy Sets and Systems, 420:C, (1-28), Online publication date: 15-Sep-2021.
- Abramsky S and Marsden D Comonadic semantics for guarded fragments Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, (1-13)
- Healy M and Caudell T (2020). Episodic memory, Neural Networks, 120:C, (40-57), Online publication date: 1-Dec-2019.
- Pamparà G and Engelbrecht A Evolutionary and swarm-intelligence algorithms through monadic composition Proceedings of the Genetic and Evolutionary Computation Conference Companion, (1382-1390)
- Algehed M A Perspective on the Dependency Core Calculus Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, (24-28)
- Schiendorfer A, Knapp A, Anders G and Reif W (2018). MiniBrass, Constraints, 23:4, (403-450), Online publication date: 1-Oct-2018.
- Gibbons J, Henglein F, Hinze R and Wu N (2018). Relational algebra by way of adjunctions, Proceedings of the ACM on Programming Languages, 2:ICFP, (1-28), Online publication date: 30-Jul-2018.
- Johnson M and Rosebrugh R Cospans and symmetric lenses Companion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of Programming, (21-29)
- AbdelGawad M Towards a Java Subtyping Operad Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, (1-6)
- Batory D and Azanza M (2017). Teaching model-driven engineering from a relational database perspective, Software and Systems Modeling (SoSyM), 16:2, (443-467), Online publication date: 1-May-2017.
- Chiriźăź C, Fiadeiro J and Orejas F Many-Valued Institutions for Constraint Specification Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering - Volume 9633, (359-376)
- Tiwari S and Gautam V (2016). On a category of fuzzy automata with relations, Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology, 30:6, (3301-3309), Online publication date: 1-Jan-2016.
- Tiwari S, Yadav V and Dubey M (2016). Minimal realization for fuzzy behaviour, Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology, 30:2, (1057-1065), Online publication date: 1-Jan-2016.
- Batory D A theory of modularity for automated software development (keynote) Companion Proceedings of the 14th International Conference on Modularity, (1-10)
- Guan X (2015). Two Cartesian closed categories of information algebras, Journal of Computer and System Sciences, 81:2, (376-382), Online publication date: 1-Mar-2015.
- Bonelli N, Giordano S, Procissi G and Abeni L A purely functional approach to packet processing Proceedings of the tenth ACM/IEEE symposium on Architectures for networking and communications systems, (219-230)
- Zhu M, Grogono P, Ormandjieva O and Kamthan P Using Category Theory and Data Flow Analysis for Modeling and Verifying Properties of Communications in the Process-Oriented Language Erasmus Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering, (1-4)
- Bach Poulsen C and Mosses P Deriving Pretty-Big-Step Semantics from Small-Step Semantics Proceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 8410, (270-289)
- Erwig M, Walkingshaw E and Chen S An abstract representation of variational graphs Proceedings of the 5th International Workshop on Feature-Oriented Software Development, (25-32)
- Batory D, Latimer E and Azanza M Teaching Model Driven Engineering from a Relational Database Perspective Proceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 8107, (121-137)
- Riché T, Gonçalves R, Marker B and Batory D (2012). Pushouts in software architecture design, ACM SIGPLAN Notices, 48:3, (84-92), Online publication date: 10-Apr-2013.
- Riché T, Gonçalves R, Marker B and Batory D Pushouts in software architecture design Proceedings of the 11th International Conference on Generative Programming and Component Engineering, (84-92)
- Marchand J, Combemale B and Baudry B A categorical model of model merging and weaving Proceedings of the 4th International Workshop on Modeling in Software Engineering, (70-76)
- Jurack S and Taentzer G (2012). Transformation of Typed Composite Graphs with Inheritance and Containment Structures, Fundamenta Informaticae, 118:1-2, (97-134), Online publication date: 1-Jan-2012.
- Heindel T (2012). Adhesivity with Partial Maps instead of Spans, Fundamenta Informaticae, 118:1-2, (1-33), Online publication date: 1-Jan-2012.
- Heindel T Hereditary pushouts reconsidered Proceedings of the 5th international conference on Graph transformations, (250-265)
- Castro P, Aguirre N, Pombo C and Maibaum T Towards managing dynamic reconfiguration of software systems in a categorical setting Proceedings of the 7th International colloquium conference on Theoretical aspects of computing, (306-321)
- Hinze R Generic programming with adjunctions Proceedings of the 2010 international spring school conference on Generic and Indexed Programming, (47-129)
- Arkoudas K and Bringsjord S (2009). Vivid, Artificial Intelligence, 173:15, (1367-1405), Online publication date: 1-Oct-2009.
- Andras P Modeling living systems Proceedings of the 10th European conference on Advances in artificial life: Darwin meets von Neumann - Volume Part II, (208-215)
- Healy M, Olinger R, Young R, Taylor S, Caudell T and Larson K (2009). Applying category theory to improve the performance of a neural architecture, Neurocomputing, 72:13-15, (3158-3173), Online publication date: 1-Aug-2009.
- Schreckling D and Dini P Distributed online evolution Proceedings of the Eleventh conference on Congress on Evolutionary Computation, (1430-1439)
- Heath L and Sioson A (2009). Multimodal Networks, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 6:2, (321-332), Online publication date: 1-Apr-2009.
- Batory D A Modeling Language for Program Design and Synthesis Advances in Software Engineering, (39-58)
- Batory D Using modern mathematics as an FOSD modeling language Proceedings of the 7th international conference on Generative programming and component engineering, (35-44)
- Kim C, Kästner C and Batory D On the modularity of feature interactions Proceedings of the 7th international conference on Generative programming and component engineering, (23-34)
- Johnson M and Rosebrugh R (2007). Fibrations and universal view updatability, Theoretical Computer Science, 388:1-3, (109-129), Online publication date: 1-Dec-2007.
- Chu D and Ho W (2007). Computational Realizations of Living Systems, Artificial Life, 13:4, (369-381), Online publication date: 1-Oct-2007.
- Uzuncaova E, Garcia D, Khurshid S and Batory D A specification-based approach to testing software product lines Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, (525-528)
- Uzuncaova E, Garcia D, Khurshid S and Batory D A specification-based approach to testing software product lines The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, (525-528)
- Zheng Y, Shi H and Xue J From Mathematics to Software Engineering Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007, (469-476)
- Trujillo S, Batory D and Diaz O Feature Oriented Model Driven Development Proceedings of the 29th international conference on Software Engineering, (44-53)
- Batory D Program refactoring, program synthesis, and model-driven development Proceedings of the 16th international conference on Compiler construction, (156-171)
- Schorlemmer M and Kalfoglou Y Progressive ontology alignment for meaning coordination Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, (737-744)
- Goguen J What is a concept? Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge, (52-77)
- Kodituwakku S and Bertok P Pattern categories Proceedings of the 2002 conference on Pattern languages of programs - Volume 13, (63-73)
- Pfalzgraf J (2002). Modeling Connectionist Network Structures, Annals of Mathematics and Artificial Intelligence, 36:3, (279-301), Online publication date: 25-Nov-2002.
- PašaliΕ E, Taha W and Sheard T Tagless staged interpreters for typed languages Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, (218-229)
- PašaliΕ E, Taha W and Sheard T (2002). Tagless staged interpreters for typed languages, ACM SIGPLAN Notices, 37:9, (218-229), Online publication date: 17-Sep-2002.
- Engelfriet J and Treur J (2002). Linear, Branching Time and Joint ClosureSemantics for Temporal Logic, Journal of Logic, Language and Information, 11:4, (389-425), Online publication date: 1-Sep-2002.
- Martin W, White P and Taylor F (2002). Creating High Confidence in a Separation Kernel, Automated Software Engineering, 9:3, (263-284), Online publication date: 1-Aug-2002.
- Gibbons J Calculating functional programs Algebraic and coalgebraic methods in the mathematics of program construction, (149-201)
- Wendorff P A formal approach to the assessment and improvement of terminological models used in information systems engineering Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, (83-87)
- Wendorff P (2001). A formal approach to the assessment and improvement of terminological models used in information systems engineering, ACM SIGSOFT Software Engineering Notes, 26:5, (83-87), Online publication date: 1-Sep-2001.
- Williamson K, Healy M and Barker R (2001). Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware, Automated Software Engineering, 8:1, (7-30), Online publication date: 1-Jan-2001.
- Martin W, White P and Vanfleet W Government, industry, and academia Proceedings of the third workshop on Formal methods in software practice, (37-47)
- Bertoli P, Calmet J, Giunchiglia F and Homann K (1999). Specification and Integration of Theorem Provers and Computer Algebra Systems, Fundamenta Informaticae, 39:1,2, (39-57), Online publication date: 1-Apr-1999.
- Wermelinger M and Fiadeiro J (1998). Connectors for Mobile Programs, IEEE Transactions on Software Engineering, 24:5, (331-341), Online publication date: 1-May-1998.
- Wermelinger M and Fiadeiro J Towards an Algebra of Architectural Connectors Proceedings of the 9th international workshop on Software specification and design
- Fokkinga M (1992). Calculate categorically!, Formal Aspects of Computing, 4:Suppl 1, (673-692), Online publication date: 1-Nov-1992.
Index Terms
- Basic category theory for computer scientists
Recommendations
Book review: Basic Category Theory fox Computer Scientists by Benjamin C. Pierce (MIT Press, 1991)
"Basic Category Theory for Computer Scientists," by Benjamin C. Pierce, is an excellent introduction of the branch of mathematics called category theory, and its application to computer science. As the title suggests, this book covers the basics of ...
Basic-level categories: A review
This paper analyses selected literature on basic-level categories, explores related theories and discusses theoretical explanations of the phenomenon of basic-level categories. A substantial body of research has proposed that basic-level categories are ...