The following pages link to Constructive Galois Connections (Q4972068):
Displaying 6 items.
- Every Galois connection is the polarity of an antitone relation (Q796555) (← links)
- A Galois connection (Q874756) (← links)
- Faltings' construction of the K-Z connection (Q1265480) (← links)
- Implication operators generating pairs of weak negations and their algebraic structure (Q2035405) (← links)
- (Q4508468) (← links)
- Foundations of dependent interoperability (Q4577812) (← links)