categories - Category Theory list
 help / color / mirror / Atom feed
Fred's letter
 2014-08-02 15:13 UTC 

Composition of Fibrations
 2014-08-02 10:58 UTC  (13+ messages)
` cleavages and choice

re messages concerning Steve Schanuel
 2014-08-01 17:43 UTC 

A brief survey of cartesian functors
 2014-08-01 12:10 UTC  (12+ messages)
  ` R "

Stephen H. Schanuel
 2014-08-01  2:42 UTC 

Stephen H. Schanuel
 2014-07-31  7:32 UTC  (5+ messages)

functors defined by well-founded induction
 2014-07-30 22:43 UTC  (4+ messages)

New book: Basic Category Theory
 2014-07-29 20:50 UTC  (3+ messages)

Moerdijk's talk at CT2014
 2014-07-29  8:04 UTC  (2+ messages)

Les Distributeurs as a TAC Reprint
 2014-07-28 22:05 UTC 

Site for my papers
 2014-07-28 20:35 UTC 

Lectureship at the University of Leicester
 2014-07-28 14:33 UTC 

The paper you sent me
 2014-07-28 14:13 UTC 

Final objects in 2-categories
 2014-07-27 23:12 UTC  (4+ messages)

Limits in REL
 2014-07-25 12:51 UTC  (2+ messages)

Double category question
 2014-07-24 15:02 UTC  (2+ messages)

Preprint: Symmetric self-adjoint Hopf categories and a categorical Heisenberg double
 2014-07-24 14:53 UTC 

A remark about Street fibrations
 2014-07-24  3:48 UTC  (3+ messages)

Preprint sought
 2014-07-22 15:46 UTC  (4+ messages)

CONCUR, TCS & TGC 2014: second call for participation
 2014-07-20 16:51 UTC 

Kelly: 'Equivalences in 2-categories, representations, and biadjoints'
 2014-07-10 22:29 UTC 

Conjecture about algebras of the double power locale monad
 2014-07-10 15:11 UTC 

generalised cartesian multicategories
 2014-07-09 23:00 UTC  (3+ messages)

PSSL96: Third announcement
 2014-07-09 18:01 UTC 

functors defined by well-founded induction
 2014-07-09  9:39 UTC 

functors defined by well-founded induction
 2014-07-08  3:11 UTC 

generalised cartesian multicategories
 2014-07-08  3:07 UTC 

Comma 2-categories (reference request)
 2014-07-07 21:09 UTC 

INFORMATIK 2014
 2014-07-07 10:03 UTC 

"classical" computability theory and the category of Sets
 2014-07-06 22:58 UTC  (6+ messages)
  `  "

Limits in REL
 2014-07-06 22:43 UTC  (5+ messages)

Limits in REL
 2014-07-05  7:11 UTC  (2+ messages)

3 postdoc positions at Oxford, CS, Quantum Group
 2014-07-04 11:12 UTC 

CONCUR, TCS & TGC 2014: first call for participation
 2014-07-02  8:48 UTC 

PhD opportunities at the University of Birmingham
 2014-06-30 22:32 UTC 

PhD opportunities at the University of Birmingham
 2014-06-30 22:32 UTC 

Helmut Roehrl
 2014-06-30  7:53 UTC 

CSL-LICS 2014 (online registration closes on June 30)
 2014-06-29 10:57 UTC 

Helmut Roehrl
 2014-06-29 10:07 UTC 

Jim Lambeck and photos of CT 2013
 2014-06-28 13:15 UTC 

Intro to higher order categorical logic question
 2014-06-27  9:37 UTC  (2+ messages)

Jim Lambeck
 2014-06-26 17:32 UTC 

Jim Lambek
 2014-06-26 15:23 UTC  (7+ messages)

Jim Lambek
 2014-06-26  7:25 UTC 

Jim Lambek
 2014-06-25 11:18 UTC 

Jim Lambek
 2014-06-24  5:39 UTC 

Professorship Available
 2014-06-22  9:36 UTC 

local compactness in four kinds of topology
 2014-06-15 13:40 UTC 

Kan Extension Seminar talks at CT2014
 2014-06-14 16:44 UTC 

Composition of Fibrations and Quantification
 2014-06-12 23:28 UTC  (5+ messages)

Preprint: Completion, closure, and density relative to a monad
 2014-06-11 15:11 UTC 

Marco Grandis Volume of TMJ: extending the deadline
 2014-06-09 22:13 UTC 

Reinhard Boerger
 2014-06-09 15:16 UTC 

Reinhard Boerger
 2014-06-09  8:41 UTC  (2+ messages)

Special Volume in honour of Manuela Sobral: reminder
 2014-06-04 22:37 UTC 

Is this known?
 2014-06-03 15:36 UTC 

Summer School in Lausanne: second announcement
 2014-06-02 16:05 UTC 

New Paper: Cartesian differential storage categories
 2014-05-29 19:09 UTC 

Announcing ACM's new Special Interest Group on Logic and Computation
 2014-05-29 14:17 UTC 

postdoc in Seville
 2014-05-29 10:58 UTC 

Reminder: The European Master's Program in Computational Logic: Application until 31 May 2014
 2014-05-26 14:21 UTC 

CT2014: early bird registration deadline
 2014-05-25 14:09 UTC 

K.A. Hardie
 2014-05-25 13:27 UTC 

K.A. Hardie
 2014-05-25  4:44 UTC  (5+ messages)

Functoriality of pullbacks of sets
 2014-05-24 14:17 UTC  (5+ messages)

List of finite categories
 2014-05-24  5:11 UTC  (2+ messages)

Pataraia's fixed point theorem
 2014-05-22 23:38 UTC 

K.A. Hardie
 2014-05-21 21:57 UTC 

Domains XI in Paris , Sept. 8-19 2914
 2014-05-21  4:29 UTC 

Two papers on Axiomatic Cohesion
 2014-05-20 14:54 UTC 

Descent for fibred monads
 2014-05-18  0:43 UTC  (6+ messages)

Days of the Federation devoted to operad theory and to its applications
 2014-05-17 10:35 UTC 

2 years postdoc- 4th June deadline
 2014-05-16 19:53 UTC 

Category theory vs. ZF language in a physics paper
 2014-05-16 17:17 UTC  (2+ messages)

Descent for fibred monads
 2014-05-15 21:09 UTC 

Isbell envelope
 2014-05-14  0:20 UTC  (6+ messages)

FINAL ANNOUNCEMENT: Spring School on Quantum Structures in Physics and Computer Science, 19--22 May 2014
 2014-05-13 17:29 UTC 

Isbell envelope
 2014-05-12 12:33 UTC 

Post-doc position at Convecs team (Inria/LIG)
 2014-05-12  9:27 UTC 

Post doc position in Copenhagen on categories and computational complexity
 2014-05-09  9:33 UTC 

CT2014 in Cambridge: Abstract submission deadline and money for PhD students
 2014-05-06 14:55 UTC 

*** 96th Peripatetic Seminar on Sheaves and Logic - Second announcement ***
 2014-05-06  7:13 UTC 

40th ARTIN meeting
 2014-05-05 13:39 UTC 

Question on factorization systems
 2014-05-05 10:34 UTC  (6+ messages)

QPL 2014: Call for Participation
 2014-05-04  4:27 UTC 

ResearchGate
 2014-05-03 10:17 UTC  (4+ messages)

"Weakly closed" monoidal bicategories?
 2014-05-03  0:36 UTC  (2+ messages)

Higher Structures along the Lower Rhine V
 2014-04-29 12:45 UTC 

history_preprint
 2014-04-28 20:39 UTC 

Answer to Validity of equations 
 2014-04-28 15:32 UTC 

postdoc in Seville
 2014-04-28 14:15 UTC 

Validity_of_equations_in_topos
 2014-04-27 22:26 UTC 

We're back
 2014-04-26  9:44 UTC 

New preprints
 2014-04-25 16:15 UTC 

trimester at IHP -- talks of the first week available online
 2014-04-24 17:52 UTC 

Workshop on Algebra and Coalgebra meet Proof Theory - Call for Participation
 2014-04-24 12:28 UTC 

Poset adjoints
 2014-04-17 15:36 UTC  (2+ messages)

Poset adjoints
 2014-04-17  5:26 UTC 

IHP thematic trimester -- Kick-off meeting -- Tuesday April 22
 2014-04-16  8:05 UTC 

Job posting at Mt. Allison university
 2014-04-11 17:25 UTC 

Workshop Fibrations in Computing 2014 (Fibs'14)
 2014-04-11 15:14 UTC 

Teaching Lectureship in Computer Science at Leicester UK
 2014-04-09  8:44 UTC 

Teaching Lectureship in Computer Science at Leicester UK
 2014-04-09  8:44 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).