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
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
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
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
Closed Categories « The Unapologetic Mathematician Heres 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/
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
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
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/
[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
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
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
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
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
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
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
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
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
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/
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
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
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
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
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=0022-4812(199706)62:2<636:OTUPFC>2.0.CO;2-H
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
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
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
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
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
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
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
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
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/
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
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
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
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/