Goguen Categories A Categorical Approach to L-fuzzy Relations

Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind c...

Full description

Main Author: Winter, Michael
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Dordrecht Springer Netherlands 2007, 2007
Edition:1st ed. 2007
Series:Trends in Logic, Studia Logica Library
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02068nmm a2200289 u 4500
001 EB000359230
003 EBX01000000000000000212282
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9781402061646 
100 1 |a Winter, Michael 
245 0 0 |a Goguen Categories  |h Elektronische Ressource  |b A Categorical Approach to L-fuzzy Relations  |c by Michael Winter 
250 |a 1st ed. 2007 
260 |a Dordrecht  |b Springer Netherlands  |c 2007, 2007 
300 |a XII, 208 p  |b online resource 
505 0 |a Sets, Relations, And Functions -- Lattices -- L-Fuzzy Relations -- Categories Of Relations -- Categories Of L-Fuzzy Relations -- Fuzzy Controllers In Goguen Categories 
653 |a Logic 
653 |a Logic 
710 2 |a SpringerLink (Online service) 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Trends in Logic, Studia Logica Library 
856 |u https://doi.org/10.1007/978-1-4020-6164-6?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 160 
520 |a Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories and related structures. It is shown that neither theory is sufficiently rich to describe basic operations on fuzzy relations. The book then introduces Goguen categories and provides a comprehensive study of these structures including their representation theory, and the definability of norm-based operations. The power of the theory is demonstrated by a comprehensive example. A certain Goguen category is used to specify and to develop a fuzzy controller. Based on its abstract description as well as certain desirable properties and their formal proofs, a verified controller is derived without compromising the - sometimes - intuitive choice of norm-based operations by fuzzy engineers