categories@mta.ca

6

replies

non-unital monads

started 2014-10-18 23:02:24 UTC

2014-10-21 04:22:48 UTC

Richard Garner

0

replies

CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)

started 2014-10-21 00:19:13 UTC

2014-10-21 00:19:13 UTC

Michael Winter

0

replies

Journal pricing

started 2014-10-19 16:40:33 UTC

2014-10-19 16:40:33 UTC

Michael Barr

0

replies

TLCA: 1st CALL for PAPERS

started 2014-10-16 11:06:11 UTC

2014-10-16 11:06:11 UTC

Luca

0

replies

PSSL97 - First announcement

started 2014-10-14 17:18:32 UTC

2014-10-14 17:18:32 UTC

Tim Van der Linden

0

replies

Announcement: Topology, Algebra, and Categories in Logic (TACL2015)

started 2014-10-12 15:18:17 UTC

2014-10-12 15:18:17 UTC

TACL Organisin Committe

1

reply

[PT] LICS 2015 - First Call for Papers

started 2014-10-11 16:02:44 UTC

2014-10-11 16:02:44 UTC

Andrzej Murawski

0

replies

Coherence for tricategories

started 2014-10-10 22:55:44 UTC

2014-10-10 22:55:44 UTC

Jamie Vicary

0

replies

Mathematics of Program Construction (MPC 2015): first call for papers

started 2014-10-10 18:57:56 UTC

2014-10-10 18:57:56 UTC

José Pedro Magalhães

1

reply

a note on sources of my text of fibered categories

started 2014-10-02 12:37:29 UTC

2014-10-04 02:27:00 UTC

Ronnie Brown

3

replies

Reference search: new categories by replacing morphisms with diagrams

started 2014-09-24 03:56:20 UTC

2014-09-27 02:14:04 UTC

Robin Cockett

2

replies

Soundness of commutative diagram proofs

started 2014-09-25 22:31:18 UTC

2014-09-26 06:29:22 UTC

Adam Gal

6

replies

Dietmar Schumacher

started 2014-09-22 00:16:40 UTC

2014-09-25 23:00:29 UTC

wlawvere

0

replies

5Yr Fellowships

started 2014-09-25 20:15:35 UTC

2014-09-25 20:15:35 UTC

Neil Ghani

0

replies

tenure(track) position in Nijmegen, The Netherlands

started 2014-09-24 15:59:53 UTC

2014-09-24 15:59:53 UTC

Ieke Moerdijk

0

replies

K-Theory Foundation

started 2014-09-24 01:39:17 UTC

2014-09-24 01:39:17 UTC

Scott Morrison

0

replies

SERA 2015 - CFP

started 2014-09-23 01:34:41 UTC

2014-09-23 01:34:41 UTC

Slim Kallel

0

replies

CSR 2015: First Call for Papers

started 2014-09-18 15:59:30 UTC

2014-09-18 15:59:30 UTC

Edward A\. Hirsch

0

replies

papers on colimits of monads available

started 2014-09-17 17:59:10 UTC

2014-09-17 17:59:10 UTC

Jiri Adamek

2

replies

looking for a reference...

started 2014-09-14 05:28:10 UTC

2014-09-15 00:10:24 UTC

Fred E.J. Linton

0

replies

ATVA 2014: Call for Participation

started 2014-09-11 02:42:00 UTC

2014-09-11 02:42:00 UTC

Franck

0

replies

CT2015

started 2014-09-10 13:40:06 UTC

2014-09-10 13:40:06 UTC

Dirk Hofmann

0

replies

INFORMATIK 2014

started 2014-09-08 15:54:00 UTC

2014-09-08 15:54:00 UTC

Uwe Reyle

9

replies

Is the category of group actions LCCC?

started 2014-09-01 14:12:36 UTC

2014-09-05 23:33:37 UTC

Claudio Hermida

0

replies

Refining the function of the Categories List

started 2014-09-05 05:41:49 UTC

2014-09-05 05:41:49 UTC

Bob Rosebrugh

1

reply

Functional programming and William Lawvere's notion of "variable sets"(vs topos of "static sets") in a Topos ...

started 2014-08-04 12:03:43 UTC

2014-09-04 17:07:12 UTC

Harley Eades III

8

replies

Uniform locales in Shv(X)

started 2014-08-21 04:25:51 UTC

2014-08-29 20:29:26 UTC

Giovanni Curi

0

replies

celebration of Jim Lambek

started 2014-08-29 02:43:36 UTC

2014-08-29 02:43:36 UTC

Michael Lambek

0

replies

Grigori (Grisha) Mints

started 2014-08-26 00:24:43 UTC

2014-08-26 00:24:43 UTC

Valeria de Paiva

0

replies

V-Cat, V-Prof as symmetric monoidal bicategories

started 2014-08-22 10:42:25 UTC

2014-08-22 10:42:25 UTC

Jamie Vicary