categories - Category Theory list
 help / color / mirror / Atom feed
Grothendieck
 2024-09-05 23:49 UTC 

Grothendieck in the Guardian
 2024-09-05 22:13 UTC  (26+ messages)

Was Grothendieck betrayed?
 2024-09-04 19:06 UTC 

Was Grothendieck betrayed?
 2024-09-04  3:55 UTC  (3+ messages)

Two post-doc positions at Topos Research UK
 2024-08-31 23:02 UTC 

Grothendieck story in the Guardian
 2024-08-31 14:31 UTC 

CATNIP, Edinburgh, 1 October
 2024-08-30 21:24 UTC 

2 year postdoc in Tallinn - application deadline 15 September
 2024-08-27 14:38 UTC 

ICLA 2025: Final Call for Papers
 2024-08-26 15:51 UTC 

PSSL?
 2024-08-22 18:55 UTC 

Octoberfest 2024 First Announcement
 2024-08-17 14:58 UTC 

British Logic Colloquium 2024 -- Final call for participation
 2024-08-15 15:57 UTC 

"Toposes in Mondovì" - second announcement
 2024-07-25  2:00 UTC 

Postdoc positions at UCL on Categorical Probability Theory
 2024-07-24 14:09 UTC 

ICLA 2025: Second Call for Papers
 2024-07-24  7:00 UTC 

3-Year Postdoc in Structures and Homotopy in Optimisation
 2024-07-23 12:02 UTC 

First announcement: Workshop Categorical Logic and Higher Categories
 2024-07-16 11:21 UTC 

Online resources/Introducing Category Theory
 2024-07-13 13:32 UTC 

SAT 2024: Early bird registration deadline extended to July 26 AoE
 2024-07-13  9:22 UTC 

*** Category Theory and Categorical Algebra - Milan 2024 *** Third Announcement ***
 2024-07-10  5:24 UTC 

Publication of Volume LXV-3 of the Cahiers
 2024-07-08 16:59 UTC 

SAT 2024: Early bird registration ends in 10 days
 2024-07-05  9:13 UTC 

ICLA 2025: First Call for Papers
 2024-07-02  7:08 UTC 

Free online participation in MSFP, 8th July 2024
 2024-07-01 17:04 UTC 

Third announcement of ECCL 24 - a celebration of Pino Rosolini's 70th birthday
 2024-06-28 16:15 UTC 

Second CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
 2024-06-28 13:15 UTC 

Postdoc in Birmingham
 2024-06-28  3:23 UTC 

British Logic Colloquium 2024 -- Call for abstracts
 2024-06-24 22:21 UTC 

SAT 2024: First Call for Participation
 2024-06-21  9:08 UTC 

Lawvere's 1989 preprint on "Intrinsic boundary"
 2024-06-17 17:24 UTC  (2+ messages)
` adequate and coadequate subcategories

Postdoc position in Higher Category Theory
 2024-06-17  9:06 UTC 

Notion of colimit irreducibility
 2024-06-13  7:57 UTC  (4+ messages)

Early intimations of categories
 2024-06-12 20:39 UTC  (4+ messages)

Ulam on Category Theory?
 2024-06-12 13:50 UTC  (6+ messages)

Special Volume of MSCS In Honor Of Phil Scott
 2024-06-10 20:59 UTC 

BRITISH LOGIC COLLOQUIUM 2024 -- Call for abstracts
 2024-06-07 16:12 UTC 

TAC issue celebrating Marta Bunge's work completed
 2024-06-07  3:42 UTC 

Alonzo Church Award
 2024-06-05 21:38 UTC 

Special Volume of MSCS in honor of Marek Zawadowski
 2024-06-04 12:01 UTC 

Need Makkai & Pare pp 117-118
 2024-05-29  0:31 UTC  (2+ messages)

ItaCa Fest, June 5th
 2024-05-28 15:49 UTC 

*** Category Theory and Categorical Algebra - Milan 2024 *** Second Announcement ***
 2024-05-27 13:04 UTC 

"Toposes in Mondovì" - first announcement
 2024-05-27  1:25 UTC 

Category Theory / Machine Learning / Software Engineering research posts at Symbolica
 2024-05-25 12:26 UTC 

ACT and MFPS 2024 Call for Participation
 2024-05-24  8:43 UTC 

YaMCATS 35, University of Manchester, 20 June 2024
 2024-05-20  8:32 UTC 

TLLA 2024 -- Call for Papers
 2024-05-14  9:22 UTC  (2+ messages)
` TLLA 2024 -- Deadline Extension

MSFP 2024 deadline extension: Tuesday 28th May
 2024-05-12 13:12 UTC 

Logic/Semantics/PL/Verification posts at the University of Southampton
 2024-05-10 10:27 UTC 

Deadline for registration - 15th of May
 2024-05-09 17:35 UTC 

Em-Cats 2024 — talk preparation assistance for students speaking at CT2024
 2024-05-07 13:11 UTC 

ItaCa Fest 24, 7th of May
 2024-05-02 21:01 UTC 

School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024
 2024-04-22 15:06 UTC 

Category Theory and Categorical Algebra *** 60th birthday of Enrico Vitale
 2024-04-21 13:00 UTC 

Registration open for ECCL 24 - a celebration of Pino Rosolini's 70th birthday
 2024-04-16 16:49 UTC 

CATNIP meeting updated programme
 2024-04-16 12:42 UTC 

CATNIP meeting 3 May 2024 University of Aberdeen
 2024-04-10 10:18 UTC 

Publication of the Cahiers LXV-2
 2024-04-08 10:06 UTC 

ItaCa Fest 24, 10th of April
 2024-04-06 12:35 UTC 

FMCS 2024
 2024-04-06  1:34 UTC 

Structure meets Power workshop 2024
 2024-04-03 15:07 UTC 

SYCO 12, Second Call for Participation
 2024-04-02 10:48 UTC 

YaMCATS 34 - 16th April 2024 - University of Sheffield
 2024-03-29 10:32 UTC 

MFPS 2024: Extended deadline
 2024-03-28 21:57 UTC 

Chair of Junior Professor in Computer science and Mathematics at Aix-Marseille University
 2024-03-26 15:26 UTC 

SYCO 12, Call For Participation
 2024-03-25 14:00 UTC 

Marek Zawadowski
 2024-03-23 12:10 UTC 

T-algebras in CAT v. categories in T-alg
 2024-03-23  8:58 UTC  (6+ messages)

T-algebras in CAT v. categories in T-alg
 2024-03-22 10:39 UTC  (3+ messages)

Second CfP and deadline extension: 14th Panhellenic Logic Symposium
 2024-03-21 11:36 UTC 

ItaCa Fest 2024
 2024-03-21 10:40 UTC 

4 fully funded PhD positions in Tallinn
 2024-03-20 14:03 UTC 

Postdoc positions in Reykjavik
 2024-03-16 14:52 UTC 

PhD positions in Tallinn (Logic and Semantics)
 2024-03-15 10:24 UTC 

Springer Lecture Notes --free
 2024-03-14 20:13 UTC  (2+ messages)

Postdoc position at the University of Strathclyde
 2024-03-14 16:08 UTC 

Applied Category Theory 2024 Call for Papers
 2024-03-14 13:34 UTC 

Part-time (0.3) senior researcher position in program logics in Tallinn
 2024-03-13 11:59 UTC 

Important dates
 2024-03-13  8:46 UTC 

Marek Zawadowski
 2024-03-08 19:17 UTC  (11+ messages)

SYCO 12 - Third call for papers
 2024-03-08 18:57 UTC 

Postdoc in Tallinn - deadline 28 March
 2024-03-08 11:16 UTC 

Marek
 2024-03-07  8:08 UTC  (2+ messages)

Midlands Graduate School (MGS): Registration closing soon
 2024-03-04  9:45 UTC 

Historical notes in Freyd's Abelian Categories
 2024-03-03 16:26 UTC  (8+ messages)

MFPS 2024: final CFP
 2024-02-29 20:00 UTC 

Logic Colloquium 2024, Gothenburg, 24-28 June 2024
 2024-02-28 12:58 UTC 

SYCO 12, Second Call For Papers
 2024-02-26 17:20 UTC 

Fibrewise opposite fibration
 2024-02-26  7:31 UTC  (20+ messages)
  ` Fibrewise opposite fibration + computers

"First" use of 'Category theory' to describe our field
 2024-02-23 22:15 UTC  (6+ messages)
    ` Fwd: categories: "
      `  "

MGS 2024 (Midlands Graduate School)
 2024-02-23 22:08 UTC 

Strong monoidal functors and Day convolution
 2024-02-21 21:56 UTC 

Call for Participation and Registration: HoTT/UF 2024
 2024-02-21 14:47 UTC 

On the etymology of the word "functor"
 2024-02-21 12:02 UTC  (13+ messages)

Workshop website link
 2024-02-13 19:30 UTC 

PhD position at the University of Strathclyde
 2024-02-13 17:32 UTC 

Workshop on Category Theory and Computer Security in Tallinn
 2024-02-13 13:07 UTC 

SYCO 12 - Call for papers
 2024-02-12  9:01 UTC 

Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers
 2024-02-11 16:59 UTC 

CGASA Vol 20 (dedicated to Professor Themba Dube)
 2024-02-10  9:04 UTC 

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).