Abstract
The paper first shows how the categorical theory of sequences is useful in explaining properties of the (word) differentiation of Brzozowski (1964). Then, the paper shows how a more general theory of languages, including both procedural and functional languages, should be constructed by using a switch proposition that extends the common equivalence between the general tensor and general hom functors of categories. Lastly, the paper offers a new way of approaching projectivity concepts of general relative homological algebra. The most interesting result is that there is a class of functors so that “functor-projectives” intersect projectives and injectives trivially, and behave correctly. Moreover, any non-zero abelian group is not Q⊗-projective.
Similar content being viewed by others
References
J. Brzozowski, Derivatives of regular expressions,J. Assoc. Comput. Mach. 11 (1964), 481–494.
C. Chevalley,Fundamental Concepts of Algebra, Academic Press, New York, 1956.
M. Davis,Computability and Unsolvability, McGraw-Hill, New York, 1958.
S. Elilenberg andJ. C. Moore,Foundations of Relative Homological Alegra, Memories Amer. Math. Soc., no. 55, Providence, 1965.
A. Ginsburg,Algebratic Theory of Automata, Academic Press, New York, 1968.
Y. Give'on, On some properties of the free monoids with applications to automata theory,J. Comput. System Sci. 1 (1967), 137–154.
B. Higman,A Comparative Study of Programming Languages, MacDonald/Elsevier Computer Monographs, 4th ed., London—New York, 1970.
J. Lambek,Completions of Categories, Lecture Notes in Mathematics, Springer-Verlag, Berlin—New York, 1966.
P. J. Landin, A correspondence betweenAlgol 60 and Church's lambda—notation, I, II,Comm. ACM 8 (1965), 89–101, 158–165.
J.Mcarthy, Recursive functions of symbolic expression and their computation by machine,Comm. ACM 3 (1960), 184.
B. Mitchell,Theory of Categories, Academic Press, New York, 1965.
D. C. Rine, A theory of general machines and functor projectivity, Ph.D. Dissertation, The University of Iowa, 1970.
J. Rotman,The Theory of Groups: An Introduction, Allyn and Bacon, Boston, 1965.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rine, D.C. A category theory for programming languages. Math. Systems Theory 7, 304–317 (1973). https://doi.org/10.1007/BF01795949
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01795949