Home  Lambda_Calculus  Cartesian Closed Category 
Page 1 152 of 52 1 
1. Cartesian Closed Category  Wikipedia, The Free Encyclopedia In category theory, a category is cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a http://en.wikipedia.org/wiki/Cartesian_closed_category  

2. Week240 What they really study is the free cartesian closed category on one object x , 15) Joachim Lambek, From lambda calculus to Cartesian closed categories, http://math.ucr.edu/home/baez/week240.html  

3. Classical Vs Quantum Computation (Week 3)  The NCategory CafÃ© In a cartesian closed category, or CCC, we can take products of objects, .. James Dolan, Holodeck strategies and cartesian closed categories. http://golem.ph.utexas.edu/category/2006/10/classical_vs_quantum_computati_3.htm  

4. Cartesian Closed Category@Everything2.com cartesian closed category. printable version chaos category theory Mathematical uniqueness terminal object initial object http://everything2.com/index.pl?node_id=1311841 
5. Closed Categories Â« The Unapologetic Mathematician HereÂs an example, though, of a cartesian closed category that looks rather different. It requires the notion of a Âpredicate calculusÂ, but not very much http://unapologetic.wordpress.com/2007/08/01/closedcategories/  

6. IngentaConnect The Largest Cartesian Closed Category Of Stable Domains The largest cartesian closed category of stable domains. Author GuoQiang Z.1. Source Theoretical Computer Science, Volume 166, Number 1, 20 October 1996 http://www.ingentaconnect.com/content/els/03043975/1996/00000166/00000001/art001  

7. Research Laboratory For Logic And Computation, GC CUNY Cartesian closed categories and lambda calculus II. We define the cartesian closed category generated by a typed lambda calculus, http://web.cs.gc.cuny.edu/~rllc/seminar_fall2003.html  

8. CJO  Abstract  The Largest Cartesian Closed Category Of Domains, Considered Co The largest cartesian closed category of domains, considered constructively. DIETER SPREEN Mathematical Structures in Computer Science 150202, 299321, http://journals.cambridge.org/abstract_S0960129504004591  

9. Stable Domain Theory Separately, Berry 78 constructed a cartesian closed category whose morphisms preserve directed joins and connected meets, whilst Diers 79 considered http://www.monad.me.uk/stable/  

10. [Giuseppe.Longo@THEORY.CS.CMU.EDU: Re: The Cmu Workshop] These form a cartesian closed category which has fixed points for domain equations. It is shown that a ``universal domain exists. http://www.cis.upenn.edu/~bcpierce/types/archives/1988/msg00043.html  

11. Theses From Uppsala University : 5883  Effective Domains And Admissible Domain In Paper I we define a cartesian closed category of effective bifinite domains. We also show that there is a natural cartesian closed category of http://publications.uu.se/theses/abstract.xsql?dbid=5883 
12. Constructing A Category Text  Physics Forums Library Once I ve found C , I would like to construct a cartesian closed category C , again with there being a full embedding of C into C , and universal amongst http://physicsforums.com/archive/index.php/t80719.html  

13. Category Theory limits and colimits, adjoint functors, cartesian closed categories and typed lambdacalculus, the cartesian closed category of Scott domains. http://www.fit.vutbr.cz/study/coursel.php.en.iso88592?id=5799 
14. Ccard V2.0  Mantras JS5b In cartesian closed categories, coproducts distribute over products. BP34 A cartesian closed category is a category with a terminal object, http://www.verifyit.de/sub/ccard/mantras_v20.html  

15. Equilogical Spaces We show that this category in contradistinction to Top0  is a cartesian closed category. The direct proof outlined here uses the equivalence of the http://www.cs.cmu.edu/Groups/LTC/abstracts/equ.html  

16. Deliverables: A Categorical Approach To Program Development In Type Theory In fact the combining operations (excluding iteration) are exactly those of a cartesian closed category whose objects are the pre and postconditions and http://www.lfcs.inf.ed.ac.uk/reports/92/ECSLFCS92242/  

17. A Note On Connectedness In Cartesian Closed Categories Primaxily working in the category of limit spaces and continuous maps we suggest a new concept of connectivity with application in all categories where http://www.hindawi.com/GetArticle.aspx?doi=10.1155/S0161171297000148 
18. Cartesian Closed Stable Categories The aim of this paper is to establish some cartesian closed categories which are between the two cartesian closed categories SLP (the category of Ldomains http://portal.acm.org/citation.cfm?id=1063574.1063583 
19. FLoC '02  DOMAIN Sunday July 21st Invited talk Some open problems concerning cartesian closed categories Finally, we will show that it category of domain is cartesian closed. http://floc02.diku.dk/DOMAIN/Sunday.html  

20. [0710.5202] The Category Of 3computads Is Not Cartesian Closed As a corollary we get that neither the category of all computads nor the category of $n$computads, for $n 2$, do form locally cartesian closed categories, http://arxiv.org/abs/0710.5202  

21. Springer Online Reference Works cartesianclosed category. A category such that the following axioms are satisfied. A1) there exists a terminal object ; http://eom.springer.de/c/c130030.htm  

22. Atlas: Some Cartesian Closed Topological Hulls In Approach Theory. By Mark Nauwe For example, in 2, G. Bourdaud indicated the existence of a family of cartesian closed topological constructs in CONV, the category of convergence http://atlasconferences.com/c/a/e/q/12.htm  

23. Category Theory For Computer Science polymorphic functions seen as natural transformations; the category of graphs seen as a functor category; examples of cartesian closed categories Set, http://www.brics.dk/~nygaard/CTfCS/  

24. Anubis Language The CAM, which is based on the Theory of cartesian closed Categories, Indeed, it is well known by category theoretists that the free cartesian closed http://www.anubislanguage.com/?s=pr7pWYkG0ixt05FEjwpQgVtVYBo&a=go_philo 
25. Cartesian Closed Topological Hull Of The Construct Of Closure Spaces Secondly, within this extension L the cartesian closed topological hull L* of we produce a concrete functor to the category of power closed collections http://www.tac.mta.ca/tac/volumes/8/n18/818abs.html  

26. Cartesian Closed Double Categories, Their LambdaNotation, And The PiCalculus We introduce the notion of cartesian closed double category to provide mobile calculi for communicating systems with specific semantic models One dimension http://csdl.computer.org/comp/proceedings/lics/1999/0158/00/01580246abs.htm  

27. Diagonal Arguments And Cartesian Closed Categories Diagonal arguments and cartesian closed categories with author commentary. F. William Lawvere. Originally published in Diagonal arguments and cartesian http://emis.library.cornell.edu/journals/TAC/reprints/articles/15/tr15abs.html  

28. Practical Foundations Of Mathematics The raw calculus Interpretation The b and hrules The universal property cartesian closed categories of domains. 4.8 NATURAL TRANSFORMATIONS http://www.cs.man.ac.uk/~pt/Practical_Foundations/html/c4.html  

29. Categories: Cartesian Closed Categories Of Internal Categories To categories@mta.ca; Subject categories cartesian closed categories of internal categories; From Andree Ehresmann Andree.Ehresmann@upicardie.fr http://north.ecc.edu/alsani/ct01(912)/msg00087.html  

30. JSTOR On The Unification Problem For Cartesian Closed Categories cartesian closed categories (CCCs) have played and continue to play an important role in the study of the semantics of programming languages. http://links.jstor.org/sici?sici=00224812(199706)62:2<636:OTUPFC>2.0.CO;2H 
31. C[omp]UTE: Games And Cartesian Closed Categories Date Sat, 18 Nov 2006 214109 0300 (CLST) Subject Games and cartesian closed Categories From andrew cooke andrew@ Something interesting from Baez http://www.acooke.org/cute/GamesandCa0.html  

33. Roberto Di Cosmo's Abstracts By the close relation between closed cartesian categories and models of these calculi, we also produce a characterization of those isomorphisms which hold http://www.pps.jussieu.fr/~dicosmo/Publications/Abstracts.html  

34. Date Sun, 1 May 1994 163756 +0500 (GMT+400) Subject Michael Date Tue, 3 May 1994 155358 +0500 (GMT+400) Subject Confused about cartesian closed categories. Date Tue, 03 May 94 152132 +0100 From http://www.mta.ca/~catdist/archive/1994/945  

35. Good Math, Bad Math : From Lambda Calculus To Cartesian Closed Categories What I m going to do in these two posts is show the correspondence between lambda calculus and the cartesian closed categories. If you re not familiar with http://scienceblogs.com/goodmath/2006/08/from_lambda_calculus_to_cartes.php  

36. Chronological List Of Publications Diagonal Arguments and cartesian closed Categories with Author Commentary Reprints in Theory and Applications of Categories, No. 15, 2006, 113. (link) http://www.buffalo.edu/~wlawvere/list.html  

37. List For KWIC List Of MSC2000 Phrases closed categories (closed monoidal and cartesian closed 18D15 categories, foundations of homotopy theory topological 55U40 categories, functors 46M15 http://www.math.unipd.it/~biblio/kwic/msc/mkl_11_07.htm  

38. Search Results Diagonal arguments and cartesian closed categories Diagonal arguments and cartesian closed categories with author commentary. F. William Lawvere. http://astech.library.cornell.edu/ast/search_results.cfm?btnG=go&gsa_client=defa 
39. Categorical Logic In this connection the lambdacalculus is treated via the theory of cartesian closed categories. Similarly higherorder logic is modelled by the categorical http://www.andrew.cmu.edu/user/awodey/catlog/  

40. CCS1a: Categories, Proofs And Processes  Mathematical Institute  University Of Categories, functors, natural transformations. Isomorphisms. monics and epics. Products and coproducts. Universal constructions. cartesian closed categories http://www.maths.ox.ac.uk/courses/partc/ccs1acategoriesproofsandprocesses  

41. Peter Selinger Papers We introduce the class of control categories, which combine a cartesianclosed structure with a premonoidal structure in the sense of Power and Robinson. http://www.mscs.dal.ca/~selinger/papers.html  

42. LaTeX Project: An Introduction To LaTeX Its title is cartesian closed categories and the price of eggs. Its author is Jane Doe. It was written in September 1994. The document consists of a title http://www.latexproject.org/intro.html  

43. Domains And Lambda Calculi (book Announcement) Chapter 5 gives a complete presentation of the problem of classifying the largest cartesian closed categories of algebraic directed complete partial orders http://www.seas.upenn.edu/~sweirich/types/archive/199798/msg00317.html  

44. Selected Papers And Notes By Andrej Bauer These two categories are both locally cartesian closed extensions of countably based T0spaces. A natural question to ask is how they are related. http://andrej.com/papers/  

Page 1 152 of 52 1 