Practical Foundations of Mathematics

Paul Taylor

III. Posets and Lattices

III. Posets and Lattices

Practical Foundations of Mathematics   Paul Taylor   Cambridge University Press

Introduction   I   II   III   IV   V   VI   VII   VIII   IX   Bibliography  Index

INTRODUCTION

3.1    POSETS AND MONOTONE FUNCTIONS

3.2    MEETS, JOINS AND LATTICES

3.3    FIXED POINTS AND PARTIAL FUNCTIONS

3.4    DOMAINS

3.5    PRODUCTS AND FUNCTION-SPACES

3.6    ADJUNCTIONS

3.7    CLOSURE CONDITIONS AND INDUCTION

3.8    MODALITIES AND GALOIS CONNECTIONS

3.9    CONSTRUCTIONS WITH CLOSURE CONDITIONS

EXERCISES  III