Zulip Chat Archive
Stream: Is there code for X?
Topic: natural transformation horizontal composition
ZHAO Jinxiang (Aug 14 2022 at 15:20):
Is there any code for natural_transformation horizontal composition?
Mario Carneiro (Aug 14 2022 at 15:21):
it's mentioned in the head comment: "σ ◫ τ for horizontal compositions."
Mario Carneiro (Aug 14 2022 at 15:23):
referring to docs#category_theory.nat_trans.hcomp
Last updated: Dec 20 2023 at 11:08 UTC