Abstract
The last 30 years have seen the growth of a new branch of mathematics called CATEGORY THEORY which provides a general perspective on many different branches of mathematics. Many workers (see Lawvere, 1972) have argued that it is category theory, rather than SET THEORY, that provides the proper setting for the study of the FOUNDATIONS OF MATHEMATICS.
The research reported in this paper was supported in part by the National Science Foundation under Grant No. GJ 35759.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
Arbib, M. A. and Manes, E. G.: 1974a, ‘Machines in a Category: An Expository Introduction’, SIAM Review 16, 163–192.
Arbib, M. A. and Manes, E. G.: 1974b, ‘Foundations of System Theory: Decomposable Machines’, Automatica 10, 285–302.
Arbib, M. A. and Manes, E. G.: 1975, Arrows, Structures, and Functors: The Categorical Imperative, Academic Press, New York.
Arbib, M. A. and Manes, E.G.: 1975,‘Fuzzy Machines in a Category’, Bull. Austral Math.Soc. 13,169–210.
Athans, M. and Falb, P. L.: 1966, Optimal Control, McGraw-Hill.
Bainbridge, E. S.: 1975, ‘Addressed Machines and Duality’, in E. G. Manes (ed.), Category Theory Applied to Computation and Control, Lecture Notes in Computer Science 25, 93–98, Springer-Verlag, Heidelberg.
Bobrow, L. S. and Arbib, M. A.: 1974, Discrete Mathematics, Saunders, Philadelphia.
Ehrig, H., Kiermeier, K.-D., Kreowski, M.-J, and Kühnel, W.: 1974, Universal Theory of Automata: A Categorical Approach, Teubner.
Goguen, J. A.: 1967, ‘L-Fuzzy Sets’, J. Math. Anal. Appl. 18, 145–174.
Goguen, J. A.: 1969, ‘The Logic of Inexact Concepts’, Synthese 19, 325–373.
Goguen, J. A.: 1972, ‘Minimal Realization of Machines in Closed Categories’, Bull. Amer. Math. Soc. 78, 777–783.
Goguen, J. A.: 1973, ‘Realization is Universal’, Math. Sys. Th. 6, 359–374.
Goguen, J. A.: 1974, ‘Concept Representation in Natural and Artificial Languages: Axioms, Extensions and Applications for Fuzzy Sets’, Int. J. Man-Machine Studies 6,513–561.
Goguen, J. A., Thatcher, J. W., Wagner, E. G., and Wright, J. B.: 1973, ‘A Junction Between Computer Science and Category Theory, I: Basic Concepts and Examples (Part 1)’, IBM Research Report RC 4526, T. J. Watson Research Center.
Kaiman, R. E., Falb, P. L., and Arbib, M. A.: 1969, Topics in Mathematical System Theory, Mc-Graw Hill.
Lawvere, F. W. (ed.): 1972, Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274, Springer-Verlag.
MacLane, S.: 1971, Categories for the Working Mathematician, Springer-Verlag.
Manes, E. G.: 1975a, Algebraic Theories, Springer-Verlag.
Manes, E. G. (ed.): 1957b, Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, Lecture Notes in Computer Science 25, Springer-Verlag, Heidelberg.
Padulo, L. and Arbib, M. A.: 1974, System Theory, Saunders, Philadelphia.
Schank, R. C. and Colby, K. M. (eds.): 1973, Computer Models of Thought and Language, W. H. Freeman.
Schützenberger, M. P.: 1962, ‘On a Theorem of R. Jungen’, Trans. Amer. Math. Soc. 13, 885–890.
Thorn, R.: 1972, Stabilité Structurelle et Morphogenese, W. A. Benjamin, Inc.
Zadeh, L.: 1965, ‘Fuzzy Sets’, Inform. Control 8, 338–353.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 D. Reidel Publishing Company, Dordrecht-Holland
About this chapter
Cite this chapter
Arbib, M.A., Manes, E.G. (1977). A Category-Theoretic Approach to Systems in a Fuzzy World. In: Hartnett, W.E. (eds) Systems: Approaches, Theories, Applications. Episteme, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-1239-3_1
Download citation
DOI: https://doi.org/10.1007/978-94-010-1239-3_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-1241-6
Online ISBN: 978-94-010-1239-3
eBook Packages: Springer Book Archive