categories - Category Theory list
 help / color / mirror / Atom feed
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:  |  | 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).