Zulip Chat Archive
Stream: Is there code for X?
Topic: comp_apply for concrete categories
Kenny Lau (Sep 04 2020 at 13:05):
do we know that (f >> g) x = g (f x) for concrete categories?
Kenny Lau (Sep 04 2020 at 13:06):
@Scott Morrison
Kenny Lau (Sep 04 2020 at 13:06):
nvm, docs#category_theory.coe_comp
Last updated: Dec 20 2023 at 11:08 UTC