categories - Category Theory list
 help / color / mirror / Atom feed
Is the category of group actions LCCC?
 2014-09-03  1:01 UTC  (2+ messages)

Uniform locales in Shv(X)
 2014-08-29 15:29 UTC 

celebration of Jim Lambek
 2014-08-28 21:43 UTC 

Uniform locales in Shv(X)
 2014-08-28 17:10 UTC  (6+ messages)

Grigori (Grisha) Mints
 2014-08-25 19:24 UTC 

V-Cat, V-Prof as symmetric monoidal bicategories
 2014-08-22  5:42 UTC 

Uniform locales in Shv(X)
 2014-08-21 14:51 UTC  (2+ messages)

Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France
 2014-08-18 15:40 UTC 

postdoc grants in Portugal
 2014-08-18 15:15 UTC 

Book available
 2014-08-11  7:01 UTC 

A condition for functors to reflect orthogonality
 2014-08-06 23:35 UTC  (3+ messages)

YT at Seoul ICM 2014
 2014-08-06  6:52 UTC 

Final objects in 2-categories
 2014-08-05 15:30 UTC  (5+ messages)

Strictification avoids Choice?
 2014-08-05  5:44 UTC 

Present and future
 2014-08-04 14:52 UTC  (4+ messages)

Composition of Fibrations
 2014-08-04 14:47 UTC  (19+ messages)
` cleavages and choice

Functional programming and William Lawvere's notion of "variable sets"(vs topos of "static sets") in a Topos 
 2014-08-04  7:03 UTC 

Fred's letter
 2014-08-02 15:13 UTC 

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 

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 

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).