Strong Categorical Datatypes I

@incollection{citeulike:1214246, abstract = {An endofunctor of a cartesian closed category is often called strong if it is enriched over the exponential. Equivalently this strength can be provided as a natural transformation ` A;X : F (A) \Theta X \Gamma! F (A \Theta X) satisfying some elementary coherence conditions. This latter formulation does not require exponentials, relies only on the presence of an X--action over an X--strong category, and thereby provides a first--order viewpoint of strength. The 2-category of X--strong...}, address = {Providence, RI}, author = {Robin and Spencer, Dwight }, booktitle = {Proceedings Int.\ Summer Category Theory Meeting, Montr\'eal, Qu{\'e}bec, 23--30 June 1991}, citeulike-article-id = {1214246}, editor = {Seely, R. A. G. }, keywords = {category, datatypes}, pages = {141--169}, posted-at = {2007-04-06 23:29:24}, priority = {2}, publisher = {American Mathematical Society}, title = {Strong Categorical Datatypes I}, url = {http://citeseer.ist.psu.edu/robin91strong.html}, volume = {13}, year = {1992} }

TY - CHAP ID - citeulike:1214246 L3 - citeulike-article-id:1214246 N2 - An endofunctor of a cartesian closed category is often called strong if it is enriched over the exponential. Equivalently this strength can be provided as a natural transformation ` A;X : F (A) \Theta X \Gamma! F (A \Theta X) satisfying some elementary coherence conditions. This latter formulation does not require exponentials, relies only on the presence of an X--action over an X--strong category, and thereby provides a first--order viewpoint of strength. The 2-category of X--strong... AD - Providence, RI EP - 169 TI - Strong Categorical Datatypes I PB - American Mathematical Society VL - 13 T2 - Proceedings Int.\ Summer Category Theory Meeting, Montr\'eal, Qu{\'e}bec, 23--30 June 1991 SP - 141 KW - category KW - datatypes AU - Robin AU - Spencer, Dwight A2 - Seely, RAG PY - 1992/// UR - http://citeseer.ist.psu.edu/robin91strong.html ER -