PR !4#25781: Feat(CategoryTheory): terminal categories wi...

Stream: triage

[Random Issue Bot]

Today I chose PR #25781 for discussion!

Feat(CategoryTheory): terminal categories with an application to hoFunctor
Created by @Emily Riehl (@emilyriehl) on 2025-06-12
Labels: awaiting-author, t-category-theory, large-import, infinity-cosmos

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