rgb's watchlist [at least 200 articles] Export Sort

Recent papers matching rgb's watchlist criteria

Hide details

	Physics, Topology, Logic and Computation: A Rosetta Stone [My Copy] ArXiv e-prints (6 Jun 2009) by John C. Baez, Mike Stay posted to topology physics lambda-calculus category-theory by azwinkau on 2010-01-05 18:42:17 as along with 13 people tictacgo amozeika mwbuksas pirapira egcavalcanti Scis0000002 jjrohal ttylec sflammia ansobol janpaniev jrw pqnelson
	The Logic of Partitions: Introduction to the Dual of the Logic of Subsets [My Copy] (29 Dec 2009) by David Ellerman posted to philosophy mathematics logic category-theory by jrw on 2009-12-31 20:18:00 as
	Categorifying measure theory: a roadmap [My Copy] (24 Dec 2009) by G. Rodrigues posted to mathematics category-theory analysis by jrw on 2009-12-31 19:43:48 as
	Derived Algebraic Geometry II: Noncommutative Algebra [My Copy] (19 Sep 2007) by Jacob Lurie posted to mathematics category-theory algebra by jrw on 2009-12-30 20:25:00 as
	Derived Algebraic Geometry V: Structured Spaces [My Copy] (4 May 2009) by Jacob Lurie posted to mathematics category-theory by jrw on 2009-12-30 02:12:19 as
	Duality for Convexity [My Copy] (19 Nov 2009) by Bart Jacobs posted to quantum physics mathematics category-theory by jrw on 2009-12-22 22:56:45 as along with 1 person ansobol
	Asynchronous Games 3 An Innocent Model of Linear Logic [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 122 (07 March 2005), pp. 171-192. by Paul-André Melliès, posted to proof-theory linear-logic denotational-semantics category-theory by kmga on 2009-12-18 14:15:35 as
	Non-canonical isomorphisms [My Copy] (10 Dec 2009) by Stephen Lack posted to mathematics category-theory by jrw on 2009-12-14 19:58:47 as
	Ionads: a generalised notion of topological space [My Copy] (8 Dec 2009) by Richard Garner posted to topos-theory mathematics geometry category-theory by jrw on 2009-12-09 06:27:27 as
	From Finite Sets to Feynman Diagrams [My Copy] ArXiv Mathematics e-prints (20 Apr 2000) by John C. Baez, James Dolan posted to mathematical-physics john-baez category-theory categorification by JoseBrox on 2009-12-01 12:23:17 as along with 3 people jrw pqnelson scis0000001
	A Prehistory of n-Categorical Physics [My Copy] (18 Aug 2009) by John C. Baez, Aaron Lauda posted to newbie n-categories mathematical-physics john-baez history-of-physics category-theory by JoseBrox on 2009-12-01 12:22:05 as along with 4 people jrw melvineloy janpaniev NitinCR
	Objects of Categories as Complex Numbers [My Copy] (30 Dec 2002) by Marcelo Fiore, Tom Leinster posted to universal-algebra favourite complex-numbers category-theory by JoseBrox on 2009-12-01 12:19:38 as along with 1 person jrw
	The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458. by Martin Hyland, John Power posted to universal-algebra lawvere-theories category-theory by pedagand on 2009-11-29 15:42:14 as along with 8 people christiankissig zednenem madhadron Scis0000002 vishpool masteraka mmarcus ps_ttf
	Niceness theorems [My Copy] (31 Oct 2008) by Michiel Hazewinkel posted to metamath exposition category-theory by JoseBrox on 2009-11-24 18:11:08 as along with 1 person ansobol
	Diagrammatic Inference [My Copy] (20 Nov 2009) by Dominique Duval posted to mathematics logic category-theory by jrw on 2009-11-23 05:12:48 as
	A short note on infinity-groupoids and the period map for projective manifolds [My Copy] (19 Nov 2009) by Domenico Fiorenza, Elena Martinengo posted to mathematics geometry category-theory by jrw on 2009-11-21 22:30:52 as along with 1 person deepthought
	Generalized enrichment of categories [My Copy] (23 Apr 2002) by Tom Leinster posted to mathematics category-theory by jrw on 2009-11-17 04:08:16 as
	Finiteness obstructions and Euler characteristics of categories [My Copy] (24 Aug 2009) by Thomas M. Fiore, Wolfgang Lück, Roman Sauer posted to mathematics geometry category-theory by jrw on 2009-11-17 03:51:30 as
	On the asymptotic magnitude of subsets of Euclidean space [My Copy] (11 Aug 2009) by Tom Leinster, Simon Willerton posted to mathematics geometry category-theory analysis by jrw on 2009-11-17 00:56:47 as
	Countable Lawvere Theories and Computational Effects [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 161 (31 August 2006), pp. 59-71. by J. Power posted to monads lawvere-theories category-theory by pedagand on 2009-11-14 15:29:54 as along with 1 person christiankissig
	Simplicial Databases [My Copy] (13 Apr 2009) by David I. Spivak posted to simplices databases category-theory by jcreed on 2009-11-13 21:58:24 as
	Types, abstraction, and parametric polymorphism, part 2 [My Copy] Mathematical Foundations of Programming Semantics (1992), pp. 1-40. by QingMing Ma, John Reynolds posted to logical-relations lambda-calculus category-theory abstraction by robertjohnsimmons on 2009-11-13 03:06:18 as along with 1 person neelk
	On the Classification of Topological Field Theories [My Copy] (4 May 2009) by Jacob Lurie posted to mathematics category-theory by jrw on 2009-11-10 22:03:07 as along with 3 people christiankissig NitinCR crescent
	Big Toy Models: Representing Physical Systems As Chu Spaces [My Copy] (13 Oct 2009) by Samson Abramsky posted to quantum information chu-spaces category-theory by isotelesis on 2009-11-08 11:07:55 as along with 1 person jrw
	Coalgebras, Chu Spaces, and Representations of Physical Systems [My Copy] (20 Oct 2009) by Samson Abramsky posted to quantum-physics chu-spaces category-theory by isotelesis on 2009-11-07 21:05:19 as along with 2 people sgwyj jrw
	On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos [My Copy] (31 Oct 2009) by Andrej Bauer posted to topos-theory mathematics computation category-theory by jrw on 2009-11-03 19:22:36 as
	Comonadic Notions of Computation [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284. by Tarmo Uustalu, Varmo Vene posted to functional-programming comonad category-theory by pedagand on 2009-11-03 09:49:40 as along with 3 people christiankissig spl oryp6518
	Abstract Physical Traces [My Copy] (16 Oct 2009) by Samson Abramsky, Bob Coecke posted to quantum physics mathematics category-theory by jrw on 2009-10-21 01:19:03 as
	No-Cloning In Categorical Quantum Mechanics [My Copy] (13 Oct 2009) by Samson Abramsky posted to quantum-information quantum physics mathematics category-theory by jrw on 2009-10-19 00:14:50 as
	Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics [My Copy] (14 Oct 2009) by Samson Abramsky posted to quantum mathematics logic knots geometry computation category-theory algebra by jrw on 2009-10-18 23:55:44 as
	Generalized operads and their inner cohomomorphisms [My Copy] (13 Jul 2007) by D. Borisov, Yu posted to mathematics category-theory by jrw on 2009-10-13 03:12:01 as
	Comparing definitions of weak higher categories, I [My Copy] (14 Sep 2009) by Dennis Borisov posted to mathematics category-theory by jrw on 2009-10-13 03:11:29 as
	Towards a mathematical operational semantics [My Copy] Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on, Vol. 0 (06 August 2002), pp. 280-291. by D. Turi, G. Plotkin posted to operational-semantics denotational-semantics category-theory by robertjohnsimmons on 2009-10-12 23:28:04 as
	Derivatives of Containers [My Copy] Typed Lambda Calculi and Applications (2003), pp. 1086-1086. by Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride posted to zipper category-theory abstract-containers by robertjohnsimmons on 2009-10-11 18:42:33 as along with 1 person pedagand
	Lectures on n-Categories and Cohomology [My Copy] (27 Oct 2007) by John C. Baez, Michael Shulman posted to mathematics lectures category-theory by jrw on 2009-10-09 05:25:57 as along with 1 person chenting1002
	Does Category Theory Provide a Framework for Mathematical Structuralism? [My Copy] Philosophia Mathematica, Vol. 11, No. 2. (1 June 2003), pp. 129-157. by Geoffrey Hellman posted to structuralism category-theory by Scis0000002 on 2009-10-08 20:04:38 as
	Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems [My Copy] (23 Sep 2009) by de Francesco Albasini, N. Sabadini, R. F. C. Walters posted to mathematics computation category-theory by jrw on 2009-09-25 00:26:50 as
	Notions of Computation and Monads [My Copy] Information and Computation, Vol. 93 (1989), pp. 55-92. by Eugenio Moggi posted to category-theory by fvogels on 2009-09-17 12:33:47 as
	Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series) [My Copy] (23 August 1991) by Andrea Asperti, Giuseppe Longo posted to types category-theory by pedagand on 2009-09-17 08:13:51 as along with 5 people and 1 group robotact AbnerCYH aleks alec masteraka Compilers
	A relational model of non-deterministic dataflow [My Copy] Mathematical. Structures in Comp. Sci., Vol. 14, No. 5. (2004), pp. 613-649. by Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel posted to traced-symmetric-monoidal-categories symmetric-monoidal-categories relations non-determinism monoidal-categories dataflow category-theory by mstone on 2009-09-13 16:43:32 as along with 1 person leemond31
	Learning the Lie Groups of Visual Invariance [My Copy] Neural Comput., Vol. 19, No. 10. (October 2007), pp. 2665-2693. by Xu Miao, Rajesh P. N. Rao posted to visual-systems visual universality-classes universality-class transforming shape-theory perception-theories percepting lattice-of-universality-classes lattice-of-transformations lattice-of-invariants lattice-of-features lattice-of-equivalence-classes invariances group-theory features equivalence-classes equivalence-class computer-vision classifications category-theory algebraic-semiotics by isotelesis on 2009-09-12 03:15:35 as along with 2 people algorithmic Scis0000002
	Braided Categorical Quantum Mechanics I [My Copy] (5 Sep 2009) by Spencer D. Stirling, Yong-Shi Wu posted to quantum category-theory braid by ansobol on 2009-09-09 12:29:31 as
	Higher-Dimensional Algebra VII: Groupoidification [My Copy] (29 Aug 2009) by John C. Baez, Alexander E. Hoffnung, Christopher D. Walker posted to mathematics category-theory by jrw on 2009-09-01 16:08:23 as along with 1 person jedal
	A survey of graphical languages for monoidal categories [My Copy] (23 Aug 2009) by Peter Selinger posted to ribbon-category category-theory by ansobol on 2009-08-25 07:08:05 as along with 1 person jrw
	Quantum Picturalism [My Copy] (13 Aug 2009) by Bob Coecke posted to quantum-information quantum physics category-theory by jrw on 2009-08-14 17:57:06 as along with 1 person and 1 group jarekadam Quantum information
	Elementary remarks on units in monoidal categories [My Copy] (8 Jun 2006) by Joachim Kock posted to mathematics category-theory by jrw on 2009-08-14 03:54:56 as along with 1 person pqnelson
	When is the Product isomorphic to the Coproduct [My Copy] (4 May 2006) by Miodrag C. Iovanov posted to product math coproduct category-theory by pqnelson on 2009-08-11 23:07:42 as
	A Categorical Quantum Logic [My Copy] ArXiv Quantum Physics e-prints (15 Dec 2005) by Samson Abramsky, Ross Duncan posted to category-theory logic monoidal semantics by aleks on 2009-08-10 15:49:47 as along with 2 people jrw scis0000001
	Categorical quantum mechanics [My Copy] (7 Aug 2008) by Samson Abramsky, Bob Coecke posted to category-theory dagger monoidal quantum by aleks on 2009-08-10 15:48:24 as along with 4 people egcavalcanti pqnelson jrw eswar_physics
	Quantum Computation, Categorical Semantics and Linear Logic [My Copy] (17 Feb 2007) by André van Tonder, Miquel Dorca posted to category-theory lambda-calculus quantum semantics by aleks on 2009-08-10 15:46:52 as along with 2 people jrw tov

Note: You may cite this page as: http://www.citeulike.org/user/rgb/watchlist

Result page: 1 2 3 4 5 6 7 8 9 10 Next

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

time	16
agent	12
kolmogorov	10
category-theory	9
translation	7
haskell	5
space	4
persistence	4
type	3
systems	3
network	3
emergence	3
programming	3
memory	3
storage	3
visual	3
spacetime	3
monads	3
information	3
category	2
set	2
complexity	2
social_network	2
diagrammatic	2
graph	2
location	2
self-organising	2
interface	2
neural	2
networks	2
software	2
social	2
languages	2
representation	2
inference	1
alignment	1
object-oriented	1
temporal	1
model	1
primitives	1
luhmann	1
metrics	1
trees	1
morphisms	1
citeseer-api	1
notation	1
geometro-hydrodynamics	1
associative	1
techniques	1
modeling	1
coproducts	1
interaction	1
interactive	1
relativity	1
dynamical	1
lambda	1
visualisation	1
points-to	1
mind-body	1
input	1
anticipation	1
trie	1
categories	1
relationship	1
xor	1
geometry	1
foundations	1
lueth_02_composing-root	1
sequence-based	1
computer	1
machine	1
coarse-graining	1
data_compression	1
pointer-machine	1
advice	1
systems-theory	1
retrieval	1
texts	1
diagonal	1
autopoiesis	1
semiotics	1
pointer	1
neural_networks	1
language	1
tagging	1
pilesys	1
diagrams	1
textural	1
logical	1
personal_information_spaces	1
information_management	1
wadler_97_how-root	1
formalism	1
combinators	1
relational	1
a-system-of-pure-relations	1
connectionism	1
meaning	1
prediction	1
method	1
cauchy	1
mathematics	1
bookmark	1
statecharts	1
specification	1
mulitcategories	1
evaluation	1
theory	1
output	1
set-theoretic	1
coordination	1
lof	1
autoencoder_networks	1
class	1
non-eurocentric	1
processing	1
calculus	1
bernstein	1
set_theory	1
translation_memory_systems	1
electronic	1
geometric	1
executable	1
cantor	1
prime	1
rewiring	1
descartes	1
process-physics	1
system	1

rgb's watchlist [at least 200 articles] Export Sort

rgb's tags