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

categories: SYCO 22 - Call for papers
 2023-02-06 14:50 UTC 

categories: CfP: 2nd International Conference on Homotopy Type Theory
 2023-02-06 10:15 UTC 

categories: ACT 2023: first announcement
 2023-02-04 14:43 UTC 

categories: CALCO 2023: Second Call for Papers
 2023-02-03 17:38 UTC 

categories: [deadline extended] lecturer in Computational Linguistics in UCL
 2023-02-03  9:57 UTC 

categories: Obituary for Bill
 2023-02-02 19:42 UTC  (2+ messages)
` categories: Francis William Lawvere

categories: RAMiCS 2023 - Call for participation
 2023-02-02 14:54 UTC 

categories: CT2023 (third announcement)
 2023-02-02 13:27 UTC 

categories: History and Philosophy of Mathematic Reform
 2023-02-02  9:35 UTC 

categories: Bill Lawvere
 2023-02-02  9:12 UTC 

Bill Lawvere
 2023-02-01 14:51 UTC  (4+ messages)
` categories: "

Terminology for point-free topology?
 2023-02-01  9:41 UTC  (19+ messages)
            ` categories: "
      ` categories: complete Galois groups
        ` categories: "

categories: Re: Sheaves as a localisation of separated presheaves
 2023-02-01  7:16 UTC  (3+ messages)

categories: Bill Lawvere 
 2023-02-01  5:40 UTC 

categories: FSCD 2023: Extended deadline (Abstract: February 4/ Submission: February 9)
 2023-01-31 23:55 UTC 

categories: CT Advisory Committee: new Chair
 2023-01-31 17:19 UTC 

categories: Sheaves as a localisation of separated presheaves
 2023-01-30 11:31 UTC 

categories: Bill Lawvere
 2023-01-30  9:43 UTC 

categories: Assistant professor in logic / semantics
 2023-01-27 13:04 UTC 

categories: Bill Lawvere
 2023-01-26 13:58 UTC 

categories: lecturer in Computational Linguistics in UCL
 2023-01-26 10:00 UTC 

categories: The New York City Category Theory Seminar --- Spring 2023 Lineup of speakers
 2023-01-26  0:37 UTC 

announcement
 2023-01-24 22:33 UTC 

Bill Lawvere 1937--2023
 2023-01-24 15:35 UTC 

TbiLLC 2023: First Call for Papers
 2023-01-21 14:32 UTC 

HoTT 2023: first CfP
 2023-01-19 22:01 UTC 

Upcoming permanent position at Macquarie
 2023-01-19 21:29 UTC 

fully funded graduate positions in Math at UWO
 2023-01-17 18:26 UTC 

Publication of Volume LXIV-1of the Cahiers
 2023-01-12 14:58 UTC 

PSSL 107: second announcement
 2023-01-12 11:39 UTC 

CT2023 (second announcement)
 2023-01-11 21:49 UTC 

ICFP 2023 Call for Papers
 2023-01-11 14:48 UTC 

Call for papers: Mathematical Foundations of Programming Semantics 2023
 2023-01-11  0:29 UTC 

Online category theory resources
 2023-01-10 19:24 UTC 

HoTT/UF 2023: Call for Contributions
 2023-01-10 17:19 UTC 

HoTT/UF 2023: Call for Contributions
 2023-01-09 19:41 UTC 

Online category theory resources
 2023-01-08 12:02 UTC 

Guillaume Brummer
 2023-01-06 21:36 UTC 

Postdoc at the University of Manchester
 2023-01-05  9:05 UTC 

A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games"
 2022-12-30 10:16 UTC 

(unknown)
 2022-12-29 22:47 UTC 

Two open positions at ILLC, University of Amsterdam
 2022-12-21 18:50 UTC 

Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 20 Jan 2023
 2022-12-21 10:17 UTC 

2nd Call for Contributions FICS 2023: Workshop on Fixed Points in Computer Science
 2022-12-19 19:12 UTC 

CALCO 2023: First Call for Papers
 2022-12-19 17:53 UTC 

Non-cartesian closedness of Met
 2022-12-19  8:50 UTC  (3+ messages)
` Non-cartesian closedness of Met (ptj@maths.cam.ac.uk)

Non-cartesian closedness of Met
 2022-12-18 13:04 UTC 

Non-cartesian closedness of Met
 2022-12-17  9:20 UTC 

Call for applications: Applied Category Theory Adjoint School 2023
 2022-12-16 10:30 UTC 

Upcoming permanent position at Macquarie
 2022-12-16  4:18 UTC 

Positions at Birmingham, UK, Computer Science
 2022-12-13 18:34 UTC 

16th workshop on Computational Logic and Applications: Call for Participation
 2022-12-13 13:32 UTC 

16th workshop on Computational Logic and Applications: Call for Participation
 2022-12-13 13:32 UTC 

Virtual Double Categories Workshop - slides and recordings
 2022-12-09  7:16 UTC 

Certified Programs and Proofs (CPP) 2023: Call for Participation
 2022-12-05 22:00 UTC 

Joachim Lambek
 2022-12-05 19:29 UTC 

Obituaries
 2022-12-05 17:15 UTC 

ICFP 2023: Call for Workshop and Co-Located Event
 2022-12-01  8:31 UTC 

Cambridge 3-year postdoc position on type theory for higher categories
 2022-11-29 14:39 UTC 

FSCD-CADE 2023: Call for Workshop Proposals
 2022-11-29 12:00 UTC 

FSCD 2023: First Call for Papers
 2022-11-28 20:16 UTC 

Second and final announcement - Virtual Double Categories Workshop
 2022-11-24 17:13 UTC 

ItaCa Fest November 2022 - ERRATA CORRIGE - wrong date in last announcement!!!
 2022-11-18  7:31 UTC 

ItaCa Fest November 2022
 2022-11-16  8:30 UTC 

FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023)
 2022-11-15 12:41 UTC 

FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023)
 2022-11-15 12:41 UTC 

3rd ItaCa Workshop - Last call for contributions
 2022-11-14 13:25 UTC 

Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC
 2022-11-14 12:49 UTC 

Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC
 2022-11-14 12:49 UTC 

Direct image functors
 2022-11-10 11:03 UTC  (2+ messages)

Direct image functors
 2022-11-08 21:36 UTC 

PSSL 107: Athens, April 1st-2nd 2023
 2022-11-08 13:40 UTC 

Direct image functors
 2022-11-08 10:46 UTC  (2+ messages)

Fwd: Postdoc positions in Probabilistic Programming, in Singapore
 2022-11-07 13:18 UTC 

Postdoc positions in Probabilistic Programming, in Singapore
 2022-11-07 13:13 UTC 

Marta and Bernhard
 2022-11-04 15:37 UTC 

More hiring at CWRU
 2022-11-03 17:53 UTC 

Bernhard Banaschewski
 2022-11-03 12:20 UTC 

Condolences
 2022-11-03  9:08 UTC 

Octoberfest slides and videos
 2022-11-02 21:04 UTC 

3rd ItaCa Workshop - Second call for contributions
 2022-11-02 15:33 UTC 

16th Workshop on Computational Logic and Applications: call for talk proposals
 2022-11-01 21:41 UTC 

16th Workshop on Computational Logic and Applications: call for talk proposals
 2022-11-01 21:41 UTC 

First announcement: Virtual Double Categories Workshop
 2022-11-01  6:45 UTC 

TAC special issue for Marta Bunge: deadline extension
 2022-10-31 20:23 UTC 

LICS 2023 Call for Papers and Call for Workshop Proposals
 2022-10-31 17:20 UTC 

LICS 2023 Call for Papers and Call for Workshop Proposals
 2022-10-31 17:20 UTC 

Postdoc & Scientific Programmer Positions in Tokyo
 2022-10-30  6:35 UTC 

Postdoc & Scientific Programmer Positions in Tokyo
 2022-10-30  6:35 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).