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: May 02 2025 at 03:31 UTC