Definition 5.86.
A category is pre-stable if it admits pullbacks and pushouts and a commutative square is cartesian if and only if it is cocartesian.
Higher Topos Theory Section 5.7: The Goodwillie tower of a topos
Definition 5.86.
A category is pre-stable if it admits pullbacks and pushouts and a commutative square is cartesian if and only if it is cocartesian.