From Tom Leinster at the n-café: http://www.guardian.co.uk/science/2012/apr/09/wellcome-trust-academic-spring http://www.guardian.co.uk/science/2012/apr/09/frustrated-blogpost-boycott-scientific-journals [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
We have been thinking of having an Oktoberfest. Thanksgiving/Columbus Day is Oct. 8, which has not been the most successful time to have it. So either Oct. 13-14 or 20-21 would be good. Please email me if you are interested in it and tell me which weekend you prefer. Michael -- -- An ostrich is more intelligent than the average congressman. The ostrich does not bury its head in the sand. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
I have received two irreducible conflicts for Oct. 20-21 and one for the
earlier date (from Robert Dawson) which I copy here:
I, along with a number of other Atlantic Canadians, will be in
Sackville, NB on the 12-13-14 for the
Science Atlantic (was APICS) math/stats meeting. Thus, the weekend after
would be a better choice for us.
I have to ask how many Atlantic Canadians this will impact? Also how
about Oct. 27-28 or Sept. 29-30? How many feel Thanksgiving weekend
creates a problem?
Michael
--
--
An ostrich is more intelligent than the average congressman. The
ostrich does not bury its head in the sand.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
It appears that the date with the least number of conflicts is the last weekend in October. So be it. Don't blame me if the weather has turned nasty by then. I should have mentioned that it will be at Concordia like the one a few years ago (thanks, Bob). McGill has gone out of its way to discourage (and charge an exhorbitant fee for) this kind of meeting (thanks, Heather--it's what happens when you get an administrator as principal). Michael -- -- An ostrich is more intelligent than the average congressman. The ostrich does not bury its head in the sand. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
I've placed a bet with a colleague that the following result appears in the literature. Please help me win. Claim: Suppose (E,M) is an orthogonal factorization system (unique lifts) on a symmetric monoidal category and X is a fixed monoid. If tensoring with X preserves maps in the class E, then (E,M) lifts to an orthogonal factorizaiton system on the category of X-modules. Regards, Emily Riehl [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
Dear Emily, You are in luck. Your result is an instance of the following: PROP If C is a category bearing the orthogonal factorisation system (E,M), and T is a monad on C whose underlying functor preserves E-maps, then C^T bears the orthogonal factorisation system (U^-1(E), U^-1(M)). A full proof of which is given as Proposition 20.28 in: Abstract and concrete categories: The joy of cats (Wiley, 1990) Jiri Adamek, Horst Herrlich and George Strecker Maybe there is an older reference than this but I am not aware of such. Richard On 14 April 2012 08:09, Emily Riehl <eriehl <at> math.harvard.edu> wrote: > I've placed a bet with a colleague that the following result appears in > the literature. Please help me win. > > Claim: Suppose (E,M) is an orthogonal factorization system (unique lifts) > on a symmetric monoidal category and X is a fixed monoid. If tensoring > with X preserves maps in the class E, then (E,M) lifts to an orthogonal > factorizaiton system on the category of X-modules. > > Regards, > Emily Riehl >(Continue reading)
Hello, I would like to advertise the following positions at the University of Bath. In particular we are looking for applicants in the area `Software verification and correctness´. Ciao, -Alessio Software verification and correctness We aim to build on the existing strengths within the Mathematical Foundations group in the Department of Computer Science. The group comprises Prof Guy McCusker and Dr Jim Laird (semantics), Dr Alessio Guglielmi (proof theory), Dr John Power (category theory) and Prof James Davenport (computer algebra). We seek to strengthen its activities via the appointment of a Prize Fellow in software verification & correctness, to be understood broadly, to complement existing expertise; it would also be desirable to strengthen connections with other groups in the department, particularly with Dr Marina De Vos and Dr Julian Padget in the Intelligent Systems group. The Fellow would be coming into a well-resourced, lively group that(Continue reading)
Dear all, The Australian Category Seminar has moved and updated its webpages. Records of goings-on recent and past may now be found at: http://web.science.mq.edu.au/groups/coact/seminar/ Richard [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
[Apologies for multiple posting] The French ANR project LOGOI is inviting applications for a postdoctoral position within the team Logique de la Programmation (LDP) of the Institut de MathÈmatiques de Luminy (IML) in Marseille, France. Context ------- The LOGOI project pursues the programme of Geometry of Interaction (GoI), which aims at a reconstruction of logic from interaction as the primitive notion, considered as an abstract counterpart of cut elimination. This programme has started together with linear logic and has evolved since its early days, from the limited case of multiplicatives to recent developments involving the theory of operator algebras and providing a strikingly new perspective on implicit complexity via light logics. The goals of the LOGOI project are on one side to better understand and refine the current theory of GoI, and on the other side to draw on the novel tools and concepts provided by this framework, in order to propose a new structured approach to proof theory and its connections with other areas of computer science. Post Doctoral Position ---------------------- This is a full-time research position for one year, with a possible one-year extension. It is expected to start at the beginning of fall 2012 (between 1 Sep. and 1 Nov.). Research will take place at the IML in Marseille.(Continue reading)
=============================================================== Workshop on Category Theory In honour of George Janelidze, on the occasion of his 60th birthday =============================================================== Universidade de Coimbra, Portugal July 9-13, 2012 Deadlines: Registration: April 30, 2012 Abstract submission: May 31, 2012 ------------------------------------------------------------------- For updated information on registration, abstract submission, accommodation and travel information please consult the conference webpage at www.mat.uc.pt/~workCT The Organizers: Maria Manuel Clementino Marino Gran Jorge Picado Manuela Sobral Lurdes Sousa [For admin and other information see: http://www.mta.ca/~cat-dist/ ](Continue reading)
RSS Feed43 | |
|---|---|
41 | |
17 | |
21 | |
28 | |
41 | |
10 | |
33 | |
34 | |
29 | |
22 | |
36 | |
47 | |
13 | |
19 | |
29 | |
52 | |
39 | |
63 | |
86 | |
86 | |
40 | |
80 | |
29 | |
39 | |
57 | |
37 | |
47 | |
67 | |
38 | |
46 | |
77 | |
177 | |
67 | |
67 | |
52 | |
168 | |
36 | |
68 | |
47 | |
94 | |
147 | |
94 | |
27 | |
62 | |
43 | |
40 | |
123 | |
97 | |
71 | |
94 | |
84 | |
65 | |
83 | |
20 | |
29 | |
111 | |
67 | |
31 | |
13 | |
41 | |
25 | |
114 | |
56 | |
39 | |
31 | |
57 | |
104 | |
66 | |
27 | |
42 | |
30 | |
33 | |
27 | |
66 | |
37 | |
47 | |
60 | |
10 | |
48 | |
28 | |
41 | |
22 | |
11 | |
56 | |
74 | |
151 | |
36 | |
44 | |
49 | |
69 | |
30 | |
33 | |
18 | |
34 | |
21 | |
34 | |
54 | |
43 | |
41 | |
22 | |
12 | |
13 | |
40 | |
18 | |
23 | |
35 | |
61 | |
44 | |
32 | |
21 | |
64 | |
68 | |
40 | |
2 | |
40 | |
58 | |
30 | |
25 | |
58 | |
48 | |
44 | |
49 | |
34 | |
29 | |
25 | |
30 | |
25 | |
35 | |
23 | |
42 | |
35 | |
81 | |
22 | |
33 | |
26 | |
25 | |
18 | |
36 | |
21 | |
19 | |
17 | |
40 | |
35 | |
39 | |
26 | |
47 | |
38 | |
20 | |
8 | |
71 | |
24 | |
32 | |
25 | |
28 | |
30 | |
55 | |
33 | |
37 | |
19 | |
15 | |
25 | |
37 | |
20 | |
19 | |
21 | |
31 | |
26 | |
22 |
