# Homotopy Type Theory lattice > history (changes)

Showing changes from revision #4 to #5: Added | Removed | Changed

# 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