# Contents

## Definition

A lattice is a poset or (0,1)-category $(P, \leq, \bot, \vee, \top, \wedge)$ such that $(P, \leq, \bot, \vee)$ is a join-semilattice and $(P, \leq, \top, \wedge)$ is a meet-semilattice