jscategory.wordpress.com
New contract library | Category Theory in JavaScript
https://jscategory.wordpress.com/2012/08/27/new-contract-library
Category Theory in JavaScript. Promise monad in ES6. TikZ diagrams for the web! Laquo; Opposite categories and profunctors. 124; For-comprehensions in JavaScript. I updated the source code. Page in preparation for a talk on this stuff I might be giving soon. Posted on August 27, 2012 at 11:34 am in Uncategorized. 124; RSS feed. 124; Trackback URL. Leave a Reply Cancel reply. Enter your comment here. Please log in using one of these methods to post your comment:. Address never made public).
jscategory.wordpress.com
March | 2012 | Category Theory in JavaScript
https://jscategory.wordpress.com/2012/03
Category Theory in JavaScript. Promise monad in ES6. TikZ diagrams for the web! Archive for March, 2012. March 31, 2012. Here are a bunch of constructions that share a similar property:. The intersection of two sets is the. Set that’s a subset of both of them. The minimum of two numbers is the. Number that’s less than or equal to both of them. The greatest common divisor of two numbers is the. Number that divides both of them. The proposition “A and B” is the one with the. In order to state more precisel...
jscategory.wordpress.com
April | 2012 | Category Theory in JavaScript
https://jscategory.wordpress.com/2012/04
Category Theory in JavaScript. Promise monad in ES6. TikZ diagrams for the web! Archive for April, 2012. April 30, 2012. Java has generics and C has templates. These language features are only half of a functor, since they only act on types, not functions. In JavaScript we can do better. 1, state.pop()] : [0, [] ; }, size: function () { return state.length; } }; }; / Create a stack of strings. var myStack = makeStack(str);. Is both a contract and the. Function. If we think of. As a kind of. April 30, 2012.
jscategory.wordpress.com
Laziness | Category Theory in JavaScript
https://jscategory.wordpress.com/2012/05/20/laziness-2
Category Theory in JavaScript. Promise monad in ES6. TikZ diagrams for the web! Laquo; Adjoint functors. 124; Opposite categories and profunctors. JavaScript is an eager language—that is, it evaluates the parameters to a function before evaluating the function itself. A lazy value. Var lazyOf = function (x) { return hom([], x); };. Var lazy = monadOf(lazyOf)({ '*': function (veryLazy) { return veryLazy(); }, '1': function (x) { return function () { return x; }; } });. Here’s a list with a lazy tail:.
jscategory.wordpress.com
Functors again | Category Theory in JavaScript
https://jscategory.wordpress.com/2012/04/30/functors-again
Category Theory in JavaScript. Promise monad in ES6. TikZ diagrams for the web! 124; Generics / templates. We’ve seen several different functors:. ArrOf: C - C makeProduct: C* - C makeInterface: C* - C hom: Cᵒᵖ C - C makeCoproduct: C* - C. Takes a contract and produces one contract that accepts an empty list, or a 1-item list, or a 2-item list, and so on up to a (2. 8211; 1)-item list. It can also take an arbitrary function and iterate over an array. Posted on April 30, 2012 at 4:56 am in Uncategorized.
jscategory.wordpress.com
May | 2012 | Category Theory in JavaScript
https://jscategory.wordpress.com/2012/05
Category Theory in JavaScript. Promise monad in ES6. TikZ diagrams for the web! Archive for May, 2012. May 22, 2012. Opposite categories and profunctors. You can form the opposite category. Which has the same objects but you turn all the arrows around backwards. This makes sense if you think of a category as being presented as a (directed multi)graph plus a set of relations between paths: you just turn all the edges around and reverse the order of the edges in the relations. Is a functor of the form.
holoborodko.com
QuickLaTeX
http://www.holoborodko.com/pavel/quicklatex
Applied mathematics and beyond. Cubature formulas for the unit disk. Stable Newton-Cotes Formulas (Open Type). Noise Robust Gradient Operators. Sites Powered by QuickLaTeX. August 3, 2015. 383 Image size reduction using OptiPNG, minimized memory usage. July 4, 2015. 382 New server, compatibility with WP-LaTeX. December 24, 2014. 381 Switched to non-blocking connections to server. November 15, 2012. 380 Added rendering to SVG format. September 22, 2011. 379 Fixed semi-critical bug in parsing. July 25, 2011.
jscategory.wordpress.com
August | 2012 | Category Theory in JavaScript
https://jscategory.wordpress.com/2012/08
Category Theory in JavaScript. Promise monad in ES6. TikZ diagrams for the web! Archive for August, 2012. August 27, 2012. I updated the source code. Page in preparation for a talk on this stuff I might be giving soon. Create a free website or blog at WordPress.com. Follow “Category Theory in JavaScript”. Get every new post delivered to your Inbox. Build a website with WordPress.com.
jscategory.wordpress.com
Categories | Category Theory in JavaScript
https://jscategory.wordpress.com/2012/05/11/categories-2
Category Theory in JavaScript. Promise monad in ES6. TikZ diagrams for the web! In addition to categories of data structures and their homomorphisms. There are other simple constructions that give rise to categories from other ones:. By currying the hom functor, we get the notion of a “slice category”. Var slice = function (y) { return function (x) { return hom([x], y); }; };. The objects in the slice category. Are functions whose result passes the contract. Of the functor—i.e. a contract. 124; RSS feed.
jscategory.wordpress.com
n-Categories | Category Theory in JavaScript
https://jscategory.wordpress.com/2012/05/15/n-categories
Category Theory in JavaScript. Promise monad in ES6. TikZ diagrams for the web! 124; Adjoint functors. 1: a boolean T,. 0: a set {T, F} of booleans,. 1: a category Set of sets and functions,. 2: a 2-category Cat of categories, functors, and natural transformations,. N: an (n 1)-category nCat of n-categories, functors, transformations, modifications, …, and n-cells. 0: two booleans are either equal or not,. 1: two sets may be isomorphic without being equal,. If there are functions. If there are functors.
