jonjonc's library 45 articles Export

Ordered by to_read.

	Equational rules for rewriting logic [My Copy] Theoretical Computer Science, Vol. 285, No. 2. (28 August 2002), pp. 487-517. by Patrick Viry posted to coherence rewriting_logic by jonjonc on 2007-04-12 08:04:37 as
	Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-Categories [My Copy] Advances in Mathematics, Vol. 136, No. 1. (01 June 1998), pp. 39-103. by M. Batanin posted to categories globular_sets spans trees by jonjonc on 2006-07-20 05:19:29 as along with 2 people oryp6518 vanja_y
	Homotopy Structures for Algebras over a Monad [My Copy] Applied Categorical Structures, Vol. 7, No. 3. (1999), pp. 227-260. by Marco Grandis, John Macdonald posted to homotopy monads by jonjonc on 2006-05-20 13:10:52 as
	Metric spaces, generalized logic and closed categories [My Copy] by F. W. Lawvere posted to categories logic topology by jonjonc on 2005-08-31 14:30:09 as along with 2 people jamievicary christiankissig
	Generalized bialgebras and triples of operads [My Copy] (28 Nov 2006) by Jean-Louis Loday posted to bialgebras operads by jonjonc on 2006-11-30 08:34:37 as
	Birkhoff's Variety Theorem With and Without Free Algebras [My Copy] by Jiri Adamek, Vera Trnkova posted to universal_algebra varieties by jonjonc on 2006-10-15 00:27:13 as
	Combinatoric n-fold categories and n-fold operads [My Copy] (25 November 2004) by S. Forcey, J. Siehler posted to iterated_monoidal by jonjonc on 2006-09-18 13:33:58 as along with 1 person ansobol
	Premonoidal categories as categories with algebraic structure [My Copy] Theoretical Computer Science, Vol. 278, No. 1-2. (6 May 2002), pp. 303-321. by John Power posted to categories monoidal by jonjonc on 2006-07-27 06:25:36 as
	Coherence for Categorified Operadic Theories [My Copy] (18 Jul 2006) by Miles Gould posted to coherence operads by jonjonc on 2006-07-19 10:11:14 as
	Solving One-Variable Equations in Free Groups [My Copy] (6 Jul 2006) by Dimitri Bormotov, Robert Gilman, Alexei Myasnikov posted to no-tag by jonjonc on 2006-07-07 09:08:31 as
	Homotopy coherent category theory [My Copy] by C. Porter posted to categories coherence homotopy by jonjonc on 2006-06-01 06:28:39 as
	Operads and cosimplicial objects: an introduction [My Copy] (7 Feb 2004) by James E. Mcclure, Jeffrey H. Smith posted to operads by jonjonc on 2006-05-20 13:59:21 as
	Towards a Definition of an Algorithm [My Copy] (2 Feb 2006) by Noson S. Yanofsky posted to algorithm_equivalence by jonjonc on 2006-02-03 12:04:50 as along with 1 person Dani_ella
	The structure group for the associativity identity [My Copy] J. Pure Appl. Algebra, Vol. 111, No. 1-3. (1996), pp. 59-82. by Patrick Dehornoy posted to associativity invariant by jonjonc on 2006-01-06 23:29:04 as
	Shape Theory for Nuclear Ideals (ps) [My Copy] by Richard Blute posted to homotopy logic by jonjonc on 2005-11-15 06:22:34 as
	Coherence, Homotopy and 2-Theories [My Copy] (6 Jul 2000) by Noson S. Yanofsky posted to coherence homotopy by jonjonc on 2005-10-17 08:21:15 as
	Proof-theoretical Coherence (Studies in Logic S.) [My Copy] (31 December 2004) by Kosta Dosen, Zoran Petric posted to classical_logic coherence by jonjonc on 2005-09-12 11:28:30 as along with 1 person greg_restall
	∗-Autonomous categories: once more around the track [My Copy] by Michael Barr posted to categories chu_construction star_autonomous by jonjonc on 2005-09-02 01:14:28 as along with 1 person greg_restall
	A simple description of Thompson's group F [My Copy] (30 Aug 2005) by Marcelo Fiore, Tom Leinster posted to categories groups monoids by jonjonc on 2005-08-31 10:04:29 as
	In the beginning was game semantics [My Copy] (18 Jul 2005) by Giorgi Japaridze posted to computability logic by jonjonc on 2005-07-19 22:35:26 as along with 3 people jleny Lewis sfumato
	Laplaza Sets, or How to Select Coherence Diagrams for Pseudo Algebras [My Copy] (10 Mar 2008) by Thomas M. Fiore, Po Hu, Igor Kriz posted to coherence by jonjonc on 2008-05-02 16:11:15 as
	An Introduction to Noncommutative Spaces and their Geometry [My Copy] (16 Jan 1997) by Giovanni Landi posted to geometry noncommutative by jonjonc on 2007-09-04 23:47:06 as along with 6 people algorithmic pqnelson ansobol jrw proportional artur
	Combinatoric results for graphical enumeration and the higher Catalan numbers [My Copy] (6 Mar 2007) by V. U. Pierce posted to catalan by jonjonc on 2007-03-07 12:12:41 as
	A survey of (∞, 1)-categories [My Copy] (9 Oct 2006) by Julia E. Bergner posted to categories homotopy quasicategories by jonjonc on 2006-10-10 08:38:24 as along with 1 person jedal
	The Euler characteristic of a category [My Copy] (8 Oct 2006) by Tom Leinster posted to categories by jonjonc on 2006-10-10 08:37:45 as along with 3 people and 1 group jrw mnev AbnerCYH CSBBGraphTheory
	Using groups for investigating rewrite systems [My Copy] (18 Sep 2006) by Patrick Dehornoy posted to groups rewriting by jonjonc on 2006-09-19 13:22:24 as
	The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies [My Copy] (13 Sep 2006) by Parikshit Gopalan, Phokion Kolaitis, Elitza Maneva, Christos Papadimitriou posted to dichotomy sat by jonjonc on 2006-09-14 10:08:13 as
	Pseudo Algebras and Pseudo Double Categories [My Copy] (30 Aug 2006) by Thomas M. Fiore posted to pseudo_algebra by jonjonc on 2006-08-31 13:21:46 as
	Towards automated proofs of observational properties [My Copy] Discrete Mathematics & Theoretical Computer Science by Narjes Berregeb, Riadh Robbana, Ashish Tiwari posted to formal_methods rewriting by jonjonc on 2006-07-12 10:35:24 as
	Complicial Sets [My Copy] (12 Jul 2005) by Dominic Verity posted to complicial omega_categories simplicial by jonjonc on 2006-05-20 14:00:52 as
	Geometric presentations for Thompson's groups [My Copy] J. Pure Appl. Algebra, Vol. 203, No. 1-3. (2005), pp. 1-44. by Patrick Dehornoy posted to geometry_group by jonjonc on 2006-01-06 23:31:03 as
	Topological and conformal field theory as Frobenius algebras [My Copy] (3 Dec 2005) by Ingo Runkel, Jens Fjelstad, Jurgen Fuchs, Christoph Schweigert posted to cft tqft by jonjonc on 2005-12-07 03:19:25 as
	On Coherence in Computer Algebra [My Copy] In Design and Implementation of Symbolic Computation Systems (1993), pp. 95-106. by Andreas Weber posted to coherence by jonjonc on 2005-11-23 05:44:33 as along with 1 person greg_restall
	Cobordism of words [My Copy] (21 Nov 2005) by Vladimir Turaev posted to cobordism by jonjonc on 2005-11-22 11:16:07 as along with 1 person ansobol
	Linear logic, coherence and dinaturality [My Copy] Theoretical Computer Science, Vol. 115, No. 1. (5 July 1993), pp. 3-41. by Richard Blute posted to coherence monoidal by jonjonc on 2005-11-15 06:15:02 as along with 1 person msakai
	Obstructions to Coherence: Natural Noncoherent Associativity [My Copy] (22 Apr 1998) by Noson S. Yanofsky posted to coherence by jonjonc on 2005-10-17 08:22:11 as
	The Syntax of Coherence [My Copy] (13 Jan 2000) by Noson S. Yanofsky posted to coherence by jonjonc on 2005-10-17 08:21:59 as
	Games and Full Completeness for Multiplicative Linear Logic [My Copy] In Foundations of Software Technology and Theoretical Computer Science (FST-{TCS}'92) (1992), pp. 291-301. by S. Abramsky, R. Jagadeesan edited by R. Shyamasundar posted to games linear logic by jonjonc on 2005-08-02 03:12:40 as
	Lattices of modal logics and their groups of automorphisms [My Copy] Annals of Pure and Applied Logic, Vol. 100, No. 1-3. (15 October 1999), pp. 99-139. by Marcus Kracht posted to groups modal by jonjonc on 2005-07-22 03:18:11 as
	Weak identity arrows in higher categories [My Copy] (18 Jul 2005) by Joachim Kock posted to categories monoids noncommutative by jonjonc on 2005-07-21 08:10:56 as along with 1 person christiankissig
	Logged Rewriting for Monoids [My Copy] (17 Jul 2005) by A. Heyworth, M. Johnson posted to categories rewriting by jonjonc on 2005-07-21 08:09:39 as
	Associativity as Commutativity [My Copy] (5 Jul 2005) by K. Dosen, Z. Petric posted to categories commutativity by jonjonc on 2005-07-17 03:41:40 as along with 2 people jrw greg_restall
	Introduction to Cirquent Calculus and Abstract Resource Semantics [My Copy] (27 Jun 2005) by Giorgi Japaridze posted to calculus cirquent computability logic proof_theory by jonjonc on 2005-07-17 03:40:00 as along with 1 person Lewis
	Representable multicategories [My Copy] Advances in Mathematics, Vol. 151 (2000), pp. 164-225. by C. Hermida posted to multicategories representable by jonjonc on 2006-05-08 06:56:19 as
	A MONADIC APPROACH TO POLYCATEGORIES [My Copy] TAC by Juergen Koslowski posted to monads polycategories spans by jonjonc on 2006-05-08 06:53:11 as

Note: You may cite this page as: http://www.citeulike.org/user/jonjonc/order/to_read

categories	11
coherence	10
homotopy	5
logic	5
groups	3
operads	3
rewriting	3
computability	2
monads	2
monoidal	2
monoids	2
noncommutative	2
spans	2
algorithm_equivalence	1
associativity	1
bialgebras	1
calculus	1
catalan	1
cft	1
chu_construction	1
cirquent	1
classical_logic	1
cobordism	1
commutativity	1
complicial	1
dichotomy	1
formal_methods	1
games	1
geometry	1
geometry_group	1
globular_sets	1
invariant	1
iterated_monoidal	1
linear	1
modal	1
multicategories	1
omega_categories	1
polycategories	1
proof_theory	1
pseudo_algebra	1
quasicategories	1
representable	1
rewriting_logic	1
sat	1
simplicial	1
star_autonomous	1
topology	1
tqft	1
trees	1
universal_algebra	1
varieties	1

jonjonc's library 45 articles Export

jonjonc's tags