Garrett Birkhoff, Lattice theory, Third Edition, American Mathematical Societ Colloquium Publications, vol. 25, American Mathematical Society, New York, 1967. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Behavior-Realization Adjunction and Generalized.. - Leavens, Pigozzi (1994) (1 citation) (Correct)
....the operators BE and RE are mappings between these two posets. It follows directly from Lems. 3.5(i) iv) and 3. 7(ii) iii) that BE and RE form a Galois connection when viewed as mappings between the poset of standard relations and the dual poset of generalized relations (see e.g. Birkhoff [2], p.124) The operators RE and BE also form a Galois connection. Like all posets, the standard and generalized relations between A and B can be viewed as simple categories, i.e. categories in which there is at most one arrow between any pair of objects. BE and RE and their duals preserve ....
Garrett Birkhoff, Lattice theory, Third Edition, American Mathematical Societ Colloquium Publications, vol. 25, American Mathematical Society, New York, 1967.
The Behavior-Realization Adjunction and Generalized.. - Leavens, Pigozzi (1996) (1 citation) (Correct)
....(posets) by set theoretical inclusion, and the operators BE and RE are mappings between these two posets. Thm. 3. 8 says that BE and RE form a Galois connection when viewed as mappings between the poset of standard relations and the dual poset of generalized relations (see e.g. Birkhoff [2], p.124) The basic adjunction. Like all posets, the standard and generalized relations between A and B can be viewed as simple categories, i.e. categories in which there is at most one arrow between any pair of objects. BE and RE and their duals preserve inclusion and thus are functors ....
G. Birkhoff, Lattice theory, Third Edition, American Mathematical Societ Colloquium Publications, vol. 25, American Mathematical Society, New York, 1967.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC