Identity type
description: concept in mathematics
subject: Category:Type theory