Home

About Us

Options

Support

Partners

Futures

     
Conference: Categories, Quanta, Concepts – Pt. 1 « Theoretical Atlas
Abramsky's talk was based on Bill Lawvere's analysis of these arguments in general cartesian closed categories (CCC's). The relevance to quantum theory has to do with “no-cloning” theorems – that quantum states can't be duplicated. ...
Conference: Categories, Quanta, Concepts – Pt. 1 « Theoretical Atlas

CCCs and the λ-calculus | The n-Category Café
This blog entry is an excuse for continuing our discussion of cartesian closed categories (CCCs) and the λ-calculus in a slightly more organized way. Let's focus on more or less “traditional” aspects here. If you prefer to talk about ...
CCCs and the λ-calculus | The n-Category Café

Classical vs Quantum Computation (Week 3) | The n-Category Café
Not only is it a wonderful introduction to game semantics, but it also contains (Theorem 4.11) a gamey description of the free cartesian-closed category on a set of generators. The category studied by Dolan and Trimble is there as well: ...
Classical vs Quantum Computation (Week 3) | The n-Category Café

PlanetMath: Cartesian closed category
In other words, a Cartesian closed category $\mathcal{C}$ is a category with finite products, has a terminal objects, and has exponentials. It can be shown that a Cartesian closed category is the same as a finitely complete category ...
PlanetMath: Cartesian closed category

From Lambda Calculus to Cartesian Closed Categories : Good Math ...
This is one of the last posts in my series on category theory; and it's a two parter. What I'm going to do in these two posts is show the correspondence between lambda calculus and the cartesian closed categories. ...
From Lambda Calculus to Cartesian Closed Categories : Good Math ...

Conference: Smooth Structures in Ottawa « Theoretical Atlas
It also reminded me that I've worked on a fairly eclectic sampling of things, since John was talking about cartesian closed categories of smooth spaces, and Niky was talking about the long-time dynamics of the Dirac equation in the ...
Conference: Smooth Structures in Ottawa « Theoretical Atlas

Semantics: Logic vs. PL | Lambda the Ultimate
However, viewing implication as an adjoint to conjunction, some people now prefer to study the lambda-calculus with surjective pairing, which turns out to be equivalent to a Cartesian closed category. Multi-categories: Gentzen had ...
Semantics: Logic vs. PL | Lambda the Ultimate

Least fixpoints of endofunctors of cartesian closed categories by ...
"Least fixpoints of endofunctors of cartesian closed categories" may be helpful to a related problem: how to define monad of a functor in Coq!
Least fixpoints of endofunctors of cartesian closed categories by ...

A Neighborhood of Infinity: Categories of polynomials and ...
Lambek and Scott used the term cotriple instead of comonad and Kleisli category where I'd say coKleisli category. δ and ε are cojoin and coreturn. And Lambek and Scott's theorem applies to any cartesian closed category. ...
A Neighborhood of Infinity: Categories of polynomials and ...

Categories: Products, Exponentials, and the Cartesian Closed ...
So, a cartesian category is a category closed with respect to product. Many of the common categories are cartesian: the category of sets, and the category of enumerable sets, And of course, the meaning of the categorical product in set? ...
Categories: Products, Exponentials, and the Cartesian Closed ...
advanced
  
NEW SERVER LIVE
The site move is complete! Thanks to our technical crew for completing the move quickly and fairly painlessly. We are still in the process of adding many new components to the site, to continue to enhance our offerings. Stay tuned for the most comprehensive Options and Trading Education material available!
  
SERVER MOVE
We are moving! The site will soon be hosted on a dedicated server, so that we can provide you with the fastest access to our data and expertise. This change will likely result in some growing pains, so we appologize in advance if there are any technical hiccups along the way. The end result will be well worth it!
Home     About Us     Options     Support     Futures
Love Is An Option, Inc. (LoveIsAnOption.Com) © 2003 • Privacy Policy • Terms Of Use
1556 Halford Ave. #250 Santa Clara CA 95051 • +1.408.529.7403 • fax +1.206.339.7148
Local Advertising Courtesy of BlitzLocal.com
Credit Cards For Bad Credit
-->