Early intimations of categories
2024-06-11 22:21 UTC
Ulam on Category Theory?
2024-06-10 22:37 UTC (5+ 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 (33+ 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
Sorry
2024-02-08 16:36 UTC (8+ messages)
` small global sections vs definability of 1
` **EXTERN** "
Monadicity questions
2024-02-08 10:39 UTC (5+ messages)
Manifesto for transparent mathematical modeling
2024-02-07 12:38 UTC (2+ messages)
14th Panhellenic Logic Symposium
2024-02-06 17:04 UTC
Nothing so far on Bill's notes
2024-02-05 14:24 UTC
CT2024 (Third announcement)
2024-02-02 10:00 UTC
3-Year Postdoc at Macquarie University
2024-02-02 8:30 UTC
SUBJECT: Last Call (deadline Jan 31): School of Formalized Mathematics (May 13 - 17, 2024)
2024-01-30 19:35 UTC
Robin Cockett Doctor Honoris Causa of Tallinn UT
2024-01-29 16:24 UTC (7+ messages)
Hiring at Western Sydney University
2024-01-28 21:45 UTC
categories: Special Issue of TAC in honour of Bill Lawvere
2024-01-28 16:14 UTC (2+ messages)
Isaac Newton Institute Satellite programme on the Isle of Skye
2024-01-26 17:47 UTC
New York City Category Theory Seminar Spring 2024 Lineup of speakers
2024-01-24 16:16 UTC
CiE 2024: Final call for papers
2024-01-24 9:51 UTC
Benabou
2024-01-23 10:06 UTC (5+ messages)
` Bénabou
CT2024 (Second announcement)
2024-01-22 9:56 UTC
Bill's Laval notes
2024-01-20 14:17 UTC (12+ messages)
` Saving old papers on CT
` **EXTERN** "
Lecture notes by Bill Lawvere
2024-01-17 5:42 UTC (3+ messages)
HoTT/UF 2024: Final Call for Contributions and Participation
2024-01-16 14:13 UTC
Two stories about refereeing
2024-01-16 11:30 UTC (3+ messages)
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).