Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-27 05:12 841aef25

View on Github →

feat(algebraic_topology): the nerve of a category (#14304)

Estimated changes

Created src/algebraic_topology/nerve.lean

added def category_theory.nerve

added def category_theory.nerve_functor

Modified src/algebraic_topology/simplex_category.lean

added def simplex_category.to_Cat