categories - Category Theory list
 help / color / mirror / Atom feed
Call for CAV Workshop Proposals: July 17-18, 2016 Toronto, Canada
 2015-11-02 11:35 UTC 

WRLA 2016: 1st Call for Papers
 2015-10-28 15:49 UTC 

not(CH) and cardinal inequality in the absence of LEM
 2015-10-28 11:25 UTC 

not(CH) and cardinal inequality in the absence of LEM
 2015-10-28  7:40 UTC 

CfP: COORDINATION 2016
 2015-10-22  9:26 UTC 

Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016
 2015-10-18 14:39 UTC 

CMCS 2016 : Second Call for Papers
 2015-10-15 18:33 UTC 

terminology of (co)algebras
 2015-10-09 18:06 UTC  (2+ messages)

IWIL-11 in Fiji, extended deadline
 2015-10-06 14:21 UTC 

Decision-making and Category theory
 2015-10-06 10:13 UTC  (2+ messages)

Announcement conference Stef Caenepeel 60
 2015-10-01 14:35 UTC 

Faculty position in PL/verification/theorem-proving at Cambridge
 2015-10-01 14:17 UTC 

Octoberfest Second Announcement
 2015-10-01 14:04 UTC 

type theory postdoc at Dalhousie University
 2015-10-01  1:20 UTC 

Intuitionistic Logic for Children, or: Planar Heyting Algebras for Children
 2015-09-30  1:08 UTC 

Postdoc position at the ILLC
 2015-09-29 17:31 UTC 

"Topos a l'IHES" - second announcement
 2015-09-28 17:45 UTC 

ETAPS 2016 final call for papers
 2015-09-28 10:03 UTC 

Latest version of diagxy
 2015-09-27 16:55 UTC 

Spelling of "equaliser"
 2015-09-26 23:29 UTC 

CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik
 2015-09-23  9:39 UTC 

Computability and Complexity of Categorical Structures
 2015-09-22  9:32 UTC  (5+ messages)

CMCS 2016 : First Call for Papers
 2015-09-18 14:10 UTC 

Eugenia Cheng in the (U of C) news
 2015-09-04 13:07 UTC 

ETAPS 2016 2nd call for papers
 2015-09-03  6:33 UTC 

2nd CALL FOR PARTICIPATION (RAMiCS 2015)
 2015-09-02 18:40 UTC 

Octoberfest Second Announcement
 2015-09-02  2:33 UTC 

A tribute to Rainer Vogt
 2015-09-01  7:08 UTC 

Chen review
 2015-09-01  1:46 UTC  (2+ messages)

coherence for symmetric monoidal and (co)affine categories
 2015-08-24  3:11 UTC  (3+ messages)

categories of models of cartesian PROPs
 2015-08-23 14:09 UTC  (6+ messages)

categories of models of cartesian PROPs
 2015-08-19 19:31 UTC 

ETAPS 2016 call for papers
 2015-08-17 13:39 UTC 

WS-FM/BEAT and FOCLASA join Call for Participation
 2015-08-14 18:27 UTC 

HSCC 2016: Call for Papers
 2015-08-13  6:54 UTC 

Current Issues in the Philosophy of Practice of Mathematics & Informatics
 2015-08-11 12:20 UTC  (4+ messages)

Current Issues in the Philosophy of Practice of Mathematics & Informatics
 2015-08-09  2:10 UTC 

Current Issues in the Philosophy of Practice of Mathematics & Informatics
 2015-08-04 15:45 UTC  (10+ messages)

Jobs at the University of Leeds
 2015-08-04 13:46 UTC 

Current Issues in the Philosophy and Practice of Mathematics & Informatics
 2015-07-30 15:28 UTC 

CT2015 slides and pictures
 2015-07-28 16:07 UTC 

'Dérivateurs à Barcelone' final announcement
 2015-07-23 17:09 UTC 

CALL FOR PARTICIPATION (RAMiCS 2015)
 2015-07-23 14:03 UTC 

Correction: Steve's legacy
 2015-07-22  2:29 UTC 

The Legacy of Steve Schanuel!
 2015-07-21 15:38 UTC 

PhD Position in Verified Voting at ANU
 2015-07-20  7:38 UTC 

Octoberfest
 2015-07-19 20:44 UTC 

Workshop in Category Theory and Algebraic Topology
 2015-07-14  7:59 UTC 

postdoc in Seville
 2015-07-06 14:03 UTC 

Spivak's MIT Press Categories book: brief review
 2015-07-03  2:20 UTC 

Categories with hyperedges?
 2015-06-30 20:27 UTC  (2+ messages)

Math ML in recent headlines
 2015-06-29  0:46 UTC  (2+ messages)

Final call for papers: SR 2015, Oxford, Sept 21-22, UK
 2015-06-26  9:23 UTC 

Updated URL
 2015-06-26  1:28 UTC 

Annivsrsary of Jim Lambek's death
 2015-06-23 16:45 UTC 

"Topos à l'IHES" - first announcement
 2015-06-20  1:24 UTC 

Another great Cheng review: NYTimes
 2015-06-13 18:30 UTC 

positions
 2015-06-11 12:30 UTC 

On the issue of Replacement
 2015-06-11  2:44 UTC 

On the issue of Replacement
 2015-06-09  6:13 UTC 

FINAL CALL FOR PhD/MSc Contributions (RAMiCS 2015)
 2015-06-08 18:54 UTC 

FICS'15: 2nd call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015)
 2015-06-08 13:53 UTC 

On "Degrees of Truth" (PDF on the web)
 2015-06-07 21:11 UTC 

CT2015: Information before arrival
 2015-06-07 11:59 UTC 

2-cells in bicategories as bivectors
 2015-06-07  2:01 UTC 

YaMCATS 4 University of Leicester 22 June 2015
 2015-06-05 13:41 UTC 

worth looking at
 2015-06-04 14:11 UTC 

QPL 2015: Call for participation
 2015-06-02 14:25 UTC 

3 tensors in a 2-category ?
 2015-05-31 15:18 UTC 

British Logic Colloquium 2015
 2015-05-29 10:55 UTC 

New Doctoral Program on Logical Methods in Computer Science (LogiCS)
 2015-05-29  9:48 UTC 

John Nash (†)
 2015-05-26  2:45 UTC 

'Dérivateurs à Barcelone' 2nd announcement
 2015-05-25 10:55 UTC 

ICALP/LICS 2015: Call for Participation
 2015-05-22  8:22 UTC 

MFPS XXXI/CALCO 2015 : Call for Participation
 2015-05-19 13:14 UTC 

FMCS 2015 - Final Announcement
 2015-05-13 20:56 UTC 

CiE 2015 in Bucharest - Call for Participation
 2015-05-11 18:00 UTC 

'Dérivateurs à Barcelone’ conference announcement
 2015-05-08 12:24 UTC 

PhD position available
 2015-05-08  7:16 UTC 

Are Joyal--Tierney fibrations exponentiable?
 2015-05-02 19:32 UTC  (3+ messages)

TYPES 2015 call for participation
 2015-05-01 20:57 UTC 

FICS'15 Call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015)
 2015-04-30 14:13 UTC 

CT 2015 Special Lecture
 2015-04-28 16:57 UTC 

Philip J Higgins
 2015-04-23  2:14 UTC  (3+ messages)

Associate Professorship in Data Science at Oxford (Continuing Education)
 2015-04-22 12:50 UTC 

ALCOP 2015 -- Call for participation
 2015-04-20  6:04 UTC 

Postdoctoral fellowship at Dalhousie with 50% outreach, 50% research
 2015-04-19 19:46 UTC 

New trends in Hopf algebras and tensor categories
 2015-04-18 15:45 UTC 

YaMCATS 3 University of Leeds 7 May 2015
 2015-04-17 14:35 UTC 

A preprint on locally presentable categories available
 2015-04-17 12:24 UTC 

The European Master's Program in Computational Logic: Application until 31 May 2015
 2015-04-17  7:45 UTC 

Conference on Homotopy in Concurrency and Rewriting
 2015-04-16 15:27 UTC 

CatAlg2015 - 3rd Workshop in Categorical Algebra *** Second Announcement ***
 2015-04-16 10:49 UTC 

2nd CALL FOR PhD/MSc Contributions (RAMiCS 2015)
 2015-04-15 18:02 UTC 

3 PostDoc research positions in Coimbra
 2015-04-13 12:17 UTC 

Lectureship in Pure Mathematics at the University of Leeds
 2015-04-13  9:43 UTC 

QPL 2015: Last call for papers
 2015-04-09 15:03 UTC 

CALCO Early Ideas 2015 : Call for Contributions
 2015-04-09 14:58 UTC 

Tribute essay honouring Jim Lambek
 2015-04-01  3:45 UTC 

coequalizers in the category of algebras for the double powerset triple
 2015-03-31 13:47 UTC  (2+ messages)
` coequalizers in the category of algebras for the double power locale triple

FMCS 2015 - Second Announcement
 2015-03-30 18:56 UTC 

cubical homotopy
 2015-03-30 14:59 UTC 

Tensor product of left exact morphisms
 2015-03-28  8:40 UTC  (5+ messages)

MeMo 2015 - Last Call for Papers - new deadlines
 2015-03-26 14:10 UTC 

coequalizers in the category of algebras for the double powerset triple
 2015-03-26 12:45 UTC 

CT 2015 (abstract submission)
 2015-03-25 13:22 UTC 

Question about coequalizers in the category of algebras of the double power locale monad
 2015-03-25  8:16 UTC  (2+ messages)

Workshop in category theory and algebraic topology (UCL): 2nd announcement
 2015-03-19  7:39 UTC 

Partial functors 
 2015-03-18 21:36 UTC  (8+ messages)

Ackermann Award 2015
 2015-03-18 16:29 UTC 

Partial functors 
 2015-03-18  7:03 UTC 

A coherence theorem question
 2015-03-17 21:18 UTC  (2+ messages)

Horst Herrlich
 2015-03-17 12:41 UTC  (2+ messages)

Easik 3.0: (correction)
 2015-03-16 16:25 UTC 

Partial functor
 2015-03-16 15:29 UTC  (4+ messages)
  `  "

Partial functor
 2015-03-16 13:46 UTC 

CALL FOR PhD/MSc Contributions (RAMiCS 2015)
 2015-03-16 13:07 UTC 

TYPES 2015 submission deadline extended
 2015-03-15 21:16 UTC 

Category without objects
 2015-03-15 15:34 UTC  (14+ messages)

influence of groupoids on the category definition
 2015-03-15 11:54 UTC 

influence of groupoids on the category definition
 2015-03-15 11:54 UTC 

Horst Herrlich
 2015-03-15  8:02 UTC  (2+ messages)

Horst Herrlich
 2015-03-15  4:09 UTC 

GaLoP 2015: Call for Participation
 2015-03-13 15:08 UTC 

CT2015
 2015-03-12 17:04 UTC 

Easik 3.0: categorical database design and manipulation
 2015-03-12  0:45 UTC 

groupoids and categories
 2015-03-09 15:51 UTC 

YaMCATS 2 University of Sheffield 19 March 2015
 2015-03-09 10:11 UTC 

CALCO 2015 : Last Call for Papers
 2015-03-09 10:04 UTC 

ETAPS 2015 final call for participation
 2015-03-07 23:03 UTC 

SFM-15:MP school on multicore programming -- last call for participation
 2015-03-05 13:06 UTC 

Formal Methods in Computer-Aided Design (FMCAD), 2015 - First Call for Papers
 2015-03-01 23:05 UTC 

TYPES 2015 final call for contributions
 2015-02-27 17:33 UTC 

TACL 2015 - Deadline extension for submissions
 2015-02-27 17:33 UTC 

Publication: Pitts monads and a lax descent theorem
 2015-02-26 18:39 UTC 

A paper by MacLane
 2015-02-26 15:32 UTC 

Preprint: Limits in multiple categories
 2015-02-26  8:29 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).