Home  - Lambda_Calculus - Cartesian Closed Category
 Images Newsgroups
 1-52 of 52    1

See This List with Details

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 N-Category 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/closed-categories/

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

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/t-80719.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/course-l.php.en.iso-8859-2?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.verify-it.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/ECS-LFCS-92-242/

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 3-computads 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://atlas-conferences.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.anubis-language.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/8-18abs.html

26. Cartesian Closed Double Categories, Their Lambda-Notation, And The Pi-Calculus
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 h-rules 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(9-12)/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.

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

32. TAC Abstracs
These results subsume earlier ones using cartesian closed categories, as well as those employing socalled Henkin and Kripke lambda-models.
http://www.disi.unige.it/eventsandseminars/tac/abstracts98.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/~cat-dist/archive/1994/94-5

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/m-kl_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 higher-order 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/part-c/ccs1a-categories-proofs-and-processes

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.latex-project.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/1997-98/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/

 1-52 of 52    1