Programming from Galois Connections — Principles and Applications (Extended version of reference [16])

Source URL: www.iis.sinica.edu.tw

• Order theory
• Galois connection
• Complete Heyting algebra
• Function
• Presentation of a group
• Sheaf
• Allegory
• Adjoint functors
• Residuated mapping
• Mathematics
• Abstract algebra
• Algebra