right fibration

1. Definition

Let 20240327-right_fibration_d76f7f1cd83842782f5181151eccf6c7b9850cdf.svg be simplicial sets and 20240327-right_fibration_97a87bf3386d9d22e8b4e5c831f624db9871c29b.svg a natural transformation. Then 20240327-right_fibration_5461866a7289ba4c56a10a82a5622bfbdcb4ae22.svg is said to be a left fibration, if it satisfies the right lifting property with respect to right horn inclusions

20240327-right_fibration_bdfb947d69bc2ce2bb077df62e45460036edd9ec.svg

Date: nil

Author: Anton Zakrewski

Created: 2024-10-15 Di 23:13