Definition. Weakening a Category

2026-02-26 ยท displayed-category-theory

For categories ๐’ž๏ธ€ and ๐’Ÿ๏ธ€, we can define the weakening of ๐’Ÿ๏ธ€ over ๐’ž๏ธ€ as a displayed category over ๐’ž๏ธ€ which trivially displays a copy of ๐’Ÿ๏ธ€ over each object of ๐’ž๏ธ€.

(๐—๐–พ๐–บ๐—„๐–พ๐—‡(๐’ž๏ธ€,๐’Ÿ๏ธ€))๐‘โ‰”๐’Ÿ๏ธ€
weakening-category definition entries/displayed-category/weakening-category.hel