April 2007 - Categories - categories.org.au

Foundations?
by F W Lawvere 03 Sep '10

03 Sep '10

Down with "Foundations"! Up with algebra! Dear Friends, Presumably I am among those who are being "vilified" as "lovers of categories as foundation". By avoiding any precise definition, such a formulation might appeal to the widespread justified boredom induced by the past hundred years of "foundations as justification". Whenever I used the word "foundation" in my writings over the past forty years, I have explicitly rejected that reactionary use of the term and instead used the definition implicit in the work of my teachers Truesdell and Eilenberg. Namely, an important component of mathematical practice is the careful study of historical and contemporary analysis, geometry, etc. to extract the essential recurring concepts and constructions; making those concepts and constructions (such as homomorphism, functional, adjoint functor, etc.) explicit provides powerful guidance for further unified development of all mathematical subjects, old and new. What is the primary tool for such summing up of the essence of ongoing mathematics? Algebra! Nodal points in the progress of this kind of research occur when, as is the case with the finite number of axioms for the metacategory of categories, all that we know so far can be expressed in a single sort of algebra. I am proud to have participated with Eilenberg, Mac Lane, Freyd, and many others, in bringing about the contemporary awareness of Algebra as Category Theory Had it not been for the century of excessive attention given to the alleged possibility that mathematics is inconsistent, with the accompanying degradation of the F-word, we would still be using it in the sense known to the general public: the search for what is "basic". We, who supposedly know the explicit algebra of homomorphisms, functionals, etc. are long remiss in our duty to find ways to utilize those concepts also in guiding high school calculus. Best wishes, Bill Bibliography: - The Category of Categories as a Foundation for Mathematics, La Jolla conference 1965, Springer (1966) - Adjointness in Foundations, Dialectica, (1969), to be reprinted in TAC - Foundations and Applications: Axiomatization and Education, Bulletin of Symbolic Logic, (2003) vol 9, pp 213-224 - Sets for Mathematics, w/ Bob Rosebrugh, Cambridge Univ. Press, (2003) ************************************************************ F. William Lawvere Mathematics Department, State University of New York 244 Mathematics Building, Buffalo, N.Y. 14260-2900 USA Tel. 716-645-6284 HOMEPAGE: http://www.acsu.buffalo.edu/~wlawvere ************************************************************

2 1

Announcement of paper
by Michael Makkai 03 May '07

03 May '07

The paper "Computads and 2 dimensional pasting diagrams" has been posted on my website http://www.math.mcgill.ca/makkai/. The paper is in several pdf files. With greetings: Michael Makkai

2 1

C*-algebras
by Bas Spitters 03 May '07

03 May '07

It seems hard to find references to a categorical treatment of C*-algebras. Concretely, there are several tensor products on C*-algebras. Which one is `the right one' from a categorical perspective? Thanks, Bas Spitters

6 5

corrected files for paper announced recently
by Michael Makkai 27 Apr '07

27 Apr '07

The other day, I announced my paper "Computads and 2 dimensional pasting diagrams" ( http://www.math.mcgill.ca/makkai/) Today, I replaced most of the files with corrected ones. With greetings: Michael Makkai

1 0

CT2007: Abstract deadline reminder
by Category Theory 2007 24 Apr '07

24 Apr '07

==================== CT2007 ==================== International Category Theory Conference Hotel Tivoli Almansor Carvoeiro, Portugal June 17-23, 2007 Deadline for abstract submission: ********* May 1, 2007 ********** LaTeX code for the preparation of abstracts: http://www.mat.uc.pt/~categ/ct2007/abstracts.html For more information, please consult the web site http://www.mat.uc.pt/~categ/ct2007 The Organizing Committee.

1 0

Postdoctoral Research Positions
by Maria Manuel Clementino 23 Apr '07

23 Apr '07

POSTDOCTORAL RESEARCH POSITIONS The Centre for Mathematics of the University of Coimbra (CMUC) invites applications for one-year postdoctoral research positions, beginning September 2007. Information available at http://www.mat.uc.pt/~cmuc/postdoc-07-08.pdf

1 0

Submissions - Kurt Goedel Centenary Research Prize Fellowships
by goedel-fellowship 20 Apr '07

20 Apr '07

KURT GÖDEL CENTENARY RESEARCH PRIZE FELLOWSHIPS The Kurt Gödel Society is proud to announce the commencement of the research fellowship prize program in honor of the celebration of Kurt Gödels 100th birthday. The research fellowship prize program is sponsored by the John Templeton Foundation and will offer: two Ph.D. (pre-doctoral) fellowships of $60,000* US per annum for two years two post-doctoral fellowships of $ 80,000* US per annum for two years and one senior fellowship of $ 120,000* US per annum for one year based on an international open competition, resulting in the publication of research papers in a special issue of the Annals of Pure and Applied Logic.** The following International Board of Jurors will be in charge of evaluating the applications: Peter ACZEL, University of Manchester (GB) Lev BEKLEMISHEV, Russian Academy of Sciences (RUS) John BURGESS, Princeton University (USA) Harvey FRIEDMAN, Ohio State University (USA) CHAIR John HARRISON, Intel Corporation (USA) Wilfrid HODGES, Queen Mary University of London (GB) Simon KOCHEN, Princeton University (USA) Jan KRAJICEK, Academy of Sciences of the Czech Republic(CZ) Menachem MAGIDOR, Hebrew University (ISRAEL) David MARKER, University of Illinois at Chicago (USA) Michel PARIGOT, Universite Paris 7 (FRANCE) Pavel PUDLAK, Academy of Sciences of the Czech Republic(CZ) Hilary PUTNAM, Harvard University (USA) Jeff REMMEL,University of California at San Diego (USA) John STEEL, University of California at Berkeley (USA) Frank STEPHAN, National University of Singapore (SINGAPORE) Albert VISSER, University of Utrecht (NL) Submission Software is online at:http://www.easychair.org/GoedelFellow2007/ Submission instructions can be found here: http://kgs.logic.at/goedel-fellowship/index.php?instructions Timeline June 30, 2007. Submissions deadline October 2007. Jury decision on the papers for publication (at most 20) December 15, 2007. Final versions due January 2008. Jury decision on winners due February 2008. Award Ceremony Mar.-Sept.2008. Commencement of the Fellowships Web:http://kgs.logic.at/goedel-fellowship E-mail contact: goedel-fellowship(a)logic.at * The currency conversion rate used for the Fellowships is fixed at 0.81 EUR / 1USD! At current market rates, the Fellowship amounts to be awarded are about 10% higher in USD (April 20, 2007). ** For the purpose of the Fellowships' Program, the APAL will publish all articles chosen by the jury, which belong to any of the categories specified in the Scopes of the Fellowships.

1 0

enriched in double categories
by David Roberts 20 Apr '07

20 Apr '07

Dear all, The category of double categories DCat is monoidal, as shown by Bastiani-Ehresmann (cahiers vol 15 no. 3). Has work has been done on DCat-categories? For example, if we have two distinct notions of 2-arrow between 1- arrows, what 1-arrows can we call equivalent? Yours, ------------------------------------------------------------------------ -- David Roberts School of Mathematical Sciences University of Adelaide SA 5005 ------------------------------------------------------------------------ -- droberts(a)maths.adelaide.edu.au www.maths.adelaide.edu.au/~droberts www.trf.org.au

1 0

Workshop Novosibirsk
by Thomas Streicher 19 Apr '07

19 Apr '07

Dear colleagues, Below (also as a pdf-attachment) you find the call for submission of contributed talks to the Joint Workshop 'Domains8' and 'Computability Over Continuous Data Types', Novosibirsk, September 11--15, 2007. It suffices to submit a title with an abstract. The Deadline is May 15. As foreign participants need a visa, registration has to be done until June 30 through the webpage indicated below. As the procedure to obtain a visa is time consuming (see below), these dates are mandatory. You also find the list of invited speakers below. Usually, in the middle of September the weather is nice and sunny in Novosibirsk with temperatures around 15 C. Kind regards, Klaus Keimel _________________________________________________________- Call for Contributed Talks Joint Workshop Domains VIII and Computability Over Continuous Data Types Novosibirsk, September 11 -- 15, 2007 The Workshop 'Domains' series is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. It focusses on domain theory, its applications and related topics. It will be combined with topics based on the German--Russian project 'Computability Over Non-discrete Structures: Models, Semantics, Complexity' supported by Russian Foundation for Basic Research (RFBR) and Deutsche Forschungsgemeinschaft (DFG). Webpage: www.sbras.ru/ws/domains/index.en.html email: domains(a)math.nsc.ru SCOPE Topics for this workshop include, but are not limited to domains and topology for semantics effective domains and spaces computation over continuous spaces program semantics models of sequential computation lambda calculus realizability proof mining constructive mathematics and its semantics computability theory computable models admissible sets LOCATION The Workshop will take place at the Sobolev Instituts of Mathematics of the Siberian Branch of the Russian Academy of Sciences located in Akademgorodok, which is formally a district of Novosibirsk. CONTRIBUTED TALKS There will be ample time available for contributed talks. If you would like to participate and to give a talk, please submit a one page abstract to domains(a)math.nsc.ru Shortly after an abstract is submitted (usually a few weeks), the authors will be notified by the programme committee. Abstracts will be dealt with on a first come/first served basis. Submit as soon as possible. DEADLINE 15 May 2007 INVITED SPEAKERS Andrej Bauer, Ljubljana Ulrich Berger, Swansea Thierry Coquand, Göteborg Martin Escardo, Birmingham Sergei Godunov, Novosibirsk Peter Hertling, Munich Alex Simpson, Edinburgh Atsushi Yoshikawa, Kyushu University PROCEEDINGS Conference Proceedings will be published as a special issue of 'Annals in Pure and Applied Logic'. Submission for the Proceddings will be after the Workshop. They will be refereed according to the usual standards of the Journal. ACCOMODATION All participants will be accommodated in the Hotel ``Zolotaya Dolina'' (Gold Valley) situated at walking distance from the Instituts of Mathematics. FEES There will be a registration fee of 85 Euros for covering expenses. For participants from Eastern Europa and the former Soviet Union we set the fee 300 Russian Roubles. PhD students do not pay a fee. If the fee is a problem, please contact the organizers for a possible arrangement in advance. VISAS AND REGISTRATION Most foreign participants will need a visa to enter Russia. For obtaining a visa, one needs an official invitation issued by the local authorities at Novosibirsk. For this, you should fill in the registration. form available at the conference web page www.sbras.ru/ws/domains/index.en.html and you will have to provide to the local organizers the informations enumerated on the web page www.sbras.ru/ws/domains/visa.html The processing of invitations takes about one month; in addition, please allow some time for sending it by mail! DEADLINE for registration: 30 June, 2007 WEATHER The weather in Novosibirsk in the middle of September is usually warm and sunny, with temperatures around +15 C. PROGRAMME COMMITTEE Yuri Ershov Sobolev Institute of Mathematics, Novosibirsk Sergei Goncharov Sobolev Institute of Mathematics, Novosibirsk Achim Jung University of Birmingham, Birmingham Klaus Keimel (Chair) Darmstadt Technical University, Darmstadt Ulrich Kohlenbach Darmstadt Technical University, Darmstadt Andrei Morozov (Co-Chair) Sobolev Institute of Mathematics, Novosibirsk Victor Selivanov Novosibirsk State Pedagogical University, Novosibirsk Dieter Spreen University of Siegen, Siegen WORKSHOP SECRETARY Alexei Stukachev (domains(a)math.nsc.ru)

1 0

[TYPES/announce] Workshop Novosibirsk
by Thomas Streicher 19 Apr '07

19 Apr '07

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, Below (also as a pdf-attachment) you find the call for submission of contributed talks to the Joint Workshop 'Domains8' and 'Computability Over Continuous Data Types', Novosibirsk, September 11--15, 2007. It suffices to submit a title with an abstract. The Deadline is May 15. As foreign participants need a visa, registration has to be done until June 30 through the webpage indicated below. As the procedure to obtain a visa is time consuming (see below), these dates are mandatory. You also find the list of invited speakers below. Usually, in the middle of September the weather is nice and sunny in Novosibirsk with temperatures around 15 C. Kind regards, Klaus Keimel _________________________________________________________- Call for Contributed Talks Joint Workshop Domains VIII and Computability Over Continuous Data Types Novosibirsk, September 11 -- 15, 2007 The Workshop 'Domains' series is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. It focusses on domain theory, its applications and related topics. It will be combined with topics based on the German--Russian project 'Computability Over Non-discrete Structures: Models, Semantics, Complexity' supported by Russian Foundation for Basic Research (RFBR) and Deutsche Forschungsgemeinschaft (DFG). Webpage: www.sbras.ru/ws/domains/index.en.html email: domains(a)math.nsc.ru SCOPE Topics for this workshop include, but are not limited to domains and topology for semantics effective domains and spaces computation over continuous spaces program semantics models of sequential computation lambda calculus realizability proof mining constructive mathematics and its semantics computability theory computable models admissible sets LOCATION The Workshop will take place at the Sobolev Instituts of Mathematics of the Siberian Branch of the Russian Academy of Sciences located in Akademgorodok, which is formally a district of Novosibirsk. CONTRIBUTED TALKS There will be ample time available for contributed talks. If you would like to participate and to give a talk, please submit a one page abstract to domains(a)math.nsc.ru Shortly after an abstract is submitted (usually a few weeks), the authors will be notified by the programme committee. Abstracts will be dealt with on a first come/first served basis. Submit as soon as possible. DEADLINE 15 May 2007 INVITED SPEAKERS Andrej Bauer, Ljubljana Ulrich Berger, Swansea Thierry Coquand, Göteborg Martin Escardo, Birmingham Sergei Godunov, Novosibirsk Peter Hertling, Munich Alex Simpson, Edinburgh Atsushi Yoshikawa, Kyushu University PROCEEDINGS Conference Proceedings will be published as a special issue of 'Annals in Pure and Applied Logic'. Submission for the Proceddings will be after the Workshop. They will be refereed according to the usual standards of the Journal. ACCOMODATION All participants will be accommodated in the Hotel ``Zolotaya Dolina'' (Gold Valley) situated at walking distance from the Instituts of Mathematics. FEES There will be a registration fee of 85 Euros for covering expenses. For participants from Eastern Europa and the former Soviet Union we set the fee 300 Russian Roubles. PhD students do not pay a fee. If the fee is a problem, please contact the organizers for a possible arrangement in advance. VISAS AND REGISTRATION Most foreign participants will need a visa to enter Russia. For obtaining a visa, one needs an official invitation issued by the local authorities at Novosibirsk. For this, you should fill in the registration. form available at the conference web page www.sbras.ru/ws/domains/index.en.html and you will have to provide to the local organizers the informations enumerated on the web page www.sbras.ru/ws/domains/visa.html The processing of invitations takes about one month; in addition, please allow some time for sending it by mail! DEADLINE for registration: 30 June, 2007 WEATHER The weather in Novosibirsk in the middle of September is usually warm and sunny, with temperatures around +15 C. PROGRAMME COMMITTEE Yuri Ershov Sobolev Institute of Mathematics, Novosibirsk Sergei Goncharov Sobolev Institute of Mathematics, Novosibirsk Achim Jung University of Birmingham, Birmingham Klaus Keimel (Chair) Darmstadt Technical University, Darmstadt Ulrich Kohlenbach Darmstadt Technical University, Darmstadt Andrei Morozov (Co-Chair) Sobolev Institute of Mathematics, Novosibirsk Victor Selivanov Novosibirsk State Pedagogical University, Novosibirsk Dieter Spreen University of Siegen, Siegen WORKSHOP SECRETARY Alexei Stukachev (domains(a)math.nsc.ru)

1 0