Register | Log in | FAQ      [?] 

Tag category-theory [444 articles]

Recent papers classified by the tag category-theory.
  • A Monadic Categorical Semantics for Threads
    by Jonathan Sobel, Steven E Ganz, Daniel P Friedman, Mitchell Wand
    posted to category-theory concurrency monads by zednenem on 2005-08-05 19:01:41 as ** along with 8 people and 1 group dalev jrw bfraser dmitri83 EdwardKmett jsala neuralwarp ps_ttf NU-PRL
  • Categorical Logic
    (2001)
    by Andrew M Pitts
    edited by S Abramsky, DM Gabbay, TSE Maibaum
    posted to category-theory logic by zednenem on 2005-08-16 05:26:43 as **** along with 16 people and 4 groups dalev jrw tautologico wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer mmarcus ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
  • Computational Comonads and Intensional Semantics
    Vol. 177 (1992), pp. 1-44.
    by Stephen Brookes, Shai Geva
    edited by MP Fourman, PT Johnstone, AM Pitts
    posted to category-theory comonads haskell semantics by zednenem on 2006-08-24 07:24:39 as *** along with 6 people and 1 group dherman jrw msakai dmitri83 EdwardKmett meiersi NU-PRL
  • An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming
    by Jonathan MD Hill, Keith Clarke
    posted to category-theory fp haskell monads by zednenem on 2007-03-28 02:36:39 as read along with 8 people and 1 group ansobol jrw proportional jutaro glaubersp mathcoq ps_ttf namin Lambda the Ultimate
  • Comprehending Queries
    (1999)
    by T Grust
    posted to category-theory monads query by zednenem on 2005-07-31 19:14:30 as ** along with 2 people and 1 group mahler AndreasSchropp Rightscom
  • Category Theory as Coherently Constructive Lattice Theory: An Illustration
    No. 94-43. (1994)
    by Roland Backhouse, Marcel Bijsterveld
    posted to category-theory lattices by zednenem on 2007-04-03 06:01:59 as ** along with 3 people ansobol jrw scis0000001
  • Arrows, like Monads, are Monoids
    Electronic Notes in Theoretical Computer Science, Vol. 158 (5 May 2006), pp. 219-236.
    by Chris Heunen, Bart Jacobs
    posted to arrows category-theory monads by zednenem on 2006-08-08 00:22:04 as read along with 5 people and 1 group jrw oryp6518 mstone rgb cognominal pileWorks
  • The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
    Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458.
    by Martin Hyland, John Power
    posted to category-theory effects lawvere-theories monads by zednenem on 2007-10-11 02:22:10 as read along with 6 people madhadron Scis0000002 vishpool masteraka mmarcus ps_ttf
  • Bananas in space: extending fold and unfold to exponential types
    (1995), pp. 324-333.
    by Erik Meijer, Graham Hutton
    posted to category-theory denotational-semantics free-theorems functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2006-05-08 11:27:35 as ** along with 4 people and 1 group JacquesC jyasskin msakai dmitri83 NU-PRL
  • Computational lambda-calculus and monads
    Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
    by E Moggi
    posted to category-theory denotational-semantics functional-programming lambda-calculus monads side-effects types by voigt on 2005-10-05 07:37:41 as ** along with 8 people and 1 group JeffreyPalmer msakai bonotake dmitri83 aleks EdwardKmett Benja mcclurmc Compilers
  • Monadic augment and generalised short cut fusion
    (2005), pp. 294-305.
    by Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene
    posted to category-theory functional-programming generic-programming haskell monads optimization polymorphism program-transformation rank-2 shortcut-deforestation type-classes types by voigt on 2005-09-28 09:56:19 as read along with 2 people msakai wtribbey
  • Functional programming with bananas, lenses, envelopes and barbed wire
    (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    posted to category-theory functional-programming by voigt on 2005-09-28 07:25:09 as read along with 9 people and 3 groups greenrd yallop jyasskin oryp6518 dmitri83 aleks rgb bringert wtribbey SRG_at_UCD Compilers pileWorks
  • Fast and loose reasoning is morally correct
    Vol. 41, No. 1. (January 2006), pp. 206-217.
    by Nils A Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
    posted to call-by-name call-by-value category-theory denotational-semantics functional-programming haskell laziness lazy-evaluation logical-relations ml selective-strictness seq strict-evaluation types by voigt on 2006-03-21 11:28:11 as read along with 4 people and 1 group p1738j aleks Benja paper_jac Compilers
  • The dual of substitution is redecoration
    (2002), pp. 99-110.
    by Tarmo Uustalu, Varmo Vene
    posted to category-theory functional-programming monads types by voigt on 2005-10-20 07:57:37 as ** along with 7 people and 1 group greenrd jrw greg_restall zednenem josefs msakai EdwardKmett SRG_at_UCD
  • Algebra of Programming, The
    (26 September 1996)
    by Richard Bird, Oege de Moor
    posted to category-theory functional-programming haskell program-transformation types by voigt on 2005-09-13 08:28:15 as read along with 2 people voronov oryp6518
  • Elements of basic category theory
    (1996)
    by A Martini, H Ehrig, D Nunes
    posted to category-theory by tautologico on 2007-10-31 03:00:53 as ** along with 6 people A_Olympia ansobol jrw proportional ds julianjonker
  • Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages
    (1995), pp. 200-219.
    by Masahito Hasegawa
    posted to category-theory lambda-calculus languages by tautologico on 2007-11-04 15:45:20 as ** along with 1 person fensef
  • Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
    Vol. 523 (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    edited by J Hughes
    posted to category-theory fold functional by tautologico on 2007-05-14 15:23:48 as *** along with 25 people and 4 groups pedagand dvgb rgrig jrw MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton namin SRL SRG_at_UCD complogic Lambda the Ultimate
  • Functor Pulling
    (18 July 1998)
    by Lambert Meertens
    edited by Roland Backhouse, Tim Sheard
    posted to transpose generics functors crush category-theory by spl on 2008-06-06 15:47:32 as ***
  • Category Theory as a Framework for an in re Interpretation of Mathematical Structuralism
    The Age of Alternative Logics (2006), pp. 163-179.
    by Elaine Landry
    posted to category-theory metamathematics structuralism by Scis0000002 on 2007-09-11 09:22:53 as **
  • Learning the Lie Groups of Visual Invariance
    Neural Comput., Vol. 19, No. 10. (October 2007), pp. 2665-2693.
    by Xu Miao, Rajesh PN Rao
    posted to visual universality-classes universality-class 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 classifications category-theory by Scis0000002 on 2008-04-25 00:28:53 as **
  • Nonlinear Self-Duality and Supersymmetry
    by Sergei M Kuzenko, Stefan Theisen
    posted to category-theory duality extendability extendibility higher-dimensional-category-theory idealization metalogical-frameworks metamathematical-frameworks metamathematics metascience modeling nonlinearity omega-categories philosophy-of-science regularities stone-duality topos-theory by Scis0000002 on 2007-08-31 00:40:31 as ** along with 1 person scis0000001
  • Category Theory in COQ
    (1998)
    by A Carvalho
    posted to formalization formal-category-theory category-theory calculus-of-constructions by Scis0000002 on 2007-08-24 10:06:13 as ** along with 3 people and 1 group christiankissig scis0000001 mcclurmc Lambda the Ultimate
  • From absolute to local mathematics
    Synthese, Vol. 69, No. 3. (1 December 1986), pp. 409-426.
    by JL Bell
    posted to topos-theory topos-morphisms toposes relativity plurality pluralism metamathematical-frameworks metalogical-frameworks mathematics mathematical-frameworks local-mathematics locality extendability category-theory all-mathematical-structures by Scis0000002 on 2007-08-18 23:51:01 as ** along with 1 person qwermish
  • Graph-Based Logic and Sketches 1: The General Framework
    ArXiv Mathematics e-prints (October 1994)
    by A Bagchi, C Wells
    posted to category-theory graph-theory higher-dimensional-sketches institutions logics mathematical-structures metalogics metamathematical-frameworks presentation representation sketches sketch-theory specification toposes topos-theory visual by Scis0000002 on 2007-08-02 14:06:30 as **
  • Logic and String Theory
    (18 Apr 2008)
    by A Nicolaidis
    posted to string-theory relational-structures category-theory categorical-algebra by Scis0000002 on 2008-05-02 00:00:00 as ** along with 1 person willrubens
  • Basic Category Theory for Computer Scientists (Foundations of Computing)
    (07 August 1991)
    by Benjamin C Pierce
    posted to category-theory by Scis0000002 on 2008-04-05 23:41:51 as ** along with 8 people and 1 group ansobol jrw BarrosH proportional bonotake devnull ds jimburton Lambda the Ultimate
  • The categorical theory of relations and quantizations
    (30 Oct 2001)
    by Per K Jakobsen, Valentin Lychagin
    posted to relations relational-structures quantizations quantization deformation category-theory category-of-relations algebraic-structures by Scis0000002 on 2008-05-06 00:11:25 as **
  • A Formal Calculus for Categories
    (2003)
    by Mario J Cáccamo
    posted to formal-category-theory category-theory calculuses by Scis0000002 on 2008-05-05 23:44:59 as ** along with 2 people jrw scis0000001
  • 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 topos-theory metamathematical-frameworks metalogical-frameworks higher-dimensional-category-theory category-theory category-of-categories categorical-metamathematical-frameworks by Scis0000002 on 2008-05-31 22:44:07 as **
  • 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 unifying unified-concept-theory topos-theory toposes toes representations question-asking metaphilosophical-frameworks metalogical-frameworks mathematical-structures logical-frameworks linguistic-frameworks languages formal-theories computational-complexity-theory complexity-classes coding category-theory categories algorithmic-information-theory by Scis0000002 on 2008-06-27 13:13:44 as ** along with 1 person jrw
  • Algorithmic Theories of Everything
    (20 Dec 2000)
    by Juergen Schmidhuber
    posted to category-of-theories category-theory logical-theories topos-theory by Scis0000002 on 2007-06-23 20:44:18 as ** along with 3 people BrendaChng scis0000001 JayDugger
  • Some physical applications of category theory
    Vol. 375 (1991), pp. 131-142.
    by S Majid
    edited by C Bartocci, U Bruzzo, R Cianci
    posted to category-theory higher-dimensional-category-theory physics by Scis0000002 on 2007-10-23 00:24:59 as **
  • Games as formal tools versus games as explanations in logic and science
    Foundations of Science, Vol. 8, No. 4. (1 December 2003), pp. 317-364.
    by Ahti-Veikko Pietarinen
    posted to argumentation-theory category-theory computability-logic dialogical-logic domain-theory games game-theory lattice-theory logics networks order-theory probability-theory by Scis0000002 on 2007-07-01 16:05:50 as **
  • Categorical Aspects of Topological Quantum Field Theories
    ArXiv Mathematics e-prints (December 2005)
    by BH Bartlett
    posted to category-theory tqft by Scis0000002 on 2007-09-30 13:24:16 as ** along with 1 person jedal
  • The Meaning of Category Theory for 21st Century Philosophy
    Axiomathes, Vol. 16, No. 4. (10 December 2006), pp. 424-459.
    by Alberto Peruzzi
    posted to category-theory philosophy by Scis0000002 on 2008-04-08 12:10:23 as **
  • Towards Formalizing Categorical Models of Type Theory in Type Theory
    Electron. Notes Theor. Comput. Sci., Vol. 196 (2008), pp. 137-151.
    by Alexandre Buisse, Peter Dybjer
    posted to type-theory constructive category-theory by Scis0000002 on 2008-04-27 15:40:51 as **
  • The Last Mathematician from Hilbert's Gottingen: Saunders Mac Lane as Philosopher of Mathematics
    British Journal for the Philosophy of Science, Vol. 58, No. 1. (15 March 2007), pp. 77-112.
    by Mclarty, Colin
    posted to metamathematics category-theory by Scis0000002 on 2008-04-24 14:24:54 as **
  • On Modeling, Mathematics, Category Theory and RM-ODP
    (2001), pp. 38-54.
    by Zinovy Diskin
    posted to categorification category-theory iff metalogics metamathematics modeling rm-odp by Scis0000002 on 2007-07-14 13:20:35 as **
  • Higher dimensional automata revisited
    Mathematical Structures in Computer Science, Vol. 10, No. 4. (2000), pp. 525-548.
    by Vaughan R Pratt
    posted to topology state-space information-system homotopy homology hda hd geometry event-structures event-space concurrency chu-space category-theory algebraic-domains algebraic by scis0000001 on 2007-01-07 13:55:35 as ** along with 1 person jrw
  • From Devs To Formal
    by Methods C Approach
    posted to abduction behavior category-theory chu-space dynamical-system formal-development general-systems-theory induction realizability testing topos-theory validation verification by scis0000001 on 2007-05-20 00:00:26 as **
  • Presheaf Models for Concurrency
    (1996), pp. 58-75.
    by Gian L Cattani, Glynn Winskel
    posted to bisimulation category-theory concurrency presheaves by scis0000001 on 2006-12-16 14:20:24 as ** along with 1 person jrw
  • Weak $ω$-categories as $ω$-hypergraphs
    (23 Mar 2000)
    by Hiroyuki Miyoshi, Toru Tsujishita
    posted to category-theory higher-dimensional-category-theory hypergraph hypergraphs omega-categories by scis0000001 on 2007-01-04 15:57:47 as **
  • The Memory Evolutive Systems as a Model of Rosenâs Organisms â (Metabolic, Replication) Systems
    Axiomathes, Vol. V16, No. 1. (15 March 2006), pp. 137-154.
    by Andrã©e C Ehresmann, Jean-Paul Vanbremeersch
    posted to memory-evolutive-systems hierarchy category-theory by scis0000001 on 2007-01-04 15:51:59 as **
  • Domain Theoretic Models of Polymorphism
    Information and Computation, Vol. 81, No. 2. (1989), pp. 123-167.
    by Thierry Coquand, Carl A Gunter, Glynn Winskel
    posted to category-theory domain-theory polymorphism by scis0000001 on 2006-12-29 14:41:02 as ** along with 1 person msakai
  • A Topos Foundation for Theories of Physics: IV. Categories of Systems
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
    posted to category-theory formal physics theory-development topos-theory by scis0000001 on 2007-04-11 10:37:58 as ** along with 3 people jrw proportional gpi
  • Comprehending Monads
    (1990), pp. 61-78.
    by PL Wadler
    posted to category-theory monads by scis0000001 on 2006-09-09 16:27:15 as ** along with 29 people and 2 groups hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley msn mstone bunge rgb Benja jsala meiersi jasonmc glaubersp ds conal cdiggins cognominal benchambers kazuya hayeah mmarcus donniejones18 SRG_at_UCD pileWorks
  • Operads in Higher-Dimensional Category Theory
    (16 Nov 2000)
    by Tom Leinster
    posted to category-theory hd higher-category-theory higher-dimensional-category-theory operads by scis0000001 on 2006-09-09 16:12:22 as **
  • Higher Operads, Higher Categories
    (2 May 2003)
    by Tom Leinster
    posted to category-theory hd by scis0000001 on 2006-09-09 16:10:29 as **
  • Higher-dimensional algebra II: 2-Hilbert spaces
    by J Baez
    posted to algebra category-theory hd hilbert-space physics representation by scis0000001 on 2006-09-09 16:03:22 as **
    • Note: You may cite this page as: http://www.citeulike.org/tag/category-theory

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