categories - Category Theory list
 help / color / mirror / Atom feed
NNOs in different toposes "the same"?
 2014-11-11 13:01 UTC  (2+ messages)

Research fellowship at Edinburgh
 2014-11-10 19:49 UTC 

Journal of K-Theory effectively defunct
 2014-11-06  1:51 UTC 

jobs at Macquarie
 2014-11-05 22:27 UTC 

[TYPES] origin of the term "hom-set"?
 2014-11-05 18:27 UTC 

Tenure Track Position at Denison University
 2014-11-05 12:24 UTC 

jobs at Macquarie
 2014-11-03  5:38 UTC 

Limit-sketchability
 2014-10-27 11:22 UTC  (2+ messages)

Double Dualization: Functions on vs. Figures in
 2014-10-27  4:37 UTC 

Workshop in Category Theory and Algebraic Topology
 2014-10-23 12:18 UTC 

non-unital monads
 2014-10-20 23:22 UTC  (5+ messages)

CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)
 2014-10-20 19:19 UTC 

non-unital monads
 2014-10-20 18:22 UTC 

non-unital monads
 2014-10-19 21:28 UTC 

Journal pricing
 2014-10-19 11:40 UTC 

TLCA: 1st CALL for PAPERS
 2014-10-16  6:06 UTC 

PSSL97 - First announcement
 2014-10-14 12:18 UTC 

Announcement: Topology, Algebra, and Categories in Logic (TACL2015)
 2014-10-12 10:18 UTC 

LICS 2015 - First Call for Papers
 2014-10-11 11:02 UTC 

Coherence for tricategories
 2014-10-10 17:55 UTC 

Mathematics of Program Construction (MPC 2015): first call for papers
 2014-10-10 13:57 UTC 

a note on sources of my text of fibered categories
 2014-10-03 21:27 UTC  (2+ messages)

Reference search: new categories by replacing morphisms with diagrams
 2014-09-26 21:14 UTC  (4+ messages)

Soundness of commutative diagram proofs
 2014-09-26  1:29 UTC  (3+ messages)

Dietmar Schumacher
 2014-09-25 18:00 UTC 

5Yr Fellowships
 2014-09-25 15:15 UTC 

tenure(track) position in Nijmegen, The Netherlands
 2014-09-24 10:59 UTC 

K-Theory Foundation
 2014-09-23 20:39 UTC 

Dietmar Schumacher
 2014-09-23  1:23 UTC 

Dietmar Schumacher
 2014-09-23  1:14 UTC  (5+ messages)

SERA 2015 - CFP
 2014-09-22 20:34 UTC 

CSR 2015: First Call for Papers
 2014-09-18 10:59 UTC 

papers on colimits of monads available
 2014-09-17 12:59 UTC 

looking for a reference
 2014-09-14 19:10 UTC 

looking for a reference
 2014-09-14 14:41 UTC  (2+ messages)
`  "

ATVA 2014: Call for Participation
 2014-09-10 21:42 UTC 

CT2015
 2014-09-10  8:40 UTC 

INFORMATIK 2014
 2014-09-08 10:54 UTC 

Is the category of group actions LCCC?
 2014-09-06  7:47 UTC 

Is the category of group actions LCCC?
 2014-09-05 18:33 UTC  (9+ messages)
` Is the category of group actions LCCC

Refining the function of the Categories List
 2014-09-05  0:41 UTC 

Functional programming and William Lawvere's notion of "variable sets"(vs topos of "static sets") in a Topos 
 2014-09-04 12:07 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

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  (4+ messages)

Jim Lambek
 2014-06-26  7:25 UTC 

Jim Lambek
 2014-06-25 11:18 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).