新規登録 | ログイン | FAQ      [?] 

rgb さんのウォッチリスト [540 articles]

最近追加された論文の中で rgb さんの設定条件に合うもののリストです
  • Polynomial functors and trees
    (17 Jul 2008)
    by Joachim Kock
    posted to category-theory combinatorics mathematics by jrw on 2008-08-29 20:31:31 as ***
  • Categories in context: historical, foundational, and philosophical
    Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 1-43.
    by Elaine Landry, Jean P Marquis
    posted to category-theory history mathematics philosophy printed by jrw on 2008-08-28 02:28:48 as *** along with 1 person adrian_pigors
  • Remarks on Chern-Simons Theory
    (19 Aug 2008)
    by Daniel S Freed
    posted to category-theory geometry mathematics physics quantum string-theory by jrw on 2008-08-21 19:14:36 as ** along with 2 people tarampam bravchick
  • A tutorial on (co)algebras and (co)induction
    EATCS Bulletin, Vol. 62 (1997), pp. 62-222.
    by Bart Jacobs, Jan Rutten
    posted to category-theory coinduction by pedagand on 2008-08-20 20:45:56 as **
  • Understanding the small object argument
    (19 Feb 2008)
    by Richard Garner
    posted to category-theory mathematics by jrw on 2008-08-18 20:02:57 as ***
  • On the strength of dependent products in the type theory of Martin-Löf
    (31 Mar 2008)
    by Richard Garner
    posted to category-theory computation logic mathematics by jrw on 2008-08-18 20:02:15 as ****
  • Two-dimensional models of type theory
    (15 Aug 2008)
    by Richard Garner
    posted to category-theory computation logic mathematics by jrw on 2008-08-18 19:58:52 as ****
  • De Morgan's law and the theory of fields
    (14 Aug 2008)
    by Olivia Caramello, Peter Johnstone
    posted to category-theory mathematics number-theory topos-theory by jrw on 2008-08-15 17:28:35 as ****
  • Bananas in space: Extending fold and unfold to exponential types
    (1995), pp. 324-333.
    by Erik Meijer, Graham Hutton
    posted to category-theory programming-language-design by mcclurmc on 2008-08-14 22:01:58 as *****
  • Combinatorics of labelling in higher dimensional automata
    (12 Aug 2008)
    by Philippe Gaucher
    posted to automata category-theory computation concurrency languages mathematics by jrw on 2008-08-13 20:49:47 as ****
  • De Morgan classifying toposes
    (11 Aug 2008)
    by Olivia Caramello
    posted to category-theory logic mathematics topos-theory by jrw on 2008-08-12 20:33:22 as ****
  • Introducing categories to the practicing physicist
    (7 Aug 2008)
    by Bob Coecke
    posted to category-theory quantum by msakai on 2008-08-10 16:36:06 as read along with 6 people sflammia eswar_physics tarampam schlady jrw pak
  • Toy quantum categories
    (7 Aug 2008)
    by Bob Coecke, Bill Edwards
    posted to category-theory mathematics physics printed quantum by jrw on 2008-08-09 01:15:43 as *** along with 1 person eswar_physics
  • Bases in diagrammatic quantum protocols
    (7 Aug 2008)
    by Bob Coecke, Eric O Paquette, Simon Perdrix
    posted to category-theory mathematics physics printed quantum by jrw on 2008-08-09 01:15:13 as ***
  • Categorical quantum mechanics
    (7 Aug 2008)
    by Samson Abramsky, Bob Coecke
    posted to category-theory mathematics physics printed quantum by jrw on 2008-08-09 01:14:44 as *** along with 1 person eswar_physics
  • Generic Programming: An Introduction
    Advanced Functional Programming (1999), pp. 28-115.
    by Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens
    edited by Doaitse S Swierstra, Pedro R Henriques, José N Oliveira
    posted to category-theory datatype-generic generics introduction libraries polyp unification by spl on 2008-08-08 14:25:57 as *** along with 1 person americovargas
  • Higher Topos Theory
    ArXiv Mathematics e-prints (August 2006)
    by J Lurie
    posted to category-theory logic mathematics topos-theory by jrw on 2008-08-01 19:29:06 as *** along with 3 people scis0000001 Scis0000002 jedal
  • A diagrammatic approach to categorification of quantum groups III
    (21 Jul 2008)
    by Mikhail Khovanov, Aaron D Lauda
    posted to category-theory mathematics physics quantum by jrw on 2008-07-22 20:10:24 as **
  • Categorical properties of the complex numbers
    (18 Jul 2008)
    by Jamie Vicary
    posted to category-theory mathematics printed by jrw on 2008-07-21 19:45:34 as *** along with 1 person ansobol
  • Symmetric Self-Adjunctions and Matrices
    (16 Jul 2008)
    by K Dosen, Z Petric
    posted to category-theory mathematics by jrw on 2008-07-17 22:21:14 as **
  • Convenient Categories of Smooth Spaces
    (10 Jul 2008)
    by John C Baez, Alexander E Hoffnung
    posted to category-theory geometry mathematics by jrw on 2008-07-11 07:50:09 as ***
  • Fixed point theory and trace for bicategories
    (9 Jul 2008)
    by Kate Ponto
    posted to category-theory geometry mathematics by jrw on 2008-07-10 20:10:51 as ***
  • A diagrammatic approach to Hopf monads
    (3 Jul 2008)
    by Simon Willerton
    posted to category-theory mathematics by jrw on 2008-07-09 01:49:26 as **
  • Orbifolds as stacks?
    (25 Jun 2008)
    by Eugene Lerman
    posted to category-theory geometry mathematics by jrw on 2008-07-01 06:38:17 as ** along with 1 person bravchick
  • Carnap and Quine on the distinction between external and internal questions
    Philosophical Studies, Vol. 33, No. 3. (1 April 1978), pp. 301-312.
    by Bruce N Waller
    posted to algorithmic-information-theory categories category-theory coding complexity-classes computational-complexity-theory formal-theories languages linguistic-frameworks logical-frameworks mathematical-structures metalogical-frameworks metaphilosophical-frameworks question-asking representations toes toposes topos-theory unified-concept-theory unifying by Scis0000002 on 2008-06-27 13:13:44 as ** along with 1 person jrw
  • notes Cohesive Toposes and Cantor's 'lauter Einsen'
    Philosophia Mathematica, Vol. 2, No. 1. (1 January 1994), pp. 5-15.
    by FW Lawvere
    posted to category-theory by msakai on 2008-06-23 17:03:01 as **
  • An introduction to Grothendieck topologies, fibered categories and descent theory
    (28 December 2004)
    by Angelo Vistoli
    posted to category-theory geometry mathematics by jrw on 2008-06-20 20:08:39 as ** along with 2 people and 1 group JacquesC proportional NU-PRL
  • On the Axiomatisation of Boolean Categories with and without Medial
    (5 Oct 2007)
    by Lutz Strassburger
    posted to category-theory computation logic mathematics by jrw on 2008-06-19 01:56:58 as **
  • notes Mathematics of Quantum Computation and Quantum Technology (Applied Mathematics and Nonlinear Science)
    (04 October 2007)
    posted to category-theory quantum by msakai on 2008-06-16 13:15:15 as **
  • The three dimensions of proofs
    (4 Dec 2006)
    by Yves Guiraud
    posted to category-theory logic mathematics by jrw on 2008-06-15 07:25:44 as ***
  • Noncommutative geometry as a functor
    (10 Jun 2008)
    by Igor Nikolaev
    posted to category-theory geometry mathematics by jrw on 2008-06-13 16:27:05 as **
  • notes Control categories and duality: on the categorical semantics of the lambda-mu calculus
    Mathematical Structures in Computer Science, Vol. 11, No. 02. (2001), pp. 207-260.
    by Peter Selinger
    posted to category-theory continuation by msakai on 2008-06-08 07:30:21 as ** along with 1 person yoriyuki
  • Functor Pulling
    (18 July 1998)
    by Lambert Meertens
    edited by Roland Backhouse, Tim Sheard
    posted to category-theory crush functors generics transpose by spl on 2008-06-06 15:47:32 as ***
  • Closed categories, star-autonomy, and monoidal comonads
    (4 Dec 2007)
    by Craig Pastro, Ross Street
    posted to category-theory mathematics by jrw on 2008-06-05 19:00:54 as **
  • Note on the construction of free monoids
    (14 Feb 2008)
    by Stephen Lack
    posted to category-theory mathematics by jrw on 2008-06-05 18:58:18 as **
  • Braided and coboundary monoidal categories
    (29 Apr 2008)
    by Alistair Savage
    posted to braids category-theory mathematics printed by jrw on 2008-06-05 18:55:30 as ***
  • notes Guarded induction on final coalgebras
    Electronic Notes in Theoretical Computer Science (January 2004), pp. 1-18.
    by D Pavlovic
    posted to category-theory coalgebra theorem-proving by msakai on 2008-06-01 05:09:27 as read
  • 2OBJ: A Metalogical Framework Theorem Prover Based on Equational Logic [and Discussion]
    Philosophical Transactions: Physical Sciences and Engineering, Vol. 339, No. 1652. (1992), pp. 69-86.
    by Joseph Goguen, Andrew Stevens, Hendrik Hilberdink, Keith Hobley, WA Hunt, TF Melham
    posted to categorical-metamathematical-frameworks category-of-categories category-theory higher-dimensional-category-theory metalogical-frameworks metamathematical-frameworks topos-theory by Scis0000002 on 2008-05-31 22:44:07 as **
  • A note on inconsistencies caused by fixpoints in a cartesian closed category
    Theoretical Computer Science, Vol. 73, No. 1. (8 June 1990), pp. 101-112.
    by Hagen Huwig, Axel Poigné
    posted to category-theory domain-theory by msakai on 2008-05-31 15:04:01 as read
  • Extensional PERs
    Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 346-354.
    by P Freyd, P Mulry, G Rosolini, D Scott
    posted to category-theory domain-theory by msakai on 2008-05-31 04:22:25 as **
  • A Typed Lambda Calculus with Categorical Type Constructors
    (1987), pp. 140-157.
    by Tatsuya Hagino
    posted to category-theory lambda-calculus type-theory by mcclurmc on 2008-05-30 18:49:44 as **
  • Sketches: Outline with references
    by C Wells
    posted to category-theory by msakai on 2008-05-28 13:37:44 as read
  • Strong Categorical Datatypes I
    Vol. 13 (1992), pp. 141-169.
    by Robin, Dwight Spencer
    edited by RAG Seely
    posted to category-theory by msakai on 2008-05-25 11:00:11 as read along with 1 person glaubersp
  • Hyperfunctions
    by Sava Krstic, John Launchbury, Dusko Pavlovic
    posted to category-theory by msakai on 2008-05-25 10:15:58 as read
  • Closed Freyd- and κ -categories
    Automata, Languages and Programming (1999), pp. 709-710.
    by John Power, Hayo Thielecke
    posted to category-theory lambda-calculus by msakai on 2008-05-25 10:12:45 as read
  • Fold and unfold for program semantics
    (1998), pp. 280-288.
    by Graham Hutton
    posted to category-theory denotational-semantics operational-semantics by msakai on 2008-05-25 10:06:18 as read along with 2 people and 1 group mcclurmc spl Lambda the Ultimate
  • Mackey functors on compact closed categories
    (20 Jun 2007)
    by Ross Street, Elango Panchadcharam
    posted to category-theory mathematics by jrw on 2008-05-21 20:03:21 as **
  • Yoneda representations of flat functors and classifying toposes
    (15 May 2008)
    by Olivia Caramello
    posted to algebra category-theory mathematics by jrw on 2008-05-20 18:48:53 as **
  • Linking diagrams for free
    (11 May 2008)
    by Dominic JD Hughes
    posted to category-theory computation graphs logic mathematics by jrw on 2008-05-13 07:44:16 as ****
  • Presentation of a Game Semantics for First-Order Propositional Logic
    (7 May 2008)
    by Samuel Mimram
    posted to algebra category-theory languages logic mathematics by jrw on 2008-05-09 19:47:39 as *** along with 1 person noam_zeilberger
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/rgb/watchlist

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX
    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.