# Commit 2022-02-12 00:03 227293b5

View on Github →feat(category_theory/category/Twop): The category of two-pointed types (#11844)
Define `Twop`

, the category of two-pointed types. Also add `Pointed_to_Bipointed`

and remove the erroneous TODOs.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(category_theory/category/Twop): The category of two-pointed types (#11844)
Define `Twop`

, the category of two-pointed types. Also add `Pointed_to_Bipointed`

and remove the erroneous TODOs.