Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jonjonc's library [45 articles]

Recent papers added to jonjonc's library.
  • Laplaza Sets, or How to Select Coherence Diagrams for Pseudo Algebras
    (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
    (16 Jan 1997)
    by Giovanni Landi
    posted to geometry noncommutative by jonjonc on 2007-09-04 23:47:06 as ** along with 4 people ansobol jrw proportional artur
  • Equational rules for rewriting logic
    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 ****
  • Combinatoric results for graphical enumeration and the higher Catalan numbers
    (6 Mar 2007)
    by VU Pierce
    posted to catalan by jonjonc on 2007-03-07 12:12:41 as **
  • Generalized bialgebras and triples of operads
    (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
    by Jiri Adamek, Vera Trnkova
    posted to universal_algebra varieties by jonjonc on 2006-10-15 00:27:13 as ***
  • A survey of (∞, 1)-categories
    (9 Oct 2006)
    by Julia E Bergner
    posted to categories homotopy quasicategories by jonjonc on 2006-10-10 08:38:24 as ** along with 2 people rhgg2 jedal
  • The Euler characteristic of a category
    (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
    (18 Sep 2006)
    by Patrick Dehornoy
    posted to groups rewriting by jonjonc on 2006-09-19 13:22:24 as **
  • Combinatoric n-fold categories and n-fold operads
    (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
  • The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies
    (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
    (30 Aug 2006)
    by Thomas M Fiore
    posted to pseudo_algebra by jonjonc on 2006-08-31 13:21:46 as **
  • Premonoidal categories as categories with algebraic structure
    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 ***
  • Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-Categories
    Advances in Mathematics, Vol. 136, No. 1. (1 June 1998), pp. 39-103.
    by MA Batanin
    posted to categories globular_sets spans trees by jonjonc on 2006-07-20 05:19:29 as **** along with 1 person rhgg2
  • Coherence for Categorified Operadic Theories
    (18 Jul 2006)
    by Miles Gould
    posted to coherence operads by jonjonc on 2006-07-19 10:11:14 as ***
  • Towards automated proofs of observational properties
    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 **
  • Solving One-Variable Equations in Free Groups
    (6 Jul 2006)
    by Dimitri Bormotov, Robert Gilman, Alexei Myasnikov
    posted to no-tag by jonjonc on 2006-07-07 09:08:31 as ***
  • notes Homotopy coherent category theory
    by C Porter
    posted to categories coherence homotopy by jonjonc on 2006-06-01 06:28:39 as ***
  • Complicial Sets
    (12 Jul 2005)
    by Dominic Verity
    posted to complicial omega_categories simplicial by jonjonc on 2006-05-20 14:00:52 as **
  • Operads and cosimplicial objects: an introduction
    (7 Feb 2004)
    by James E Mcclure, Jeffrey H Smith
    posted to operads by jonjonc on 2006-05-20 13:59:21 as ***
  • notes Homotopy Structures for Algebras over a Monad
    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 ****
  • Representable multicategories
    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 read
  • A MONADIC APPROACH TO POLYCATEGORIES
    TAC
    by Juergen Koslowski
    posted to monads polycategories spans by jonjonc on 2006-05-08 06:53:11 as read
  • Towards a Definition of an Algorithm
    (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
  • Geometric presentations for Thompson's groups
    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 **
  • The structure group for the associativity identity
    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 ***
  • Topological and conformal field theory as Frobenius algebras
    (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
    (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
    (21 Nov 2005)
    by Vladimir Turaev
    posted to cobordism by jonjonc on 2005-11-22 11:16:07 as ** along with 1 person ansobol
  • Shape Theory for Nuclear Ideals (ps)
    by Richard Blute
    posted to homotopy logic by jonjonc on 2005-11-15 06:22:34 as ***
  • Linear logic, coherence and dinaturality
    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
    (22 Apr 1998)
    by Noson S Yanofsky
    posted to coherence by jonjonc on 2005-10-17 08:22:11 as **
  • The Syntax of Coherence
    (13 Jan 2000)
    by Noson S Yanofsky
    posted to coherence by jonjonc on 2005-10-17 08:21:59 as **
  • Coherence, Homotopy and 2-Theories
    (6 Jul 2000)
    by Noson S Yanofsky
    posted to coherence homotopy by jonjonc on 2005-10-17 08:21:15 as ***
  • notes Proof-theoretical Coherence (Studies in Logic S.)
    (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
    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
  • Metric spaces, generalized logic and closed categories
    by FW Lawvere
    posted to categories logic topology by jonjonc on 2005-08-31 14:30:09 as **** along with 2 people christiankissig jamievicary
  • A simple description of Thompson's group F
    (30 Aug 2005)
    by Marcelo Fiore, Tom Leinster
    posted to categories groups monoids by jonjonc on 2005-08-31 10:04:29 as ***
  • Games and Full Completeness for Multiplicative Linear Logic
    (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
    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
    (18 Jul 2005)
    by Joachim Kock
    posted to categories monoids noncommutative by jonjonc on 2005-07-21 08:10:56 as **
  • Logged Rewriting for Monoids
    (17 Jul 2005)
    by A Heyworth, M Johnson
    posted to categories rewriting by jonjonc on 2005-07-21 08:09:39 as **
  • In the beginning was game semantics
    (18 Jul 2005)
    by Giorgi Japaridze
    posted to computability logic by jonjonc on 2005-07-19 22:35:26 as *** along with 2 people Lewis sfumato
  • Associativity as Commutativity
    (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
    (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
    • Note: You may cite this page as: http://www.citeulike.org/user/jonjonc

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.