“category theory”可以造什么句，category theory造句

2、I then showed how coarse-grained mechanisms, based on category theory, that allow you to leverage the code written (and debugged) by the language designer to solve problems.

1、Cognitive theoretical evidence in the memetic phenomena in the use of language can be found in the attentional view, experiential view, basic category theory and integration.

3、Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.