Fibrewise opposite fibration
2024-02-09 19:55 UTC (18+ messages)
` Fibrewise opposite fibration + computers
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)
[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 (4+ 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 (8+ messages)
` 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
Higgs object
2023-10-30 10:31 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).