Skip to main content
2 events
when toggle format what by license comment
Oct 13, 2022 at 13:52 comment added varkor I notice, Part II of Lucyshyn-Wright's Relative symmetric monoidal closed categories I: Autoenrichment and change of base is supposed to contain this result, but it has not yet appeared.
Sep 14, 2022 at 11:06 history asked varkor CC BY-SA 4.0