Archiving Catlist
2023-11-10 8:41 UTC
The game of the name: Standard constructions, triples, monads, fundamental constructions
2023-11-09 21:08 UTC (11+ messages)
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
categories: MSCS Special Issue on "Differential Structures in Computer Science and Mathematics"
2023-03-02 21:57 UTC
categories: HoTT 2023: Extended Deadline
2023-03-02 12:59 UTC
categories: YaMCATS 30 - March 15, 2023
2023-03-02 12:37 UTC
categories: Seminar talk by Paul Taylor on Thursday March 2 2022
2023-02-28 12:23 UTC
categories: PSSL108 in Terrasini (Palermo, Italy) - September 2023
2023-02-28 8:16 UTC
categories: New book on monoidal categories without any maths prerequisites
2023-02-27 22:03 UTC
categories: 29th WoLLIC 2023 - FINAL Call for Papers (>>>>DEADLINE RE-EXTENDED<<<<)
2023-02-27 15:30 UTC
categories: SYCO 11 - Second call for papers
2023-02-27 14:20 UTC
categories: HOR 2023: Call for Papers
2023-02-27 10:07 UTC
categories: CALCO 2023: Final Call for Papers
2023-02-23 17:28 UTC
categories: Re: Upcoming permanent position at Macquarie
2023-02-23 4:27 UTC
categories: CT2023 (fourth announcement)
2023-02-22 8:59 UTC
categories: CT2023 (fourth announcement)
2023-02-22 8:59 UTC
categories: [ICTAC 2023] First call for papers – deadline 16 June 2023
2023-02-21 10:35 UTC
categories: QPL 2023 -- Final Call for Papers (with updated deadlines)
2023-02-20 10:39 UTC
categories: Bill Lawvere
2023-02-20 1:56 UTC
categories: 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<)
2023-02-18 17:49 UTC
categories: PSSL 107: final announcement
2023-02-17 9:59 UTC
categories: FMCS (Foundational Methods in Computer Science) 2023 First announcement
2023-02-16 12:40 UTC
categories: Category Theory Outreach Panel
2023-02-13 23:11 UTC
categories: Category Theory for Consciousness Science Workshop, Oxford, April 15-16
2023-02-13 11:23 UTC
categories: TYPES 2023 - Call for Contributions
2023-02-13 6:10 UTC
categories: Bill Lawvere
2023-02-09 4:58 UTC (2+ messages)
` categories: "
categories: Announcing a Category Theory virtual book club
2023-02-09 0:06 UTC
categories: HoTT/UF 2023: 2nd Call for Contributions
2023-02-07 19:31 UTC
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).