Tag category-theory [at least 200 articles]

Recent papers classified by the tag category-theory.

	Interacting Quantum Observables: Categorical Algebra and Diagrammatics [My Copy] (25 Jun 2009) by Bob Coecke, Ross Duncan posted to quantum-information quantum physics mathematics category-theory algebra by jrw on 2009-06-30 03:01:36 as
	Algebraic Geometry over model categories (a general approach to derived algebraic geometry) [My Copy] (10 Oct 2001) by Bertrand Toen, Gabriele Vezzosi posted to math category-theory algebraic-geometry by pqnelson on 2009-06-11 17:53:41 as
	Noncommutative geometry through monoidal categories [My Copy] (16 Jul 2007) by Tomasz Maszczyk posted to noncommutative-geometry monoid-cat math category-theory by pqnelson on 2009-06-11 17:45:32 as along with 1 person TooMuchCoffeeMan
	Categorified Algebra and Quantum Mechanics [My Copy] (19 Jan 2006) by Jeffrey Morton posted to qm category-theory by Scis0000002 on 2009-06-07 22:45:57 as along with 8 people ansobol jrw wnoise madhadron mnev scis0000001 sleepinghead pol
	A category theoretic approach to asymptotic quantum channel approximation and Birkhoff's Theorem [My Copy] (28 May 2009) by Ian T. Durham posted to quantum-information quantum physics mathematics category-theory by jrw on 2009-06-01 18:50:32 as along with 2 people linchen sflammia
	Categories in context: historical, foundational, and philosophical [My Copy] Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 1-43. by Elaine Landry, Jean P. Marquis posted to category-theory by Scis0000002 on 2009-06-01 11:14:08 as along with 2 people adrian_pigors jrw
	Transforming categories and finite transducers. II [My Copy] Cybernetics and Systems Analysis, Vol. 14, No. 3. (1 May 1978), pp. 334-338. by Meitus posted to transducers category-theory by Scis0000002 on 2009-06-01 08:46:30 as
	A Categorical Formulation of Superalgebra and Supergeometry [My Copy] (27 Feb 2008) by Christoph Sachse posted to supersymmetry math category-theory by pqnelson on 2009-06-01 08:11:20 as along with 1 person proportional
	Super, quantum and non-commutative species [My Copy] (27 May 2009) by Rafael Diaz, Eddy Pariguan posted to quantum mathematics geometry category-theory by jrw on 2009-05-28 19:02:39 as along with 1 person pqnelson
	Topical categories of domains [My Copy] Mathematical. Structures in Comp. Sci., Vol. 9, No. 5. (1999), pp. 569-616. by Steven Vickers posted to toposes topos-theory topological-spaces stone-duality locales geometricity fol domains domain-theory constructivity category-theory algebras algebraicity by Scis0000002 on 2009-05-27 11:14:06 as
	Completeness and the complex numbers [My Copy] (21 May 2009) by Jamie Vicary posted to quantum mathematics category-theory by jrw on 2009-05-25 20:57:13 as
	Categories for the practising physicist [My Copy] (19 May 2009) by Bob Coecke, Eric O. Paquette posted to math category-theory by pqnelson on 2009-05-22 03:26:16 as along with 5 people ansobol janpaniev jrw linchen sflammia
	Cartesian effect categories are Freyd-categories [My Copy] (19 May 2009) by Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud posted to mathematics languages computation category-theory by jrw on 2009-05-20 20:15:33 as
	Bohrification of operator algebras and quantum logic [My Copy] (14 May 2009) by Chris Heunen, Nicolaas P. Landsman, Bas Spitters posted to topos-theory quantum-information quantum physics logic category-theory by jrw on 2009-05-15 21:01:16 as along with 1 person ttylec
	A Categorical Construction of Ultrafilters [My Copy] (13 May 2009) by Daniel Litt, Zachary Abel, Scott D. Kominers posted to mathematics category-theory by jrw on 2009-05-14 07:14:01 as
	Towards a Readable Formalisation of Category Theory [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of Computing: The Australasian Theory Symposium (CATS) 2004, Vol. 91 (16 February 2004), pp. 212-228. by Greg O'Keefe posted to theorem-provers category-theory by prahlad on 2009-05-02 08:16:16 as along with 2 people spl maggesi
	Automating Proofs in Category Theory [My Copy] Automated Reasoning (2006), pp. 392-407. by Dexter Kozen, Christoph Kreitz, Eva Richter posted to theorem-provers category-theory by prahlad on 2009-05-02 07:50:44 as along with 1 person spl
	A process algebra for the Span(Graph) model of concurrency [My Copy] (25 Apr 2009) by P. Katis, N. Sabadini, R. F. C. Walters posted to graphs computation category-theory by jrw on 2009-05-02 06:40:53 as
	The parallel composition of processes [My Copy] (25 Apr 2009) by de Francesco, N. Sabadini, R. F. C. Walters posted to graphs computation category-theory by jrw on 2009-05-02 06:40:05 as along with 1 person Scis0000002
	An Introduction to Topos Physics [My Copy] (16 Mar 2008) by Marios Tsatsos posted to topos-theory math-ph category-theory by pqnelson on 2009-04-29 23:28:49 as along with 3 people prydzews jrw proportional
	2-Vector Spaces and Groupoids [My Copy] (14 Oct 2008) by Jeffrey C. Morton posted to math groupoids category-theory 2vect by pqnelson on 2009-04-29 23:18:40 as along with 1 person jrw
	Elementary remarks on units in monoidal categories [My Copy] (8 Jun 2006) by Joachim Kock posted to monoid-cat math category-theory by pqnelson on 2009-04-29 23:18:08 as
	Graphical Reasoning in Compact Closed Categories for Quantum Computation [My Copy] (3 Feb 2009) by Lucas Dixon, Ross Duncan posted to quantum-computing quant-ph category-theory by pqnelson on 2009-04-29 23:12:44 as along with 1 person jrw
	A 2-categories companion [My Copy] (19 Feb 2007) by Stephen Lack posted to math category-theory 2cats by pqnelson on 2009-04-29 23:09:52 as along with 2 people christiankissig jrw
	Coherence for rewriting 2-theories [My Copy] (1 Apr 2009) by Jonathan A. Cohen posted to term-rewriting-systems math category-theory by pqnelson on 2009-04-29 23:00:45 as along with 2 people Scis0000002 jrw
	Duality of Fix-Points for Distributive Lattices [My Copy] (21 Sep 2006) by Prahladavaradan Sampath posted to program-analysis fix-points category-theory by prahlad on 2009-04-26 05:57:17 as
	Classical and quantum structuralism [My Copy] (14 Apr 2009) by Bob Coecke, Eric O. Paquette, Dusko Pavlovic posted to structures structuralism structural quantization qm physical-structures mathematical-structures classicization classicality category-theory by Scis0000002 on 2009-04-24 12:07:44 as along with 1 person jrw
	What separable Frobenius monoidal functors preserve [My Copy] (22 Apr 2009) by Micah B. Mccurdy, Ross Street posted to mathematics category-theory by jrw on 2009-04-23 18:14:35 as
	Categories of Containers [My Copy] Foundations of Software Science and Computation Structures (2003), pp. 23-38. by Michael Abbott, Thorsten Altenkirch, Neil Ghani posted to project-pre-phd container-theory category-theory by pedagand on 2009-04-19 17:05:24 as along with 1 person christiankissig
	Limits over categories of extensions [My Copy] (3 Apr 2009) by Roman Mikhailov, Inder posted to mathematics category-theory algebra by jrw on 2009-04-06 21:40:04 as
	Relating models of impredicative type theories [My Copy] Category Theory and Computer Science (1991), pp. 197-218. by Bart Jacobs, Eugenio Moggi, Thomas Streicher posted to type-theory category-theory by msakai on 2009-04-03 05:08:53 as
	A presentation of the category of stochastic matrices [My Copy] (16 Feb 2009) by Tobias Fritz posted to quantum-information quantum physics mathematics category-theory by jrw on 2009-04-03 01:41:01 as along with 1 person tomt21
	Convex Spaces I: Definition and Examples [My Copy] (31 Mar 2009) by Tobias Fritz posted to quantum-information quantum physics mathematics category-theory algebra by jrw on 2009-04-03 01:40:42 as along with 2 people flips ansobol
	Comparison of the definitions of Abelian 2-categories [My Copy] (1 Apr 2009) by Hiroyuki Nakaoka posted to mathematics category-theory by jrw on 2009-04-02 17:18:54 as
	On the semantics of nested datatypes [My Copy] Information Processing Letters, Vol. 80, No. 5. (15 December 2001), pp. 233-238. by C. Martin posted to types category-theory by msakai on 2009-03-28 13:45:56 as
	Representations of vertex operator algebras and braided finite tensor categories [My Copy] (25 Mar 2009) by Yi-Zhi Huang posted to vertex-operator-algebra math category-theory braid by pqnelson on 2009-03-27 00:51:17 as
	The derivative of a regular type is its type of one-hole contexts [My Copy] (2001) by Conor Mcbride posted to zipper project-pre-phd category-theory by pedagand on 2009-03-20 20:31:04 as along with 5 people and 1 group dherman eaubin zednenem josefs ryanc NU-PRL
	Physics, Topology, Logic and Computation: A Rosetta Stone [My Copy] (3 Mar 2009) by John C. Baez, Mike Stay posted to graph feynman-diagram cs category-theory by ansobol on 2009-03-04 14:41:38 as along with 7 people Scis0000002 jjrohal ttylec sflammia janpaniev jrw pqnelson
	Isomorphisms between left and right adjoints [My Copy] (8 Jun 2002) by H. Fausk, P. Hu, J. P. May posted to mathematics geometry category-theory algebra by jrw on 2009-02-23 19:15:43 as
	A Categorical Manifesto [My Copy] Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67. by Joseph A. Goguen posted to category-theory by pedagand on 2009-02-22 17:22:26 as along with 14 people and 1 group robotact spl ansobol jrw bonotake scis0000001 pilho rgb kaqui ajk artur masteraka popx marcinzalewski pileWorks
	Fast and loose reasoning is morally correct [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted to verification total-functions strict-evaluation partial-functions equational-reasoning category-theory by spl on 2009-02-18 10:56:19 as along with 6 people and 1 group pedagand voigt p1738j aleks Benja paper_jac Compilers
	Notions of computation and monads [My Copy] Information and Computation, Vol. 93, No. 1. (July 1991), pp. 55-92. by Eugenio Moggi posted to semantics monads lambda-calculus equivalence category-theory by spl on 2009-02-17 11:00:58 as along with 4 people robotact kozima varming bfraser
	Quantum Logic in Dagger Categories with Kernels [My Copy] (13 Feb 2009) by Chris Heunen, Bart Jacobs posted to quantum mathematics logic category-theory by jrw on 2009-02-16 07:24:07 as
	Category Theory (Oxford Logic Guides) [My Copy] (27 July 2006) by Steve Awodey posted to project-pre-phd mathematics category-theory by pedagand on 2009-02-12 02:10:52 as along with 2 people NitinCR msakai
	Basic Category Theory for Computer Scientists (Foundations of Computing) [My Copy] (07 August 1991) by Benjamin C. Pierce posted to types project-pre-phd category-theory by pedagand on 2009-02-11 20:05:37 as along with 12 people and 1 group fvogels olegus draganigajic ansobol jrw BarrosH proportional bonotake devnull Scis0000002 ds jimburton Lambda the Ultimate
	Category Theory for Computing Science (Prentice-Hall International Series in Computer Science) [My Copy] (25 August 1995) by Michael Barr, Charles Wells posted to project-pre-phd category-theory by pedagand on 2009-02-11 20:05:14 as along with 2 people ds mmarcus
	Conceptual Mathematics : A First Introduction to Categories [My Copy] (09 October 1997) by William F. Lawvere, Stephen H. Schanuel posted to mathematics category-theory by pedagand on 2009-02-11 20:01:34 as along with 6 people and 1 group msakai bonotake NitinCR rgb kaqui incognito pileWorks
	Categories for the Working Mathematician (Graduate Texts in Mathematics) [My Copy] (25 September 1998) by Saunders M. Lane posted to mathematics category-theory by pedagand on 2009-02-11 20:00:32 as along with 12 people and 2 groups ansobol mahler BarrosH msakai bonotake aleks mstone NitinCR conal masteraka mmarcus robotact Rightscom Compilers
	Categories for Types (Cambridge Mathematical Textbooks) [My Copy] (27 January 1994) by Roy L. Crole posted to types category-theory by pedagand on 2009-02-11 19:59:57 as along with 2 people bonotake mmarcus
	Closed Model Categories for Presheaves of Simplicial Groupoids and Presheaves of 2-Groupoids [My Copy] (5 Feb 2009) by Zhi-Ming Luo, Peter Bubenik, Peter T. Kim posted to mathematics geometry category-theory by jrw on 2009-02-09 18:17:25 as