categories - Category Theory list
 help / color / mirror / Atom feed
Announcement: Homotopy Theory and Category Theory in Interaction
 2023-12-06 17:38 UTC 

Fully funded PhD studentship in categorical semantics
 2023-12-06  8:26 UTC 

AMS MRC 2024 on Homotopical Combinatorics (June 30 - July 6, 2024)
 2023-12-05 18:15 UTC 

postdoc and ongoing teaching positions at Western University
 2023-12-04 15:27 UTC 

The Adjoint School 2024 announcement
 2023-12-02 14:12 UTC 

YaMCATS 33 announcement
 2023-11-30  8:50 UTC 

CiE 2024: Call for papers
 2023-11-27 14:39 UTC 

CATNIP meeting 4 Dec 2023 University of Strathclyde
 2023-11-23 22:32 UTC 

Topology, Representation Theory and Higher Structures
 2023-11-23 13:09 UTC 

HoTT/UF 2024: First Call for Contributions and Participation
 2023-11-22 17:06 UTC 

ItaCa Fest, November 23
 2023-11-21 12:07 UTC 

Postdoc opening in categorical semantics
 2023-11-17 17:25 UTC 

Lectureships available at Sussex University
 2023-11-15 12:29 UTC 

The game of the name: Standard constructions, triples, monads, fundamental constructions
 2023-11-15  3:09 UTC  (23+ messages)

17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): First Call for Papers
 2023-11-14 16:43 UTC 

Archiving Catlist
 2023-11-10  8:41 UTC 

Triples vs Monads
 2023-11-09 17:36 UTC 

ICALP-LICS-FSCD joint call for workshops
 2023-11-08 21:14 UTC 

Octoberfest 2023
 2023-11-07 14:58 UTC 

PhD opportunities at the University of Birmingham
 2023-11-07 10:51 UTC 

Thanks for this
 2023-11-07  7:52 UTC  (5+ messages)

Bob Rosebrugh & TAC
 2023-11-03 14:50 UTC 

Defining composition via colimit
 2023-11-03 10:29 UTC 

Signing off
 2023-11-02 23:23 UTC  (22+ messages)
  ` [EXT] "
` Defining composition via colimit

Six Fully-funded PhD Positions in Theoretical Computer Science at University of Sheffield
 2023-11-01 17:19 UTC 

Postdoc in categorical semantics at Cambridge
 2023-11-01 10:34 UTC 

Workshop on Fixed Points in Computer Science -- Call for Contributions
 2023-10-31 20:19 UTC 

Call for papers and deadline extension for: TYPES 2023 post-proceedings
 2023-10-31 15:40 UTC 

Announcing the (virtual) 9th Mexican Workshop on Applied Geometry and Topology
 2023-10-31  3:28 UTC 

Welcome to the new Categories mailing list
 2023-10-30 10:40 UTC  (17+ messages)
  ` Categories vis-a-vis Naturality
      ` [EXT] "

Rosanna Cruciani
 2023-10-30 10:36 UTC  (3+ messages)

Higgs object
 2023-10-30 10:31 UTC  (3+ messages)

Octoberfest Final Announcement. It's tomorrow
 2023-10-27 13:01 UTC 

Fully funded PhD Studentship in Proof-theoretic Semantics at UCL
 2023-10-27 11:05 UTC 

4th ItaCa Workshop - Second call for Contributions
 2023-10-27  7:30 UTC 

Marta's web site
 2023-10-25 22:07 UTC 

Postdoc in quantum computation at Dalhousie
 2023-10-25 19:30 UTC 

It worked!
 2023-10-25 16:05 UTC 

[Categories]: book on categorical computability
 2023-10-24  5:16 UTC 

[Categories]: Call for papers: TYPES 2023 post-proceedings
 2023-10-24  5:15 UTC 

[Categories]: Publication of Volume LXIV-4 of the Cahiers
 2023-10-24  5:13 UTC 

[Categories]: CTLM 2023 -- Call for Participation
 2023-10-24  5:11 UTC 

[Categories]: PhD or postdoc position at FAU
 2023-10-24  5:09 UTC 

2023 Category Theory Octoberfest 2nd Announcement. It's this weekend!
 2023-10-23 22:52 UTC 

FMCS 2024: 8th -- 13th July
 2023-10-23 21:43 UTC 

ItaCa Fest 25 October
 2023-10-23 17:37 UTC 

Marc Mircevski (O365 Admin) added you to the Categories mailing list group
 2023-10-23  5:55 UTC 

categories: Assist
 2023-09-29 17:08 UTC 

categories: MSCS Special Issue on Differential Structures: Deadline Extension
 2023-09-28 20:57 UTC 

categories: Research position in category theory at Masaryk University
 2023-09-20 10:08 UTC 

categories: Lectureship in Pure Mathematics - University of Manchester
 2023-09-19 11:06 UTC 

categories: XIV Portuguese Category Seminar and A Day on Pointfree Topology
 2023-09-14 14:17 UTC 

categories: CT2024 - First announcement
 2023-09-12 18:59 UTC 

categories: Advances in Homotopy type theory - MSCS special issue
 2023-09-12  8:44 UTC 

categories: concepts & categories
 2023-09-10  9:13 UTC 

categories: The topology of critical processes
 2023-09-07  8:20 UTC 

categories: The New York City Category Theory Seminar Fall 2023 line up of speakers
 2023-09-05 22:15 UTC 

categories: Change of Website
 2023-09-05  9:58 UTC 

categories: Reminder for Special Issue on "Differential Structures in Computer Science and Mathematics"
 2023-09-04 21:29 UTC 

categories: 2023 Category Theory Octoberfest
 2023-09-02 14:17 UTC 

categories: YAMCATS 32 - Thursday 14th September, Cambridge
 2023-09-01 15:01 UTC 

categories: PhD position in automata learning at Radboud University
 2023-08-31 13:56 UTC 

categories: Three postdoc positions on Quantum Programming in Edinburgh
 2023-08-28 10:54 UTC 

categories: Four fully funded PhD positions
 2023-08-26  7:20 UTC 

categories: Hopf Days in Brussels 2023 - final update
 2023-08-23 10:50 UTC 

categories: PhD Position in Abstract Techniques for Programming Languages and Secure Compilation at FAU
 2023-08-16  7:48 UTC 

categories: PhD position on Knowledge Engineering for Smart Diagnostics
 2023-08-15 13:10 UTC 

categories: Postdoc position, Logic and Semantics Group in Tallinn
 2023-08-11  9:50 UTC 

categories: Re: Peter Aczel
 2023-08-03  8:46 UTC 

categories: Chaire de la Vallee Poussin 2023
 2023-07-28 14:20 UTC 

categories: Research Fellow in Quantum Tech and NLP in UCL
 2023-07-28  9:30 UTC 

categories: Publication of Volume LXIV-3 of the "Cahiers
 2023-07-21  9:15 UTC 

categories: PhD position in Gothenburg, Sweden
 2023-07-18 20:09 UTC  (2+ messages)
` categories: "

categories: ETAPS 2024 1st joint call for papers
 2023-07-17  9:41 UTC 

categories: TbiLLC 2023 First Call for Participation
 2023-06-30 15:59 UTC 

categories: 29th WoLLIC 2023 - Final Call for Participation
 2023-06-24 19:30 UTC 

categories: Applied Category Theory 2023 - registration open
 2023-06-23 17:20 UTC 

categories: ***PSSL108*** Third announcement
 2023-06-21  6:00 UTC 

categories: Hopf Days in Brussels 2023 - 2nd announcement
 2023-06-13 14:49 UTC 

categories: CATNIP: June 14, Edinburgh
 2023-06-12 22:43 UTC 

categories: Next ITaCa seminar Jun 16, 2023
 2023-06-12 11:28 UTC 

categories: Special Issue of TAC in honour of Bill Lawvere
 2023-06-05 16:58 UTC 

categories: MFPS and CALCO 2023: Call for participation
 2023-06-02 18:43 UTC 

categories: Enriched Categories and Topology
 2023-06-01 20:37 UTC 

categories: HOR 2023: Call for Participation
 2023-05-31 13:30 UTC 

categories: [ICTAC 2023] Second call for papers – deadline 16 June 2023
 2023-05-26  9:16 UTC 

categories: Hopf Days in Brussels 2023 - 1st announcement
 2023-05-23 19:12 UTC 

categories: Last call to participation to oint LHC and Métayer days: 6 to 9 June in Paris
 2023-05-22 11:23 UTC 

categories: List of CT conferences
 2023-05-22  1:30 UTC 

categories: Next ItaCa online seminar
 2023-05-21 13:52 UTC 

categories: Postdoc Ad | Bilkent University
 2023-05-21 10:16 UTC 

categories: 29th WoLLIC 2023 - Call for Participation
 2023-05-16 15:32 UTC 

categories: Second Announcement for Special Volume of TAC in honour of Pieter Hofstra
 2023-05-16 14:57 UTC 

categories:
 2023-05-12  8:37 UTC 

categories: Cmbridge premiere of `Vision of a Gaden'
 2023-05-11 21:42 UTC 

categories: HoTT 2023 -- Programme and final registration
 2023-05-10 22:01 UTC 

categories: Online workshop on (oo,2)-categories for graduate (Master and PhD) students
 2023-05-05 13:58 UTC 

categories: Associate professorship in mathematics in Stockholm
 2023-05-05  5:34 UTC 

categories: CT2023 (final announcement)
 2023-05-04 15:44 UTC 

categories: SYCO 11 - slides and recordings
 2023-05-04 12:01 UTC 

categories: HOR 2023: Final Call for Papers (extended deadline: 9 May 2023 AoE)
 2023-05-04  9:02 UTC 

categories: Recruiting for experiment on string diagrams and education
 2023-04-28 10:40 UTC 

categories: HoTT 2023: Reduced registration ends May 1
 2023-04-27 11:39 UTC 

categories: Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023
 2023-04-27 11:36 UTC 

categories: A lost email sent to categories list?
 2023-04-26  9:35 UTC 

categories: book on categorical computability
 2023-04-25 20:14 UTC 

categories: Workshop in Copenhagen 15-19 May: "Beyond Finite Sets -- Homotopy Theory and Combinatorics"
 2023-04-24 14:12 UTC 

categories: PSSL108 in Terrasini (Palermo, Italy) - September 2023 - Second Announcement
 2023-04-24 10:22 UTC 

categories: Call for Papers - TLLA 23 (7th International Workshop on Trends in Linear Logic and Applications)
 2023-04-23 23:24 UTC 

categories: Publication of Volume LXIV-2 of the Cahiers
 2023-04-22 14:10 UTC 

categories: HOR 2023: Second Call for Papers
 2023-04-21 11:30 UTC 

categories: 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
 2023-04-20 11:08 UTC 

categories: Joint LHC and Métayer days: 6 to 9 June in Paris
 2023-04-19 12:41 UTC 

categories: WORKSHOP on DOCTRINES and FIBRATIONS,May 29 - June 1, 2023 -dedicated to W. Lawvere
 2023-04-18  5:05 UTC 

categories: Announcement of ITaCa Fest, 2023 edition
 2023-04-13 10:59 UTC 

categories: HoTT 2023: registration open
 2023-04-07 11:41 UTC 

categories: ACT 2023: second announcement
 2023-03-31 12:30 UTC 

categories: Marta Bunge's volume
 2023-03-29 18:19 UTC 

categories: MFPS 2023: Deadline Extension
 2023-03-27 14:07 UTC 

categories: SYCO 11 - Call for participation
 2023-03-24  9:10 UTC 

categories: CT2023 (fifth announcement)
 2023-03-24  8:18 UTC 

categories: Job vacancy in Pure Mathematics at Christ's College Cambridge
 2023-03-22 17:18 UTC 

categories: EXPRESS/SOS 2023 First Call for Papers
 2023-03-19  9:57 UTC 

categories: CALCO 2023: Second Deadline Extension
 2023-03-14 18:11 UTC 

categories: TbiLLC 2023: Second Call for Papers incl. Deadline Extension
 2023-03-13 14:08 UTC 

categories: PhD or Postdoc Position at LMU Munich about Verified Modal Logics
 2023-03-10  0:07 UTC 

categories: Conference in memory of Bill Lawvere
 2023-03-08 10:52 UTC 

categories: MFPS 2023: Second Call for Papers
 2023-03-07 17:00 UTC 

categories: Genoese recollections on Lawvere's work and ideas
 2023-03-07 13:03 UTC 

categories: PhD positions in intelligent diagnostics at the University of Twente
 2023-03-06 18:04 UTC 

categories: CALCO 2023: Deadline Extension
 2023-03-05 14:45 UTC 

categories: YaMCATS 30 (Resend)
 2023-03-04  8:52 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).