The Language of General Systems Logical Theory: a Categorical View

General Systems Logical Theory is based on the input-output systems paradigm. The language of this theory is now formalized within a categorical framework to create a new hierarchical structure of systems by n-dimensional commutative diagrams. The power of the language is illustrated by the increased expressiveness it provides for categorical concepts themselves. La th eorie logique des syst emes generals est bas ee sur le paradigme input/output des syst emes. Le langage de cette th eorie est etendu e dans un cadre de cat egories pour exprimer la structure hi erarchique des syst emes avec diagrammes commutatifs a n-dimensions. La puissance de ce langage est illustr ee par la force expressive qui est test ee sur la meme th eorie des categories.