Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.
Covers the adjunction between simplicial sets and simplicially enriched categories, including preservation of inclusions and construction of homotopy categories.
Explores uncertainty quantification and label error detection in deep learning for semantic segmentation, focusing on challenges and methods for error detection.
