Aurelio Carboni
2012-12-11 17:57 UTC
Conference announcement: "Type Theory, Homotopy Theory and Univalent Foundations"
2012-12-10 11:08 UTC
Postdocs in Edinburgh
2012-12-07 13:05 UTC
MFPS XXIX Preliminary Announcement
2012-12-05 22:13 UTC
Conference in honour of Georges Maltsiniotis
2012-12-05 10:26 UTC
Positions at UNAM
2012-12-04 23:35 UTC
CiE 2013: The Nature of Computation, Milan, Italy, July 1-5, 2013
2012-11-29 22:29 UTC
PhD opportunities in the Computer Science theory group at Birmingham
2012-11-27 18:29 UTC
Spinoza Award
2012-11-27 14:16 UTC (2+ messages)
10th Annual Conference on Theory and Applications of Models of Computation (TAMC13)
2012-11-26 23:24 UTC
Distributive lattices and coherence in homological algebra
2012-11-21 8:37 UTC
Body of mathematical concepts
2012-11-16 6:49 UTC
An important 3 months event in 2014 and two close deadlines
2012-11-15 14:19 UTC
Summer School in Louvain-la-Neuve
2012-11-13 16:00 UTC
post-doctoral positions in Warsaw
2012-11-07 18:00 UTC
ICFP 2013: Call for workshops and co-located events
2012-10-29 22:03 UTC
Montague Grammar
2012-10-26 19:53 UTC
Updated abstracts
2012-10-25 23:40 UTC
presets and monoids
2012-10-25 2:59 UTC
presets and monoids
2012-10-24 6:31 UTC
Radu Diaconescu
2012-10-24 1:44 UTC (2+ messages)
` RE : categories: "
Samuel Eilenberg Centenary Conference
2012-10-23 13:38 UTC
Octoberfest
2012-10-22 22:03 UTC
Extended Deadline for Paper Submission
2012-10-22 21:07 UTC
Revised abstracts and timetable
2012-10-22 17:35 UTC
Abstracts and tentative timetable
2012-10-22 13:09 UTC
Octoberfest info
2012-10-20 13:54 UTC
Preprint: A general Fubini theorem for the Riesz paradigm
2012-10-19 17:31 UTC
Octoberfest
2012-10-19 13:32 UTC
BOUNCE categories@mta.ca: Approval required: (fwd)
2012-10-19 11:40 UTC
workshop announcement December 6 and 7
2012-10-18 13:58 UTC
Algorithms arising from category theory
2012-10-18 13:52 UTC (10+ messages)
Octoberfest, October 2012, Montreal - student funding
2012-10-12 21:24 UTC
Special Volume in honour of Rene Guitart
2012-10-12 16:43 UTC
Meeting in honour of Rene Guitart
2012-10-10 16:11 UTC
Irving Adler, RIP
2012-10-10 7:39 UTC
IMLA 2013 - 1st call for papers
2012-10-03 2:53 UTC
Sheaves of T-algebras
2012-10-02 16:17 UTC
Alex
2012-10-02 13:38 UTC
call for participation: QPL 2012 - Brussels 10-12 October 2012
2012-09-30 21:01 UTC
call for participation: QPL 2012 - Brussels 10-12 October 2012
2012-09-30 21:01 UTC
Professorship in Algebra
2012-09-28 15:45 UTC
An internal definition in a realizability topos
2012-09-26 17:58 UTC (3+ messages)
Sheaves of T-algebras
2012-09-25 9:43 UTC (6+ messages)
Szekeres medal of the Australian Mathematical Society
2012-09-24 6:45 UTC
Jobs in Computer Science at the IT University of Copenhagen, Denmark
2012-09-19 19:24 UTC
LICS 2013 - Call for Papers
2012-09-17 9:10 UTC
Octoberfest in Montreal, Oct 27-28, 2012
2012-09-13 3:40 UTC
17th Wessex theory seminar - Call for Participation
2012-09-12 18:41 UTC
British Mathematics Colloquium 2013
2012-09-11 10:59 UTC
Open-access research "catastrophic" for Reed-Elsevier
2012-09-11 5:41 UTC
CALCO 2013: First Call for Papers
2012-09-11 0:03 UTC
Special issue of JHRS in honour of Hvedri Inassaridze's 80th birthday
2012-09-09 15:46 UTC
Special issue of JHRS in honour of Hvedri Inassaridze's 80th birthday
2012-09-09 15:46 UTC
Terminology; categorical versus categorial
2012-09-08 6:17 UTC
Terminology; categorical versus categorial
2012-09-08 2:08 UTC
Terminology; categorical versus categorial
2012-09-07 23:37 UTC (2+ messages)
Terminology; categorical versus categorial
2012-09-07 21:48 UTC (7+ messages)
` "
17th Wessex theory seminar
2012-09-06 19:49 UTC
Preprint: A direct proof that the category of 3-computads is not cartesian closed
2012-09-05 2:26 UTC (2+ messages)
Publications by Marta Bunge
2012-09-03 20:14 UTC
Fwd: [TYPES/announce] IAS program wiki
2012-08-30 19:02 UTC
question on terminology
2012-08-27 22:03 UTC (2+ messages)
Profunctors and spans of sets
2012-08-26 16:37 UTC (2+ messages)
question on terminology
2012-08-26 4:59 UTC
question on terminology
2012-08-25 13:16 UTC (2+ messages)
` "
question on terminology
2012-08-24 19:03 UTC
TR : [ALGTOP-L] William Thurston has died
2012-08-22 23:24 UTC
Yoneda Lemma when there is a monad
2012-08-22 14:29 UTC (7+ messages)
Graphs for Juncture
2012-08-22 10:10 UTC
Call for Participation : ICFEM 2012 (12-16th Nov. 2012, Kyoto)
2012-08-21 6:48 UTC
Double duals
2012-08-17 23:00 UTC
A book on Alexander Grothendieck
2012-08-17 10:15 UTC
A book on Alexander Grothendieck
2012-08-17 10:15 UTC
preprint: Homotopy Theory of Labelled Symmetric Precubical Sets
2012-08-13 16:38 UTC
2nd cfp: QPL 2012 - Brussels 10-12 October 2012
2012-08-10 13:17 UTC
Conceptual Mathematics
2012-08-08 14:59 UTC
Two postdocs at Oxford in applications of Category Theory
2012-08-08 13:15 UTC
On a lighthearted note
2012-08-08 2:19 UTC
Call for Participation: HOPE 2012
2012-08-06 18:31 UTC
Jobs at Glasgow
2012-08-06 16:37 UTC
Ludics in Brazil: Paraty 2012
2012-08-06 14:19 UTC
Link to ctcs
2012-08-03 13:06 UTC
CTCS available online
2012-08-02 18:08 UTC
CT2013
2012-08-02 1:38 UTC
Special Volume in honour of George Janelidze
2012-07-26 8:26 UTC
Lectureships (Assistant Professorships) at Queen Mary
2012-07-26 7:19 UTC (2+ messages)
` research/phd jobs
constructive mathematics
2012-07-25 7:31 UTC
Examples of symmetric monoidal bicategories
2012-07-17 17:35 UTC (4+ messages)
Two questions
2012-07-15 21:27 UTC (6+ messages)
` regular monos of groups
CALL FOR PARTICIPATION - Relational and Algebraic Methods in Computer Science (RAMiCS)
2012-07-15 5:25 UTC
OT: Wolfram Alpha question
2012-07-15 5:09 UTC
Difference and Duality
2012-07-12 10:33 UTC
Alternative closed structure on Cat
2012-07-07 5:13 UTC (8+ messages)
` "
discrete vector fields (R. Forman) and markings on cell complexes (D.W. Jones)
2012-07-06 6:52 UTC
discrete vector fields (R. Forman) and markings on cell complexes (D.W. Jones)
2012-07-06 6:52 UTC
15th Wessex theory seminar on 19 July in Birmingham
2012-07-05 11:24 UTC
ICFP 2012: Call for participation
2012-07-02 11:45 UTC
Computing with lambda-terms: a Festschrift dedicated to Corrado Bohm
2012-06-29 13:46 UTC
internal functional relations versus arrows
2012-06-28 19:59 UTC
a note by Misha Gromov on category theory
2012-06-28 13:10 UTC
Coproducts of monads
2012-06-27 7:43 UTC
advertising a postdoc at CS in Oxford
2012-06-26 19:26 UTC
The method of mathematics
2012-06-26 9:10 UTC (2+ messages)
have you seen this structure before?
2012-06-25 21:50 UTC
The method of mathematics
2012-06-25 19:06 UTC
A book on Homological Algebra
2012-06-25 7:29 UTC
ICFP Student Research Competition
2012-06-25 7:11 UTC
Two questions
2012-06-25 3:00 UTC
Two_questions
2012-06-25 1:34 UTC
Two_questions
2012-06-24 16:37 UTC
Two questions
2012-06-23 15:40 UTC (2+ messages)
` Two_questions
Appreciations for the family of J.-L. Loday
2012-06-22 16:24 UTC
Explnation (or lack of) for Mamuka Jibladze's disappearance
2012-06-21 11:58 UTC
Brian
2012-06-21 11:17 UTC
Post-doctoral position at University of Cambridge
2012-06-20 9:57 UTC
Mamuka Jibladze has returned home
2012-06-19 8:10 UTC
Maia Miminoshvili Talked to Mamuka Jibladze Fifteen Minutes before His Disappearance
2012-06-18 15:09 UTC
LICS 2012 - Last Call for Participation
2012-06-17 20:43 UTC
Working link about Mamuka Jibladze
2012-06-16 15:24 UTC
Brian Day
2012-06-16 2:53 UTC
Mamuka Jibladze
2012-06-15 19:56 UTC
History of f o g
2012-06-15 15:52 UTC
Bourbaki & category theory
2012-06-14 15:57 UTC (2+ messages)
Pierre Damphousse
2012-06-11 18:17 UTC
FMCS 2012, June 14-17, program and abstracts
2012-06-08 15:32 UTC
12-months post-doc position
2012-06-08 15:27 UTC
J.L. Loday
2012-06-08 14:35 UTC
Octoberfest 2012 (0th announcement)
2012-06-07 13:16 UTC
Lectureship within the MSP group, Strathclyde
2012-06-07 10:34 UTC
R.i.P., F. Hirzebruch
2012-06-01 23:43 UTC
Participation, registration, and programme: 4WFTop and HDACT, June 15-20 2012, Ljubljana
2012-05-31 7:43 UTC
Participation, registration, and programme: 4WFTop and HDACT, June 15-20 2012, Ljubljana
2012-05-31 7:43 UTC
The Idea of Structure as Data and Conditions
2012-05-30 6:26 UTC (8+ messages)
The Idea of Structure as Data and Conditions
2012-05-29 13:28 UTC (2+ messages)
Mac Lane's Idea of Structure versus Weil's
2012-05-27 22:15 UTC (2+ messages)
Bourbaki & category theory
2012-05-27 19:44 UTC (7+ messages)
` Bourbaki, Ehresmann & species of structures
` Bourbaki and category theory again
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).