categories - Category Theory list
 help / color / mirror / Atom feed
categories: CT Advisory Committee: new Chair
 2023-01-31 17:19 UTC 

categories: Re: Sheaves as a localisation of separated presheaves
 2023-01-30 22:53 UTC  (2+ messages)

Terminology for point-free topology?
 2023-01-30 21:59 UTC  (18+ messages)
            ` categories: "
      ` categories: complete Galois groups
        ` categories: "

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

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

Bill Lawvere
 2023-01-27 13:36 UTC  (3+ messages)
` categories: "

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 

ICALP 2023 -- first Call for Papers (Submission Deadline: February 11th, 2023)
 2022-10-28 15:59 UTC 

Octoberfest Final Announcement
 2022-10-28 13:05 UTC 

Marta Bunge
 2022-10-27 20:02 UTC 

Marta Bunge
 2022-10-27 10:09 UTC 

Marta Bunge
 2022-10-27  8:07 UTC 

SYCO 10 – Second call for submissions
 2022-10-27  8:00 UTC 

Marta Bunge, 1938-2022
 2022-10-26 23:38 UTC 

Marta Bunge, 1938-2022
 2022-10-26 10:18 UTC 

out of the blue?
 2022-10-26  9:43 UTC 

Marta Bunge, 1938-2022
 2022-10-25 21:50 UTC 

Bénabou Colloquium on 18 November 2022 (second announcement)
 2022-10-24 10:29 UTC 

Category Theory Octoberfest 2022 , Second Announcement
 2022-10-23 20:40 UTC 

Four PhD student positions in Gothenburg
 2022-10-17 22:25 UTC 

Publication of Volume LXIII-4 of the "Cahiers"
 2022-10-16 15:55 UTC 

Category Theory Octoberfest 2022
 2022-10-14 21:04 UTC 

SYCO 10 – Call for submissions
 2022-10-13 20:52 UTC 

ItaCa Fest - Escardo' and Capucci
 2022-10-13 13:17 UTC 

Selected Papers of Dana S. Scott
 2022-10-11 13:02 UTC 

Tenure track position at CWRU
 2022-10-10 19:49 UTC 

Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)
 2022-10-10 13:00 UTC 

Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)
 2022-10-10 13:00 UTC 

3rd ItaCa Workshop - Call for Contributions
 2022-10-08 13:36 UTC 

ETAPS Doctoral Dissertation Award 2023
 2022-10-07 13:30 UTC 

Job in Logical Foundations and Formal Methods at Cambridge
 2022-10-06 17:06 UTC 

ETAPS 2023 Final joint call for papers
 2022-10-06 14:23 UTC 

Faculty positions in Oxford
 2022-10-02 20:08 UTC 

Position at Chapman University
 2022-10-01 23:14 UTC 

2nd CfP - Software Verification and Testing Track at SAC 2023
 2022-09-30  7:18 UTC  (2+ messages)
` (PN) "

Bénabou Colloquium on Friday 18 November 2022
 2022-09-26  7:10 UTC 

Isbell conjugacy
 2022-09-25 22:56 UTC 

Special Issue Of TAC In Honour Of Pieter Hofstra
 2022-09-18 18:10 UTC 

Two tenure-track positions at Western University
 2022-09-17 17:32 UTC 

Two tenure-track positions at Western University
 2022-09-17 17:32 UTC 

ItaCa Fest - Cigoli & Reggio
 2022-09-15  7:00 UTC 

RAMiCS 2023 - Third call for papers
 2022-09-09 13:59 UTC 

Conference announcement: Homotopic Days in Nice
 2022-09-09  7:50 UTC 

Propositions and the Leibniz rule
 2022-09-09  5:50 UTC 

Rudger Kieboom
 2022-09-06 23:35 UTC  (2+ messages)

2022 Octoberfest, Second Announcement
 2022-09-04 19:58 UTC 

SYCO 9 - Last call for participation
 2022-08-31 16:40 UTC 

STACS 2023 - second call for papers
 2022-08-31 10:45 UTC 

ETAPS 2023 2nd joint call for papers
 2022-08-31  6:56 UTC 

2023 Joint Mathematical Meetings
 2022-08-24 23:41 UTC 

CFP: FoSSaCS '23: 26th International Conference on Foundations of Software Science and Computation Structures
 2022-08-23 13:20 UTC 

Vol 17 of CGASA published
 2022-08-19 21:06 UTC 

Fall lineup of speakers --- New York City Category Theory Seminar
 2022-08-18 15:48 UTC 

old documents on fibered cats available
 2022-08-18  9:55 UTC 

SYCO 9 - Call for participation
 2022-08-17 12:51 UTC 

Workshop on Categories and Topology
 2022-08-17 11:49 UTC 

Workshop on Categories and Topology
 2022-08-17 11:49 UTC 

CT2023
 2022-08-16  6:55 UTC 

Categories and Companions Symposium 2022 — Second announcement and call for talks from research students
 2022-08-10  6:14 UTC 

Categories and Companions Symposium 2022 — Second announcement and call for talks from research students
 2022-08-10  6:14 UTC 

Octoberfest 2022
 2022-08-06 22:50 UTC 

RAMiCS 2023 - Second call for papers
 2022-07-29  7:12 UTC 

Antipode workshop, last announcement
 2022-07-28  7:09 UTC 

Publication of Volume LXIII-3 of the "Cahiers"
 2022-07-23 16:45 UTC 

well founded coalgebras and recursion
 2022-07-23 11:00 UTC 

CCC2022 -September 19-23, 2022- 2nd call for contributions
 2022-07-21 17:21 UTC 

SYCO 9 - 2nd call call for submissions - Deadline 1st August
 2022-07-21 15:58 UTC 

ETAPS 2023 1st joint call for papers
 2022-07-13 15:39 UTC 

Two PhD opportunities at Swansea University: λ-calculi and automata/dynamical systems and computability
 2022-07-08  9:53 UTC 

postdoc position at UEA (Norwich, UK)
 2022-07-08  9:14 UTC 

SYCO 9 - Call for submissions - deadline 1 August
 2022-07-01 16:23 UTC 

Categories and Companions Symposium 2022 (CaCS2022)
 2022-06-30  2:30 UTC 

STACS 2023 - first call for papers
 2022-06-27 13:19 UTC 

ItaCa Fest - Bonchi and Blechschmidt - 28 June
 2022-06-27  0:18 UTC 

Antipode workshop, 2nd announcement
 2022-06-22 16:21 UTC 

Open PhD and postdoc position in categorical probability
 2022-06-21 13:22 UTC 

Pursuing Stacks
 2022-06-17 16:25 UTC 

Chaire de la Vallee Poussin 2022
 2022-06-17 13:32 UTC 

Certified Programs and Proofs (CPP) 2023 Call for Papers
 2022-06-14 19:40 UTC 

PLanQC 2022: Final call for submissions and student travel support
 2022-06-13  9:29 UTC 

ICLP 2022: Call for Participation
 2022-06-10 15:43 UTC 

RAMiCS 2023 - First call for papers
 2022-06-07 17:30 UTC 

ICFP 2022: Call for Tutorials, Panels, and Discussions
 2022-06-07  8:34 UTC 

ACT 2022: Call for Participation
 2022-06-06 12:41 UTC 

Job at the University of Manchester
 2022-06-05 11:06 UTC 

Post-doc Opening in Kyoto, Japan: Programming Abstraction towards Secure IoT
 2022-06-02  0:25 UTC 

Pieter Hofstra
 2022-06-01 10:38 UTC 

Conference in Almeria
 2022-05-27 11:21 UTC 

Announcement of Higher structures and homotopical algebra Session at the AMS Sectional Meeting this fall
 2022-05-26  0:50 UTC 

In search of papers on monads and algebraic theories
 2022-05-25 11:01 UTC 

Second ANTIPODE workshop
 2022-05-20 17:39 UTC 

CCC2022 -September 19-23, 2022- call for contributions
 2022-05-18  7:21 UTC 

ItaCa Fest - Coraglia and Kock - 19 May
 2022-05-16 10:30 UTC 

special volume of TAC in honour of Marta Bunge
 2022-05-13 19:50 UTC 

Postdoc in Proof Theory - University of Birmingham, UK
 2022-05-12 16:31 UTC 

Advertising UT Austin Summer Minicourses
 2022-05-12  1:54 UTC 

Pieter Hofstra
 2022-05-11 15:57 UTC 

CMU HoTT Seminar Online: Shulman (part III)
 2022-05-11 11:34 UTC 

SPLV 2022 - Call for Participation
 2022-05-10  7:52 UTC 

PLanQC 2022: First call for submissions
 2022-05-09 20:18 UTC 

Women in Logic 2022 - Call for Contributions
 2022-05-09 12:04 UTC 

Pieter Hofstra
 2022-05-05 16:10 UTC 

CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, May 5 & 12
 2022-05-05  2:04 UTC 

Pieter Hofstra
 2022-05-04 21:11 UTC  (2+ 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).