robinhouston's library 182 articles Export Sort

Hide details

	Constant-only multiplicative linear logic is NP-complete [My Copy] Theoretical Computer Science, Vol. 135, No. 1. (1994), pp. 155-169. by Patrick Lincoln, Timothy Winkler posted to complexity linear by robinhouston on 2008-03-17 13:12:52 as
	Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids [My Copy] In TYPES (1995), pp. 47-61. by Ilya Beylin, Peter Dybjer posted to category monoidal by robinhouston on 2007-09-03 17:21:25 as
	Negative sets have Euler characteristic and dimension [My Copy] Category Theory (1991), pp. 379-385. by Stephen Schanuel posted to no-tag by robinhouston on 2007-04-18 13:18:06 as along with 1 person JoseBrox
	Modulated bicategories [My Copy] Journal of Pure and Applied Algebra, Vol. 94, No. 3. (8 July 1994), pp. 229-282. by Aurelio Carboni, Scott Johnson, Ross Street, Dominic Verity posted to 2cat by robinhouston on 2007-04-01 22:02:41 as
	A 2-categorical Pasting Theorem [My Copy] Journal of Algebra, Vol. 129 (1990), pp. 439-445. by John Power posted to 2cat pasting by robinhouston on 2007-03-15 13:15:08 as
	Fibrations and Yoneda's lemma in a 2-category [My Copy] : Category Seminar (1974), pp. 104-133. by Ross Street posted to 2cat fibrations yoneda by robinhouston on 2007-03-15 12:26:05 as
	Review of the elements of 2-categories [My Copy] : Category Seminar (1974), pp. 75-103. by G. M. Kelly, Ross Street posted to 2cat by robinhouston on 2007-03-15 12:23:03 as along with 1 person oryp6518
	An n-categorical pasting theorem [My Copy] : Category Theory (1991), pp. 326-358. by A. J. Power posted to ncat pasting by robinhouston on 2007-03-15 12:10:47 as
	2-categories and Zamolodchikov's equations [My Copy] Proceedings of Symposia in Pure Mathematics In Algebraic groups and their generalizations. Vol.~2: Quantum and infinite-dimensional methods, Vol. 56 (1994), pp. 177-259. by Mikhail Kapranov, Vladimir Voevodsky edited by W. Haboush, Brian Parshall posted to 2cat bicategory monoidal by robinhouston on 2007-03-13 10:41:41 as
	An Algebraic Theory of Tricategories [My Copy] (2006) by Nick Gurski posted to 3cat coherence tricategory by robinhouston on 2007-03-13 10:27:09 as
	Generalized Centers of Braided and Sylleptic Monoidal 2-Categories [My Copy] Advances in Mathematics, Vol. 136, No. 2. (25 June 1998), pp. 183-223. by Sjoerd E. Crans posted to bicategory monoidal by robinhouston on 2007-03-11 21:59:51 as
	Multicategories Revisited [My Copy] In Categories in Computer Science and Logic: Proc.\ of the Joint Summer Research Conference (1989), pp. 217-239. by J. Lambek edited by J. W. Gray, A. Scedrov posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Natural Deduction and Coherence for Weakly Distributive Categories [My Copy] Journal of Pure and Applied Algebra, Vol. 113 (1996) by Richard Blute, Robin Cockett, Robert Seely, Todd Trimble posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	$My PDF stra\ssburger_04_proof.pdf$ On Proof Nets for Multiplicative Linear Logic with Units [My Copy] In Computer Science Logic, CSL 2004, Vol. 3210 (2004), pp. 145-159. by Lutz Stra\ssburger, Fran\ccois Lamarche edited by Jerzy Marcinkowski, Andrzej Tarlecki posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Simple multiplicative proof nets with units [My Copy] (March 2005) by Dominic Hughes posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Higher Dimensional Algebra I. Braided Monoidal 2-Categories [My Copy] Advances in Mathematics, Vol. 121 (1996), pp. 196-244. by John Baez, Martin Neuchl posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Review of the Elements of 2-categories [My Copy] In Category Seminar, Vol. 420 (1974), pp. 75-103. by Max G. Kelly, Ross Street posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	On MacLane's conditions for coherence of Natural Associativities, Commutativities, etc. [My Copy] Journal of Algebra, Vol. 1 (1964), pp. 397-402. by Max Kelly posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Natural Associativity and Commutativity [My Copy] Rice University Studies, Vol. 49 (1963), pp. 28-46. by Saunders M. Lane posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Cobordism Categories [My Copy] (1995) by Sean M. Carmody posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Many Variable Functorial Calculus I [My Copy] In Coherence in Categories, Vol. 281 (1972), pp. 66-105. by Max Kelly posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	A categorical semantics of quantum protocols [My Copy] In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (2004) by Samson Abramsky, Bob Coecke posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Coherence for Compact Closed Categories [My Copy] Journal of Pure and Applied Algebra, Vol. 19 (1980), pp. 193-213. by Max Kelly, M. L. Laplaza posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Coherence for Tricategories [My Copy] Memoirs of the American Mathematical Society, Vol. 117, No. 558. (September 1995) by Robert Gordon, John Power, Ross Street posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Units in Promonoidal Categories [My Copy] (2006) by Robin Houston posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	The geometry of tensor calculus I [My Copy] Advances in Mathematics, Vol. 88 (1991), pp. 55-113. by André Joyal, Ross Street posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	The Categorical Theory of Self-similarity [My Copy] Theory and Applications of Categories, Vol. 6, No. 2. (1999), pp. 33-46. by Peter Hines posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Fibrations in Bicategories [My Copy] Cahiers topologie et géométrie différentielle, Vol. 21 (1980), pp. 111-160. by Ross Street posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	On Property-like Structures [My Copy] Theory and Applications of Categories, Vol. 3, No. 9. (1997), pp. 213-250. by Max Kelly, Stephen Lack posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Coalgebras and Cartesian categories [My Copy] Communications in Algebra, Vol. 7 (1976), pp. 665-667. by Thomas Fox posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Doctrinal adjunction [My Copy] In Proc. Sydney Category Seminar, Vol. 420 (1972/73) by Max Kelly posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Introduction to Bicategories [My Copy] In Reports of the Midwest Category Seminar (1967), pp. 1-77. by J. Bénabou posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	The Formal Theory of Monads [My Copy] Journal of Pure and Applied Algebra, Vol. 2 (1972), pp. 149-168. by R. Street posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Linear lambda-Calculus and Categorical Models Revisited [My Copy] In Computer Science Logic: Proc.\ of the 6th Workshop CSL'92 (1993), pp. 61-84. by N. Benton, G. Bierman, V. de Paiva, M. Hyland edited by E. Börger, G. Jäger, kleine H. Büning, S. Martini, M. M. Richter posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Term Assignment for Intuitionistic Linear Logic [My Copy] No. 262. (August 1992) by Nick Benton, Gavin Bierman, Valeria de Paiva, Martin Hyland posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Modelling Linear Logic without Units (Preliminary Results) [My Copy] (April 2005) by Robin Houston, Dominic Hughes, Andrea Schalk posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Quantum Categories, Star Autonomy, and Quantum Groupoids [My Copy] In Galois Theory, {H}opf Algebras, and Semiabelian Categories, Vol. 43 (2004), pp. 187-226. by Brian Day, Ross Street posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Coherence in closed categories [My Copy] J.\ Pure and Applied Algebra, Vol. 1 (1971), pp. 97-140. by Max Kelly, Saunders M. Lane posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	A Generalization of the Functorial Calculus [My Copy] J.\ Algebra, Vol. 3 (1966), pp. 366-375. by Samuel Eilenberg, Max Kelly posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Closed Categories [My Copy] In Conference on Categorical Algebra, La Jolla (1965), pp. 421-562. by Samuel Eilenberg, Max Kelly posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Kan Extensions along Promonoidal Functors [My Copy] Theory and Applications of Categories, Vol. 1, No. 4. (1995), pp. 72-77. by Brian Day, Ross Street posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Note on Monoidal Monads [My Copy] Journal of the Australian Mathematical Society, Vol. 23 (1977), pp. 292-311. by Brian Day posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Proof Nets for unit-free Multiplicative-Additive Linear Logic [My Copy] ACM Transactions on Computational Logic (2005) by Dominic Hughes, Rob van Glabbeek posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Coherence of Proof-Net Categories [My Copy] (March 2005) by Kosta D. Sen, Zoran Petric posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Monoidal Bicategories and Hopf Algebroids [My Copy] Advances in Mathematics, Vol. 129 (1997), pp. 99-157. by Brian Day, Ross Street posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Constructing Free Boolean Categories [My Copy] (January 2005) by Fran\c C. Lamarche, Lutz Stra\ssburger posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Lecture Notes in Category Theory [My Copy] (2002) by Mario Càccamo, Martin Hyland, Glynn Winskel posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Braided Tensor Categories [My Copy] Advances in Mathematics, Vol. 102, No. 1. (1993), pp. 20-78. by André Joyal, Ross Street posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	On closed categories of functors [My Copy] In Reports of the Midwest Category Seminar, Vol. 137 (1970), pp. 1-38. by Brian Day edited by Saunders M. Lane posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as
	Categories of continuous functors. I [My Copy] Journal of Pure and Applied Algebra, Vol. 2 (1972), pp. 169-191. by Peter J. Freyd, Max G. Kelly posted to bibtex-import by robinhouston on 2006-08-30 14:42:19 as