Category Theory as Coherently Constructive Lattice Theory: An Illustration Export

@techreport{citeulike:1203691, abstract = {ion Theorem : : : : : : : : : : : : : : : : : : : : : : : : : : : 82 6.3 The Beautiful Theorem : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 86 6.4 The Rolling Rule : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 89 6.5 The Square Theorem : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 91 6.6 The Exchange Rule : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 94 6.7 The Diagonal Rule : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :...}, author = {Backhouse, Roland and Bijsterveld, Marcel}, citeulike-article-id = {1203691}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.7855}, keywords = {category-theory, lattices}, number = {94-43}, posted-at = {2007-04-03 06:01:59}, priority = {2}, title = {Category Theory as Coherently Constructive Lattice Theory: An Illustration}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.7855}, year = {1994} }

TY - RPRT ID - citeulike:1203691 L3 - citeulike-article-id:1203691 N2 - ion Theorem : : : : : : : : : : : : : : : : : : : : : : : : : : : 82 6.3 The Beautiful Theorem : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 86 6.4 The Rolling Rule : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 89 6.5 The Square Theorem : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 91 6.6 The Exchange Rule : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 94 6.7 The Diagonal Rule : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :... IS - 94-43 TI - Category Theory as Coherently Constructive Lattice Theory: An Illustration KW - category-theory KW - lattices AU - Backhouse, Roland AU - Bijsterveld, Marcel PY - 1994/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.7855 ER -