categories - Category Theory list
 help / color / mirror / Atom feed
GTA positions available (funded PhD)
 2014-12-01 11:15 UTC 

PhD Positions, UC|UP Joint PhD Program in Mathematics, Portugal
 2014-11-30 18:21 UTC 

CT 2015 (Second announcement)
 2014-11-29 12:52 UTC 

Simplified definition of scheme proposed by Grothendieck
 2014-11-28 23:53 UTC 

Simplified definition of scheme proposed by Grothendieck
 2014-11-28 13:53 UTC 

JHRS Volume dedicated to Ronald Brown
 2014-11-28  7:25 UTC 

Simplified definition of scheme proposed by Grothendieck
 2014-11-28  6:34 UTC 

Well-kept secret redux
 2014-11-26 16:57 UTC  (2+ messages)

Doctoral Program on Logical Methods in Computer Science (LogiCS)
 2014-11-26 13:20 UTC 

CALCO 2015: First Call for Papers
 2014-11-25  9:20 UTC 

2nd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)
 2014-11-24 15:36 UTC 

Grothendieck, Topos theory, and the Lawvere element
 2014-11-21  4:33 UTC 

15 funded PhD positions
 2014-11-20 13:49 UTC 

Contact with Grothendieck
 2014-11-18 10:32 UTC  (2+ messages)

Alexandre Grothendieck
 2014-11-18  2:54 UTC 

Alexandre Grothendieck
 2014-11-18  0:12 UTC 

Alexandre Grothendieck
 2014-11-14 16:39 UTC  (4+ messages)
  `  "

Category-theory interactive demonstrations on the Web
 2014-11-14 16:24 UTC 

Grothendieck
 2014-11-14  2:50 UTC 

Request for a reference
 2014-11-13 21:07 UTC  (2+ messages)

First YaMCATS meeting: December 18, Leicester (UK)
 2014-11-13 16:01 UTC 

NNOs in different toposes "the same"?
 2014-11-12 11:37 UTC  (4+ 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 

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