Dal Alert!

Receive alerts from Dalhousie by text message.

X

2015 AARMS Summer School

This summer school is intended for graduate and senior undergraduate students, as well as young researchers.

Read More...

Techniques applied from a variety of mathematical fields

Richard Nowakowski's Graph and Games is one of many research groups in the Department of Mathematics and Statistics

Read More...

2014 Graduate Student Handbook

Our Graduate Student Handbook has been updated for the 2014/15 year with information on our programs and general Department and campus information.

Read More...

Discovering where pure and applied mathematics meet

Read more about a day in the life of professor Jeannette Janssen on the undergraduate program site

Read More...

When the best defense is a good statistician

Read more about Alumni Talia McCallum's work on the undergraduate program site

Read More...

Academic programs

math_programs

The Department of Mathematics and Statistics provides excellent undergraduate programs, as well as advanced instruction at the graduate and research levels. Find out more about our degree programs.

Colloquia & Seminars

math_research5

Learn about our latest research and overviews of the areas of Mathematics and Statistics through our colloquia & seminars.

Upcoming Events


  • @CAT
    April 21, 2015 2:30 PM

    Presented by -  Richard Wood

    Title -  The interpolation lemma for the waves of a totally distributive category

    Abstract - In a complete lattice, "Raney's anonymous relation", nowadays known as <<, is defined by k<<a iff, for all downsets S, a<=\/S implies k in S. Raney showed that if the complete lattice is completely distributive then k<<a implies, there exists m, with k<<m and m<<a. (He also remarked that <<  for the non-modular N_5 also satisfies this interpolative property, so that it does not characterize complete distibutivity.)

    In this talk I will show that every wave \omega:K~~~>A in a totally distributive category factors as   \psi \chi K~~~>M~~~>A and that the tensor \chi\ox\psi is uniquely determined. In passing from orders to categories, problems of both coherence and size occur. For example, we need to know what a composite \chi\circ\psi means to make sense of all this. The attached .pdf file for my proposed talk at CT15 provides some further context for this talk.