Geometry.Net - Pure_And_Applied_Math: Category Theory


Home - Pure_And_Applied_Math - Category Theory

e99.com Bookstore

Images

Newsgroups

121-128 of 128 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7

Category Theory: more books (100)

Automata and Algebras in Categories (Mathematics and its Applications) by Jirí Adámek, Vera Trnková, 1990-08-31
Categories of Modules over Endomorphism Rings (Memoirs of the American Mathematical Society) by Theodore G. Faticoni, 1993-05
Categories in Continuum Physics: Lectures Given at Workshop Held Suny, Buffalo, 1982 (Lecture Notes in Mathematics) by F. W. Lawvere, 1986-07
Algebra in a Localic Topos With Application to Ring Theory (Lecture Notes in Mathematics 1038) by Francis Borceux, 1983-11
Covers and Envelopes in the Category of Complexes of Modules (Research Notes in Mathematics Series) by J.R. Garcia Rozas, 1999-05-11
Rankin-Selberg Convolutions for So2L+1 X Gln: Local Theory (Memoirs of the American Mathematical Society) by David Soudry, 1993-11
G-Categories (Memoirs of the American Mathematical Society) by Robert Gordon, 1993-01
The Theory of Quantaloids (Research Notes in Mathematics Series) by K I Rosenthal, 1996-05-09
Categories of Commutative Algebras by Yves Diers, 1992-07-02
Categories by T. S. Blyth, 1986-12
Theory of Mathematical Structures by Jirí Adámek, 1983-11-30
A Realistic Theory of Categories: An Essay on Ontology by Roderick M. Chisholm, 1996-08-28
Category theory;: An introduction (Allyn and Bacon series in advanced mathematics) by Horst Herrlich, 1973
Le Corbusier's Legacy: Principles of Twentieth-century Architectural Theory Arranged by Category, Volume 2, Architectural Theory by David Smith Capon, 1999-02-24

lists with details

Gian Luca Cattani's Home Page
Applications of category theory to computer science, semantics of concurrent process languages.
http://www.daimi.au.dk/~luca/

Extractions: I am currently working for DS Data Systems . This is a snapshot of my web-page as it was when I left Cambridge and it is still available mainly to allow people to have access to my research papers. The Computer Science Department at Aarhus is warmly thanked for hosting this page. In fact I also still receive emails sent to either my Aarhus or Cambridge addresses. November 2000 I am a Research Associate at Cambridge University Computer Laboratory and a Fellow of Wolfson College . I did my doctorate at BRICS under the supervision of Glynn Winskel My main research interests are in Logics and Semantics of Computation. In particular Models of Concurrent Computation and applications of Category Theory to Computer Science especially in connection with Domain Theory, Denotational and Operational Semantics. Presently I am supported by an EPSRC grant, whose title is `Calculi for Interactive Systems: Theory and Experiment' and whose principal investigator is Robin Milner. On-line papers and a bibtex database of my publications.
Alex Simpson: Home Page
University of Edinburgh - Category theory, domain theory, logic, type theory.
http://homepages.inf.ed.ac.uk/als/

Extractions: My research interests include: semantic models of computation, especially domain-theoretic and topological models; type theories and their models, especially type theories for computational effects; logic and proof theory in general, and proof systems for program logics in particular; intuitionistic set theories, their models and applications; constructive mathematics and its computational content; foundational models of probability and randomness. Recent: 10 July 2010: Proof Systems for Program Logics LICS -affiliated workshop at FLoC 2010 9 July 2010: LOLA 2010 LICS -affiliated workshop at FLoC 2010 29 June 2010: Scott in Scotland , Informatics Forum, University of Edinburgh. 21 May 2010: Second Scottish Category Theory Seminar , Informatics Forum, University of Edinburgh. 6-7 May 2010: Set Theory, Classical and Constructive ... Linearly-used Continuations and Self-duality July 2009: Slides for my CCC talk: The Locale of Random Sequences January 2009: Slides for my POPL talk: Linear Types for Computational Effects January 2009: Slides for my talk at New Interactions Between Analysis, Topology and Computation:
Ian Stark - University Of Edinburgh
University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
http://homepages.inf.ed.ac.uk/stark/

Extractions: Phone: +44 131 650 5143 (Work) +44 131 228 4101 (Home) Fax: Office: Informatics Forum Papers Talks My research is on mathematical models for programming languages and concurrent systems; in particular reasoning about name generation and mobile code . Below are some recent papers, talks and events; for more follow the links above. . Kwiatkowski and Stark, October 2008. ( PDF Safety Guarantees from Explicit Resource Management . Aspinall, Maier and Stark, August 2008. . Stark, January 2008. The Continuous π-Calculus: A Process Algebra for Biochemical Modelling Theoretical Computer Science Seminar, University of Birmingham, February 2010. ( Slides Reasons to Believe: Digital Evidence to Guarantee Trustworthy Mobile Code. fet 09, Prague, April 2009. ( Slides Some Hedge Mazes. LFCS lab lunch, March 2009. ( Slides, 19M
Untitled Document
Pace University. Problem decomposition and theory reformulation, integrated cognitive architectures for autonomous robots, distributed constraint satisfaction problems, semigroup theory and dynamical systems, category theory in software design.
http://csis.pace.edu/~benjamin/
Ccard V2.0 - A Category Theory Card Game
The official site for this abstract mathematical card game. You can download the deck as a gzipped postscript.
http://www.verify-it.de/sub/ccard/index.html

Extractions: project Ccard is a card game. You can download the cards as gzipped postscript It was born in an area of distress in May 1999, kicked of by the Summer School in Semantics (at BRICS, Aarhus University, Denmark) and in particular the course about category theory there. There are some simple "rules" I made up for two or more players (but you are of course free to change them). The seven suits are organized by a increasing number of "circles" which are meant to reflect the "difficulty" of the facts within. The number of circles/triangles of the suite symbol determines the rank of this suite. Every suite has nine cards. The highest card of one suit is the "aleph"_lambda (resembles a shaky N), followed by "omega", "infinity", then 11, 7, 5, 3, 2 (I like to stick with prime numbers) and finally the empty set (or "naught"). Each of 2 (or possibly more) players gets six cards, the rest is left as a pile on the table.
Mahdavi
SUNY Potsdam, NY, USA; 26 June 2003.
http://www2.potsdam.edu/mahdavk/Conf.htm

Extractions: Map of Parking Lots SUNY Potsdam June 2-6, 2003 ABSTRACTS This workshop investigates the interactions between Representation Theories, Knot Theory, Topology, quantum Field Theory, Category Theory, and Mathematical Physics. This conference will be of great benefit to the researchers, recent Ph.Ds, and graduate students. REGISTRATION
Computer Laboratory - Andrew Pitts
University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties.
http://www.cl.cam.ac.uk/~amp12/

Extractions: FBCS CITP Professor Andrew M Pitts University of Cambridge Computer Laboratory William Gates Building 15 JJ Thomson Avenue Cambridge CB3 0FD, UK Office: FC08 Tel: +44 1223 334629 Fax: +44 1223 334678 Email: Andrew.Pitts at cl cam ac uk PGP Key I am interested in all aspects of programming language semantics, be they operational or denotational (or somewhere between the two). My research makes use of techniques from mathematical logic, type theory and category theory to advance the foundations of programming language semantics. The aim is to develop mathematical models and methods which aid language design and the development of formal logics for specifying and reasoning about programs, with an emphasis on higher order, typed programming languages, such as ML and Haskell. I have a long-standing interest in the semantics and logic of names, locality and binding. Nominal Sets: I am currently researching nominal sets Fresh O'Caml ) and metalogics that underly systems for machine-assisted reasoning about programming language semantics.
Theory And Semantics Group
Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with Logic and Set Theory in the Pure Mathematics Department.
http://www.cl.cam.ac.uk/Research/TSG/

121-128 of 128 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7