January 2013 - Categories - categories.org.au

Partial functor
by David Leduc 16 Mar '15

16 Mar '15

Hi, A partial functor from C to D is given by a subcategory S of C and a functor from S to D. What is the appropriate notion of natural transformation between partial functors that would allow to turn small categories, partial functors and those "natural transformations" into a bicategory? The difficulty is that two partial functors from C to D might not have the same definition domain. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

7 6

Research positions
by Maria Manuel Clementino 26 Feb '14

26 Feb '14

5-YEAR RESEARCH POSITIONS The Centre for Mathematics of the University of Coimbra (CMUC) invites applications for five 5-year research positions in all areas of Mathematics. Applicants should have a PhD in Mathematics and at least three years of post-doctoral experience, with an international-level publication record and demonstrated ability to perform independent research. Preference will be given to candidates working in one of the areas in which the members of CMUC are currently active. A very good command of English is required. The appointments will be made for three years, renewable for two more. Successful applicants are expected to develop research within the areas of interest of CMUC. They should also contribute to graduate studies, supervising students from the Department of Mathematics. The basic salary is equivalent to the index 195 of the Portuguese research career (in the order of 42 500 euros a year), in accordance with the Ciência 2008 guidelines http://alfa.fct.mctes.pt/apoios/contratacaodoutorados/edital2008 Benefits include private health insurance and social security. Applicants should send • cover sheet (available from www.mat.uc.pt/cmuc/coversheet.pdf) including names and contact information of three persons who can provide a letter of recommendation • curriculum vitae (publication list included) • a 5-year research proposal (2 pages max), emphasizing their own research goals as pdf files to cmuc(a)mat.uc.pt. The subject of the e-mail message must include the job reference C2008 FCTUC CMUC v15-v19. The deadline for applications is *September 10, 2008.* ------------------------------ More information can be found at www.mat.uc.pt

1 1

separable locale
by Thomas Streicher 17 May '13

17 May '13

Recently rereading Fourman's "Continuous Truth" I came across the term "separable locale" but could nowhere find an explanation. Does it mean a cHa A for which there exists a countable subset B such that ever a in A is the supremum of those b in B with b leq a. This would be the point free account of "second countable", i.e. having a countable basis. Of course, second countable T_) spaces are separable, i.e. have a countable dense set. Is this reading the "usual" one? Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

5 4

Re: Deligne on Grothendieck
by Colin McLarty 31 Jan '13

31 Jan '13

Eduardo, I guess you meant the comments of Serre quoted along with Mumford, Tate, and Arkani-Hamed in the note by Siobhan Roberts. (The note is at simonsfoundation.org/science_lives_bio/pierre-deligne/) Colin On Thu, Jan 31, 2013 at 10:02 AM, Colin McLarty <colin.mclarty(a)case.edu> wrote: > Where is the link to Serre's comments? > > > On Wed, Jan 30, 2013 at 4:00 PM, Eduardo J. Dubuc <edubuc(a)dm.uba.ar> wrote: >> On 29/01/13 09:08, Joyal, Andr? wrote: >>> >>> An interview of Deligne by MacPherson: >>> >>> >>> https://simonsfoundation.org/category/features/science-lives/ >>> >> >> I have not see the interview of Deligne by MacPherson in the link above, >> but I read in that link the comments of Serre on the mathematics of >> Deligne as opposed to the mathematics of Grothendieck, and his >> conclusion that Deligne is best. It is interesting to notice that when >> describing the characteristics and virtues of Deligne's mathematics he >> is just describing the characteristics and virtues of his own >> mathematics. Clearly Deligne's and Serre's mathematics are similar and >> different to Grothendieck's. In putting Deligne's mathematics at the >> top, Serre is just putting his own mathematics at the top. >> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Ph.D. position in Mathematical Foundations of Computation in Bath
by Willem Heijltjes 31 Jan '13

31 Jan '13

The Mathematical Foundations group at the University of Bath is offering a Ph.D. position in foundations of computation: Computational and representational aspects of modern proof systems In developing the mathematical foundations of computation, a central insight is that formal proofs can be viewed as computer programs. In this direction, a recent discovery by members of the group, in collaboration with international colleagues, is a correspondence between modern proof methods and computation over geometric objects. The position will be part of a larger project to further develop this connection. The particular task will be to develop and investigate computational calculi arising from this correspondence. The Mathematical Foundations group is a diverse and active research community within the Department of Computer Science. The group is world-class in the area of logic and semantics, and is internationally well-connected. Its members have an excellent record of supervising Ph.D. candidates, many of whom have gone on to establish themselves as successful independent researchers. The prospective supervisor for the advertised position is Willem Heijltjes. Relevant links: Willem Heijltjes - http://www.cs.bath.ac.uk/~wbh22/ Mathematical Foundations - http://www.bath.ac.uk/comp-sci/research/mathematical-foundations/ Details: Starting date for the position is 1st of October 2013. The position is funded by a three-year Graduate School studentship. It comprises full Home/EU tuition fees and a training support grant, plus a stipend of ?13,590 per annum (2012/13 rate). How to apply: Closing date for the advertisement is 28th of February 2013. Candidates must have a bachelor's degree or higher in mathematics, computer science, or a related field, or be expected to graduate before the starting date. Non-native English speakers will be required to obtain a satisfactory TOEFL or IELTS test score before the starting date. The application process further requires the contact details of two academic referees. To apply, please go to the page below and follow the steps outlined there. http://www.bath.ac.uk/science/gradschool/applying/ On the page "Choosing your programme of study", please make sure to select "PhD Programme in Computer Science (full-time)" under "Department of Computer Science". Enquiries: Please contact Willem Heijltjes <w.b.heijltjes(a)bath.ac.uk> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Deligne on Grothendieck
by Joyal, André 30 Jan '13

30 Jan '13

An interview of Deligne by MacPherson: https://simonsfoundation.org/category/features/science-lives/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

ACCAT 2013: call for participation
by Fabio Gadducci 30 Jan '13

30 Jan '13

[We apologize if you receive multiple copies of this message.] CALL FOR PARTICIPATION ========== 8th International Workshop on Applied and Computational Category Theory ACCAT 2013 http://accat2013.zib.de/ Satellite Event of ETAPS 2013, Rome, March 17 2013 ========== Scope ===== Since the 1960s, the use of category theory in computer science has been a fruitful one, including applications to different areas such as automata theory, algebraic specification, and programming languages, among others. In recent years, techniques and methods from CT have been adopted as a standard research tool, and considered as such in different venues around the world. The ACCAT workshop on "Applied and Computational Category Theory" has been one of these venues. Since its inception in 2006, ACCAT provided a forum where invited contributors presented their own research on different facets of category theory applied to computer science. Following the tradition, the program of this year edition will include eight invited talks by top researchers in the area: Samson Abramsky Robin B. Cockett Barbara Koenig Ugo Montanari Till Mossakowski Dusko Pavlovic Andrzej Tarlecki Glynn Winskel Despite ACCAT success, we believe that the current formula of the workshop should be deeply revised. Indeed, we believe that a fully fledged conference is missing where all kinds of applications of category theory to computer science can be presented (like the former CTCS conference, which somehow ended in 2006). Therefore, after the presentations, the workshop will end up with a general discussion among the invited speakers and the attendees. We hope that the outcome of the discussion could be a decision whether to push for such high-level workshop/conference on the application of category theory to computer science, or at least to verify the viability of a further meeting focusing on this issue. For more information, please contact Fabio Gadducci (gadducci(a)di.unipi.it) or Ulrike Golas (golas(a)zib.de) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

The Diagrammatic Future of Mathematics
by Ellis 30 Jan '13

30 Jan '13

There is growing evidence that calculating with diagrams of labeled dots and arrows instead of linear expressions suffices for many parts of mathematics. For example, I cite "Categories, Allegories" by Freyd-Scedrov, and "Exercices de style: A homotopy theory for set theory," (in two parts) by Gavrilovich-Hasson, and I would add that Voevodsky's Univalent Foundations project, although seemingly implemented by linear expressions in Coq, is probably susceptible to a diagrammatic translation. Newly available tablets with high-resolution handwriting and drawing input functionality implies that mathematicians -- among others -- may now collaborate in real time independently of their physical location. It seems to me this capability must be important for the future of mathematics. Furthermore, it also seems to me the time is right for developing a search engine which finds, among all freely available online mathematics and physics papers, matches or partial matches of linear expressions or of diagrams with labeled dots and arrows. These actual hardware and potential software developments could wonderfully change the history of mathematics. Do you agree? Ellis D. Cooper [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD Scholarships
by Ross Street 30 Jan '13

30 Jan '13

Macquarie University will finance two PhD candidate scholarships (MQRES) associated with the Australian Research Council Discovery Grant DP130101969 in the subject area: Mathematics - Structural homotopy theory: a category theoretic study. The Chief Investigators of the Grant are Ross Street, Dominic Verity, Stephen Lack and Richard Garner. The PhD candidates would be supervised by one or two of us. More details and how to apply can be found at the Australia-wide page <http://www.jason.edu.au/scholarship.pl?id=6280&page=1> and the Macquarie University Higher Degree Research page <http://www.hdr.mq.edu.au/information_about/scholarships/hdr_scholarships_do…>. There is a closing date of 7 March 2013 for applications. The 2013 MQRES full-time stipend rate is $24,653 pa tax exempt for 3.5 years. Applicants will need to complete a candidature/scholarship application form and arrange for two academic referee reports to be submitted to the Higher Degree Research Office. Refer to the Applications page for further application instructions. Macquarie University will advise the successful applicant of entitlements at the time of scholarship offer. Please quote the allocation reference number 2013081 & 2013082 on your application. Best wishes, Ross Street [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

7th Scottish Category Theory Seminar
by Tom Leinster 29 Jan '13

29 Jan '13

******************************************************************** *** *** 7th Scottish Category Theory Seminar *** Friday 8 February 2013, 12:30-15:15 (= NEXT FRIDAY!) *** International Centre for Mathematical Sciences, Edinburgh *** http://www.maths.ed.ac.uk/~tl/sct130208.html *** ******************************************************************** We are pleased to announce the Seventh Scottish Category Theory Seminar. Everyone is welcome. We have three invited talks: 12:30-13:15 Martin Escardo (Dept of Computer Science, Birmingham) 13:45-14:30 Danny Stevenson (School of Maths & Stats, Glasgow) 14:30-15:15 Simon Willerton (School of Maths & Stats, Sheffield) Titles and abstracts will be available soon at the web address above. As an added attraction, at 16:00 there will be a colloquium: Don Zagier, "Modular forms and black holes: from Ramanujan to Hawking". Our seminar will finish in time for participants to attend Zagier's talk, which is at Edinburgh's School of Maths. Locals will be there to guide you. If you wish to attend the meeting or would like to join us for dinner afterwards, please email Tom.Leinster(a)ed.ac.uk. Thanks to the Glasgow Mathematical Journal Trust for financial support. Best wishes, Scottish Category Theory Seminar organizers: Neil Ghani, Tom Leinster, Alex Simpson -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0