A New Approach to the Composition Operation of Polycategory-Like Structures
A New Approach to the Composition Operation of Polycategory-Like Structures
Author(s): Yuri VelinovSubject(s): Education, ICT Information and Communications Technologies
Published by: Нов български университет
Keywords: Computer Science; formal languages; programming languages; system for mathematical structures; axiomatic system;
Summary/Abstract: Polycategories of different kinds are of interest in Computer Science as they make it possible to treat algebraically (in category style) problems in formal languages or semantics of programming languages. In this paper we propose an alternative method of distribution of free objects in the composition operation of arrows and give the associated with it axiomatic system. The proposed approach has the advantage that it makes it possible to spread the associativity of the operation to all of the intuitively expected cases.
Journal: Computer Science and Education in Computer Science
- Issue Year: 8/2012
- Issue No: 1
- Page Range: 98-103
- Page Count: 6
- Language: English