Zulip Chat Archive
Stream: Is there code for X?
Topic: EnrichedNatTrans
Adam Topaz (Jun 06 2024 at 16:58):
The module docstring right above docs#CategoryTheory.GradedNatTrans mentions EnrichedNatTrans, which I can't seem to find! Is some abbreviation missing?
Kim Morrison (Jun 07 2024 at 00:04):
Sorry, I think this was a comment referencing material in a (long-lost) branch that was never completed/PRd.
Last updated: May 02 2025 at 03:31 UTC