PR !4#21336: feat(Algebra/Category): finitely presented a...

Stream: triage

[Random Issue Bot]

Today I chose PR #21336 for discussion!

feat(Algebra/Category): finitely presented algebras are finitely presented
Created by @Andrew Yang (@erdOne) on 2025-02-02
Labels: awaiting-author, t-category-theory, t-algebra

Is this PR still relevant? Any recent updates? Anyone making progress?

[Kevin Buzzard]

Probably it could do with a better title :-)