categories - Category Theory list
 help / color / mirror / Atom feed
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:  |  | 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).