RT @johncarlosbaez: My student Mike Stay is interested in using higher categories to describe processes of computation, as shown here for t… 0 atbildes
Ingars Jekabsons (2018-02-04 19:47:26) |
RT @johncarlosbaez: My student Mike Stay is interested in using higher categories to describe processes of computation, as shown here for t… |