Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-03-14 12:11
a157a08e
View on Github →
feat: port CategoryTheory.Category.Quiv (
#2865
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/CategoryTheory/Category/QuivCat.lean
added
def
CategoryTheory.Cat.free
added
def
CategoryTheory.QuivCat.adj
added
def
CategoryTheory.QuivCat.forget
added
def
CategoryTheory.QuivCat.lift
added
def
CategoryTheory.QuivCat.of
added
def
CategoryTheory.QuivCat