Robert Dawson | 21 Jun 20:46 2016
Picon

Attn Cambridge People At CT16

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 <at> 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/ ]

Robert Dawson | 21 Jun 20:46 2016
Picon

Attn Cambridge People At CT16

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 <at> cs.stmarys.ca) for details.

Cheers,
Robert

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

l.stramaccia | 19 Jun 12:24 2016
Picon

Sibe Mardesic

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/ ]

Dorette Pronk | 16 Jun 15:12 2016
Picon
Picon

mini residence housing during CT2016 - three spaces left

This is a follow-up to my message from a couple of weeks ago.
There is space for three more people in these rooms in "mini rez", priced at $20 plus taxes.
They are in renovated Victorian houses and the house is only shared with CT-participants.
We are need to pay for a whole house rather than individual rooms, so we would like to
fill every room. Please contact me as soon as possible if you are interested.
You cannot sign up for these through our regular summer housing program.

Dorette Pronk
Dorette.Pronk <at> Dal.Ca

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Björn Gohla | 15 Jun 19:49 2016
Picon
Picon

looking for a paper

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/ ]

Martin Escardo | 10 Jun 23:57 2016
Picon
Picon
Gravatar

Injectives in toposes

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/ ]

RONALD BROWN | 6 Jun 22:45 2016
Gravatar

Ronald Brown's web site

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/ ]

Giuseppe Rosolini | 1 Jun 14:46 2016
Picon

Researcher position in Genoa


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/ ]

Martha Lewis | 31 May 10:50 2016
Picon
Picon

Final CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science

With apologies for cross-posting

FINAL CALL FOR PARTICIPATION 
============================
Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science 
Co-located with QPL-2016 

Date: 11th June 2016, 09:30-18:00 
Place: University of Strathclyde, Glasgow, Scotland 
McCance Building, Room 319 

The programme is now finalised and available online!
Website: https://sites.google.com/site/semspworkshop
<https://sites.google.com/site/semspworkshop> 
General enquiries: slpcs2016 <at> easychair.org <mailto:slpcs2016 <at> easychair.org> 

INVITED SPEAKERS 
---------------- 
* Hans Briegel, University of Innsbruck - Projective Simulation for Learning and Agency 
* Peter Gärdenfors, University of Lund - The Role of Domains in the Representation of Word Meaning
* Dominic Widdows, Microsoft - Semantics Spaces: Successes and Goals

SHORT DESCRIPTION 
----------------- 
Exploiting the common ground provided by the concept of a vector 
space, the workshop aims to bring together researchers working 
at the intersection of NLP, cognitive science, and physics, 
offering to them an appropriate forum for presenting their uniquely 
motivated work and ideas. The interplay between these three 
disciplines will foster theoretically motivated approaches to 
(Continue reading)

Dorette Pronk | 31 May 00:37 2016
Picon
Picon

cheap dorm rooms at Dalhousie during CT2016, but reply right away

An additional Housing Announcement in regard to CT2016

Due to the fact that we are holding the AARMS Summer School at Dalhousie before CT2016, we have access to 
a limited number of dorm rooms at a lower price than what is advertized on the website: only $20 per night.
This rooms are in separate renovated houses and will only be shared with CT-participants.
However, I only have about 6-10 of these, and I need to make the commitment  to book these tomorrow.
So if you are interested in getting one of those, please contact me right away, and I will accommodate the
first takers until the house is full.

Dorette Pronk
Dorette.Pronk <at> Dal.Ca

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

John Stell | 30 May 18:30 2016
Picon

PhD Scholarship: Logic for Multiscale Network Modelling

Applications are invited for a PhD Scholarship
at The University of Leeds, School of Computing
on Logic for Multiscale Network Modelling.

Students from UK, European Union, and Internationally
are all eligible.
Deadline for applications: 17th June 2016

Overall up to six PhD Scholarships will be awarded
for projects from the list of topics at

http://engineering.leeds.ac.uk/research-opportunity/201323/research-degrees
/614/funded-studentships-in-the-school-of-computing-

The Logic for Multiscale Network Modelling project would be supervised
by Dr John Stell (j.g.stell <at> leeds.ac.uk)

Computing with data in the form of networks is important for many
purposes. Examples include: social networks modelling relationships
between people; road networks for navigation; biological networks
describing processes of interaction; networks of connections between
concepts in ontologies for knowledge representation in artificial
intelligence. In these and other areas networks are needed at multiple
scales. Multiscale networks can arise from the need to model different
processes at different levels of detail as well as from the need to 'zoom
out' from large volumes of data to visualise overall patterns.

This PhD project will develop mathematical foundations for modelling
multiscale networks to provide logical tools for reasoning about knowledge
at diverse scales. The project builds on recent research which has
(Continue reading)


Gmane