Practical Foundations of Mathematics

Paul Taylor

VII. Adjunctions

VII. Adjunctions

Practical Foundations of Mathematics   Paul Taylor   Cambridge University Press

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

INTRODUCTION

7.1    EXAMPLES OF UNIVERSAL CONSTRUCTIONS

7.2    ADJUNCTIONS

7.3    GENERAL LIMITS AND COLIMITS

7.4    FINDING LIMITS AND FREE ALGEBRAS

7.5    MONADS

7.6    FROM SEMANTICS TO SYNTAX

7.7    GLUING AND COMPLETENESS

EXERCISES  VII