Zulip Chat Archive
Stream: triage
Topic: PR #14030: feat(category_theory/limits): the image of a c...
Random Issue Bot (May 25 2022 at 14:32):
Today I chose PR 14030 for discussion!
feat(category_theory/limits): the image of a cone isomorphism under a functor
Created by @Markus Himmel (@TwoFX) on 2022-05-08
Labels: WIP
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC