| |
| | Category Theory (Stanford Encyclopedia of Philosophy) |
 | | This category is not only important in mathematical practice, it is at the core of algebraic topology, but it is also a fundamental example of a category in which morphisms are not structure preserving functions. |
 | | In other words, UF(X) is the best possible solution to the problem of inserting elements of X into a group (what is called "insertion of generators" in the mathematical jargon). |
 | | Categorical models of linear logic, modal logic, fuzzy sets, and general higher-order type theories (Reyes 1991, Reyes and Zawadoski 1993, Reyes and Zolfaghari 1991, 1996, Makkai and Reyes 1995, Ghilardi and Zawadowski 2002, Rodabaugh and Klement 2003, Jacobs 1999, Taylor 1999, Johnstone 2002, Blute and Scott 2004); |
| plato.stanford.edu /entries/category-theory (11786 words) |
|