Benabou
2024-01-21 9:23 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)
[CFP] Dosen's polynomial functorial programming & AI @UAE NYU 17th Jan — Re: [categories] Outreach Panel
2024-01-15 16:37 UTC
ECCL 2024: first announcement
2024-01-15 8:41 UTC
Publication of Volume LXV-1 of the Cahiers
2024-01-14 16:34 UTC
YaMCATS 33: registration
2024-01-12 15:35 UTC
fully funded graduate positions in Math at UWO
2024-01-11 18:50 UTC
MSCS Special Issue on Homotopy Type Theory: approaching deadline
2024-01-08 8:54 UTC
Call for participation: DiλLL 2024 - Differential λ-Calculus and Differential Linear Logic - 20 Years Later, 13 - 17 May 2024, Marseille (France)
2024-01-07 15:09 UTC
A curious history
2024-01-07 0:21 UTC
History: The Eilenberg-Mac Lane collaboration
2024-01-05 19:43 UTC (5+ messages)
Announcement: Lloyd Roeling Conference in Algebraic Topology, March 15–17, 2024
2024-01-02 20:33 UTC
Phil Scott
2023-12-26 20:22 UTC (29+ messages)
` [EXT] "
` [External] "
Category Theory as an educational tool in The Guardian / Observer
2023-12-26 10:24 UTC (3+ messages)
` [EXT] "
LICS 2024 Second Call for Papers
2023-12-22 20:03 UTC
Phil Scott
2023-12-21 15:12 UTC
Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers
2023-12-21 10:12 UTC
Modification of what I said
2023-12-21 3:08 UTC (10+ messages)
17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): Second Call for Papers
2023-12-20 12:50 UTC
Phil Scott
2023-12-19 17:52 UTC
Looking for Jean-Louis Loday's slides on "Combinads"
2023-12-19 3:45 UTC (2+ messages)
HoTT/UF 2024: Second Call for Contributions and Participation
2023-12-19 2:45 UTC
Visiting/postdoc researcher in Logic, Semantics, Concurrency - University of Groningen (NL)
2023-12-18 11:54 UTC
CMU Summer School in LFE
2023-12-15 17:00 UTC
Conference on (oo, n)-Categories and Their Applications in Utrecht, April 15-19 (2024)
2023-12-15 13:44 UTC
Point-free real analysis - new paper
2023-12-11 18:11 UTC
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
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).