June 2016 - Categories - categories.org.au

Attn Cambridge People At CT16
by Robert Dawson 22 Jun '16

22 Jun '16

If you're a Cambridge faculty member, student, or alumn[us/a] who will be attending CT16, you are invited to join the Halifax Cambridge Society at its annual barbeque, on the evening of Saturday, August 13 (right after the end of the conference.) RSVP to Robert Dawson (rdawson(a)cs.stmarys.ca) for details. Cheers, Robert [For admin and other information see: http://www.mta.ca/~cat-dist/ ] [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 1

Sibe Mardesic
by l.stramaccia 20 Jun '16

20 Jun '16

Dear colleagues., it is with great sorrow that I inform you that Sibe Mardesic passed two days ago in Zagreb, at the age of 90. Although Sibe was not a categorist but a general and algebraic topologist, I am sure that most of you knew his name and possibly his work dedicated from the early 80’s to Shape and Strong Shape Theory. Anyway he was deeply aware of categorical methods as testified by the large amount of his papers, the book <Shape theory, North Holland(1982)> with Jack Segal, finishing with the monumental <Strong shape and homology, Springer (2000)>. He was the first to categorize Borsuk’s Shape theory adopting the “inverse system” approach. Less than one month ago he told me the he was hardly working on a problem concerning products in the strong shape category of topological spaces. For all who had the pleasure and the honor tho know him and to work with him, Sibe leaves a great legacy of mathematical passion and rigour together with a special humanity. He his deeply missed by all his friends and colleagues all over the world. Ciao Sibe, wherever you are now. Luciano Stramaccia [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

looking for a paper
by Björn Gohla 18 Jun '16

18 Jun '16

dear colleagues, i am looking for a paper that i remember reading some years ago, but now seem unable to find. it contained a detailed discussion of general quotients of categories, i.e., where objects can get identified. i'd be grateful for any hints anyone can offer. -- thanks, björn [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

4 4

Two postdoc positions at Department of Computer Science, University of
by Luke Ong 13 Jun '16

13 Jun '16

Oxford To: categories(a)mta.ca Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Sender: categories(a)mta.ca Precedence: bulk Reply-To: Luke Ong <lo(a)cs.ox.ac.uk> *Department of Computer Science, University of Oxford* *Postdoctoral Researcher in Algorithmics and Semantics of Higher-order Computation (2 posts)* Applications are invited for two full-time postdoctoral researcher positions. The appointees will join a research team investigating topics in the algorithmics and semantics of higher-order computation, funded by the Engineering and Physical Sciences Research Council (UK), under the direction of Professor Luke Ong, University of Oxford. The positions are on Grade 7 (=C2=A330,738 - =C2=A337,768 p.a.) for one year, with the possibili= ty of extension, to start on 1 October 2016 (later start dates are possible). *Research objectives* A main objective of the research is to develop a compositional approach to the algorithmic analysis (including model checking) of higher-order programs, using semantic methods such as types and games and other strategy-aware models. Another objective is to construct models of higher-order probabilistic computation as a semantic basis for probabilistic programming. The exact scope of the research will depend on the skills of the successful candidates. *Qualification requirements* Applicants should have a PhD (or be near completion) in Computer Science or Mathematics with a strong background in one or more of the following: semantics of computation, programming languages, verification and model checking, probability and measure theory, and machine learning. Experience of actively collaborating in the development of research articles for publication is highly desirable. *Application details* The closing date for applications is 12 noon on *30 June 2016*. Interviews are expected to be held on *19 July 2016*. For further details, and to apply please visit: https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobs= pec?p_id=3D123791 Interested applicants are strongly encouraged to contact Luke Ong directly: lo(a)cs.ox.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Injectives in toposes
by Martin Escardo 11 Jun '16

11 Jun '16

It is known that the injective objects in a topos are the retracts of (exponential) powers of Omega. (And this is not difficult to see.) What more is known in a positive direction, and, in particular, are there "sharper" characterizations of the injectives? Thanks, Martin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Ronald Brown's web site
by RONALD BROWN 07 Jun '16

07 Jun '16

My revised web site www.groupoids.org.uk was released a little prematurely due the old one threatened with removal by Bangor University and there was a lot that did not work. I hope people will find it much better now, thought there are still details being improved. I have also been able to incorporate the old www.pop,maths.org.uk web site which is now available as www.groupoids.org.uk/popmath/cpm/centre/index.html In this process I have also been able restore lots of quicktime sculpture animations which were not working due to changes in browser compatabilities: the movies had all to be converted to .mp4. I've also added one which was only available on a CDRom: http://www.groupoids.org.uk/popmath/cpm/sculpture/pages/destiny.html It expresses John Robinson's understanding of modern scientific discoveries. Nowadays many browsers can take it nicely (chrome,opera) though firefox claimed it needed a plugin. Please let me know of any problems. Actually I have one problem. The final supposed unknot on the first diagram on http://www.groupoids.org.uk/popmath/cpm/exhib/pagesexhib/knotsame.html has got one crossing wrong and is not an unknot! If anyone would be prepared to edit the file I'd be grateful! Ronnie Brown [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Website updated with new papers
by Christopher Townsend 04 Jun '16

04 Jun '16

All - I have updated my website (www.christophertownsend.org - go to 'publications') with some recent papers: 1. A paper that provides a categorical condition for when a monad is a double exponential monad, 2. A paper that shows that double exponentiability is stable under the formation of categories of G-objects, 3. A paper that shows that principal bundles can be represented using stably Frobenius adjunctions. If any one has any comments, thoughts or questions I'd be happy to hear them. Christopher [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Researcher position in Genoa
by Giuseppe Rosolini 01 Jun '16

01 Jun '16

The Italian Ministery has just posted an announcement for a public selection for a university researcher fixed-term full-time position in Mathematical Logic (which includes Category Theory, as prescribed by the Italian law.-) Deadline for submission is 30 June 2016. I'll be happy to provide further information about the position and the formalities to anyone interested. --Pino Rosolini [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0