Chen’s Category CoLog# (under construction) In his PhD thesis Liang-Ting Chen studies the category CoLog which has one-step semantics \(LP\to PT\) as objects. (to be continued) References# []