Theorem CategoryTheory.SimplicialCategory.sHomWhiskerRight_id

Modification history

2024-10-30 00:13

Mathlib/AlgebraicTopology/SimplicialCategory/Basic.lean

refactor(CategoryTheory): simplicial categories are generalized to enriched "ordinary" categories (#18175) …

Deleted CategoryTheory.SimplicialCategory.sHomWhiskerRight_id View on Github →

2024-06-05 09:14

Mathlib/AlgebraicTopology/SimplicialCategory/Basic.lean

feat(AlgebraicTopology): simplicial categories (#11398) …

Added CategoryTheory.SimplicialCategory.sHomWhiskerRight_id View on Github →