Andrew Cooke | Contents | Latest | RSS | Twitter | Previous | Next

C[omp]ute

Welcome to my blog, which was once a mailing list of the same name and is still generated by mail. Please reply via the "comment" links.

Always interested in offers/projects/new ideas. Eclectic experience in fields like: numerical computing; Python web; Java enterprise; functional languages; GPGPU; SQL databases; etc. Based in Santiago, Chile; telecommute worldwide. CV; email.

Personal Projects

Lepl parser for Python.

Colorless Green.

Photography around Santiago.

SVG experiment.

Professional Portfolio

Calibration of seismometers.

Data access via web services.

Cache rewrite.

Extending OpenSSH.

C-ORM: docs, API.

Last 100 entries

[Link, Programming] MySQL UTF8 Broken; NCOA for $20; [Link, Books] Latin American Authors; [Link, Computing] Optimizatin Puzzle; [Link, Books, Politics] Orwell Prize; [Link] What the Hell Is Happening With Qatar?; [Link] Deep Learning + Virtual Tensor Machines; [Link] Scaled Composites: Largest Wingspan Ever; [Link] SCP Foundation; [Bike] Lessons From 2 Leading 2 Trailing; [Link] Veg Restaurants in Santiago; [Link] List of Contemporary Latin American Authors; [Bike] FTHR; [Link] Whoa - NSA Reduces Collection (of US Residents); [Link] Red Bull's Breitbart; [Link] Linux Threads; [Link] Punycode; [Link] Bull / Girl Statues on Wall Street; [Link] Beautiful Chair Video; Update: Lower Pressures; [Link] Neat Python Exceptions; [Link] Fix for Windows 10 to Avoid Ads; [Link] Attacks on ZRTP; [Link] UK Jazz Invasion; [Review] Cuba; [Link] Aricle on Gender Reversal of US Presidential Debate; {OpenSuse] Fix for Network Offline in Updater Applet; [Link] Parkinson's Related to Gut Flora; Farellones Bike Park; [Meta] Tags; Update: Second Ride; Schwalbe Thunder Burt 2.1 v Continental X-King 2.4; Mountain Biking in Santiago; Books on Ethics; Security Fail from Command Driven Interface; Everything Old is New Again; Interesting Take on Trump's Lies; Chutney v6; References on Entropy; Amusing "Alexa.." broadcast; The Shame of Chile's Education System; Playing mp4 gifs in Firefox on Opensuses Leap 42.2; Concurrency at Microsoft; Globalisation: Uk -> Chile; OpenSuse 42.2 and Synaptics Touch-Pads; Even; Cherry Jam; Lebanese Writer Amin Maalouf; C++ - it's the language of the future; Learning From Trump; Chinese Writer Hu Fayun; And; Apricot Jam; Also; Excellent Article on USA Politics; Oh Metafilter; Prejudice Against The Rurals; Also, Zizek; Trump; Why Trump Won; Doxygen + Latex on CentOS 6; SMASH - Solve 5 Biggest Problems in Physics; Good article on racism, brexit, and social divides; Grandaddy are back!; Consciousness From Max Entropy; Democrats; Harvard Will Fix Black Poverty; Modelling Bicycle Wheels; Amusing Polling Outlier; If Labour keeps telling working class people...; Populism and Choice; Books on Defeat; Enrique Ferrari - Argentine Author; Transcript of German Scientists on Learning of Hiroshima; Calvert Journal; Owen Jones on Twitter; Possible Japanese Authors; Complex American Literature; Chutney v5; Weird Componentized Virus; Interesting Argentinian Author - Antonio Di Benedetto; Useful Thread on MetaPhysics; RAND on fighting online anarchy (2001); NSA Hacked; Very Good LRB Article on Brexit; Nussbaum on Anger; Tasting; Apple + Kiwi Jam; Hit Me; Sudoku - CSP + Chaos; Recycling Electronics In Santiago; Vector Displays in OpenGL; And Anti-Aliased; OpenGL - Render via Intermediate Texture; And Garmin Connect; Using Garmin Forerunner 230 With Linux; (Beating Dead Horse) StackOverflow; Current State of Justice in China; Axiom of Determinacy; Ewww; Fee Chaos Book

© 2006-2017 Andrew Cooke (site) / post authors (content).

Re: [Cute] (Mainly) Books on Category Theory (including downloads)

From: "andrew cooke" <andrew@...>

Date: Sun, 15 Feb 2004 18:22:59 -0300 (CLST)

Another paper (or book - 160 pages), from Andris Birkmanis on lambda -
http://citeseer.nj.nec.com/martini96element.html

Andrew

andrew cooke said:
>
> [... soon category theory became a field in itself. The reason for this is
> that it provides a unifying and economic mathematical modeling language.
> It lends itself very well to extracting and generalizing elementary and
> essential notions and constructions from many mathematical disciplines -
> http://www.risc.uni-linz.ac.at/research/category/]
>
> I need to learn category theory.  But from what book?  Looking at Amazon,
> the first few hits are:
>
> Post Modern Algebra - looks interesting, but very expensive and only one
> recommendation on Amazon (via a personal list) -
> http://www.amazon.com/exec/obidos/tg/detail/-/0471127388
>
> Basic Category Theory for C Scientists - good reviews, concise, looks a
> little unambitious/boring -
> http://www.amazon.com/exec/obidos/tg/detail/-/0262660717
>
> Types and Programming Languages - more practical, but even less ambitious?
> - http://www.amazon.com/exec/obidos/tg/detail/-/0262162091
>
> Categories, Types and Structures... - no reviews, but yay! available for
> download.  The ftp site listed on Amazon doesn't have it, but a little
> googling turns up http://www.di.ens.fr/users/longo/download.html -
> http://www.amazon.com/exec/obidos/tg/detail/-/0262011255
>
> Googling also turned up:
>
> (paid link on Google) Category Theory for the Computing Science -
> http://www.cwru.edu/artsci/math/wells/pub/ctcs.html - which has a good
> price (no reviews on Amazon, which lists it as out of print).
>
> Interesting summary - http://plato.stanford.edu/entries/category-theory/
>
> 80 page introduction - http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
>
> Comprehensive Wikipedia entry -
> http://en2.wikipedia.org/wiki/Category_theory
>
> Andrew
>
> --
> personal web site: http://www.acooke.org
> personal mail list: http://www.acooke.org/cute
>
> _______________________________________________
> compute mailing list
> compute@...
> https://200.83.153.5/cgi-bin/mailman/listinfo/compute
>
>


-- 
personal web site: http://www.acooke.org
personal mail list: http://www.acooke.org/cute

_______________________________________________
compute mailing list
compute@...
https://200.83.153.5/cgi-bin/mailman/listinfo/compute

Comment on this post