Zulip Chat Archive
Stream: triage
Topic: PR !4#26931: feat(CategoryTheory/Enriched): `V`-enriched ...
Random Issue Bot (Jan 06 2026 at 14:13):
Today I chose PR #26931 for discussion!
feat(CategoryTheory/Enriched): V-enriched isomorphisms
Created by @Jakob von Raumer (@javra) on 2025-07-09
Labels: awaiting-author, merge-conflict, t-category-theory, infinity-cosmos
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Feb 28 2026 at 14:05 UTC