Home

About Us

Options

Support

Partners

Futures

     
Definitions into mathematical objects 9
This series builds up to an explanation of the concept of form in the paper Graph-Based Logic and Sketches by Atish Bagchi and me. This post tells how to sketch cartesian closed categories and gives an example of a form. ...
Definitions into mathematical objects 9

Categorical background for A-1-homotopy theory (simplicial model ...
To name same of them: they have all finite limits and all finite colimits and they are cartesian closed monoidal categories (so you can do some kind of Lambda calculus inside a topos). Consider “broadening” a category by using the ...
Categorical background for A-1-homotopy theory (simplicial model ...

Theories and models
With Java interfaces we can describe sets of values and functions between them; it is a cartesian closed category whose objects are datatypes and whose morphisms are (roughly) programs. Models an interface are different classes that ...
Theories and models

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

Recent Progress in Quantum Algorithms | Lambda the Ultimate
The math of quantum mechanics, involving Hilbert spaces, cartesian closed categories, commutators, etc. is just "different" from the ordinary math we get even in classes as advanced as linear algebra, i.e., just vector spaces. ...
Recent Progress in Quantum Algorithms | Lambda the Ultimate

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é

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 ...

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 ...

An Innocent Model of Linear Logic | Lambda the Ultimate
However, it turns out to be very hard to give categorical models for these calculi -- if we start with a cartesian closed category (which can interpret propositional intuitionistic logic) and postulate the existence of a double-negation ...
An Innocent Model of Linear Logic | Lambda the Ultimate

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 of it. Basically, if you have a rough idea of what such a thing is you'll be fine ...
Closed Categories « The Unapologetic Mathematician
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
Small Business Advertising Courtesy of BlitzLocal.com
Credit Cards For Bad Credit
-->