Definition. Displayed Total Category
Given a displayed category over a category and another displayed category over , the total category of , we can define , the displayed total category of , as a displayed category over .
Given a displayed category over a category and another displayed category over , the total category of , we can define , the displayed total category of , as a displayed category over .