categories - Category Theory list
 help / color / mirror / Atom feed
Dangerous knowledge
 2009-12-03 14:58 UTC 

PhD Program in Mathematics UC|UP
 2009-12-03 14:53 UTC 

Workshop on Categorical Topology
 2009-12-03  9:22 UTC 

Dangerous knowledge
 2009-12-02 17:27 UTC  (15+ messages)
      ` Dangerous times
    ` RE : categories: Re: Dangerous knowledge
` Dangerous ignorance

Homotopy spectral sequences
 2009-12-02 12:14 UTC 

PhD studentships at Nottingham
 2009-12-02 11:35 UTC 

Dangerous knowledge
 2009-12-01  0:29 UTC 

Question on adjoints
 2009-11-30 11:34 UTC  (3+ messages)

QNET - final call for participation - Oxford 10/11 December
 2009-11-27  0:21 UTC 

question on pseudomorphisms
 2009-11-24 19:50 UTC 

question on pseudomorphisms
 2009-11-24  1:13 UTC 

Work-In-Progress
 2009-11-24  0:27 UTC 

question on pseudomorphisms
 2009-11-23 12:55 UTC 

Question on adjoints
 2009-11-23  7:04 UTC 

CMCS 2010: First call for papers
 2009-11-20  9:41 UTC 

(unknown)
 2009-11-19 23:25 UTC 

Re: categorical foundations
 2009-11-18 12:56 UTC  (3+ messages)
`  "

graduate student and postdoc positions at Dalhousie
 2009-11-17 18:54 UTC 

correction
 2009-11-17 15:18 UTC 

double fibrations
 2009-11-16 17:41 UTC 

Question on exact sequence
 2009-11-16 16:43 UTC  (8+ messages)

Exactness question
 2009-11-16 16:15 UTC 

Lambek's lemma
 2009-11-16 11:25 UTC  (12+ messages)
      ` to PTJ

pragmatic foundation
 2009-11-16  2:07 UTC  (15+ messages)
` topos and magic
  ` categorical foundations
  ` infinity

Second call for papers: Mathematics of Program Construction
 2009-11-14 16:29 UTC 

intersections of classes
 2009-11-13 22:15 UTC  (5+ messages)

Question on exact sequence
 2009-11-13  2:05 UTC 

Postdoc Position: University of Ottawa
 2009-11-12 21:45 UTC 

Scottish Category Theory Seminar
 2009-11-12 20:07 UTC 

Question on exact sequence
 2009-11-12 19:58 UTC 

Differentiating folds?
 2009-11-12 15:54 UTC 

pragmatic foundation
 2009-11-12 11:42 UTC 

pragmatic foundation
 2009-11-12  9:07 UTC  (2+ messages)

Question on exact sequence
 2009-11-12  8:12 UTC  (3+ messages)
      ` Question on exact sequence (by G.J.)

SBMF 2010 - First Call for Papers
 2009-11-11 22:52 UTC 

Question on exact sequence
 2009-11-11 17:29 UTC 

Question on exact sequence
 2009-11-11 17:15 UTC 

Question on exact sequence
 2009-11-11 16:34 UTC 

Workshop on Categorical Logic
 2009-11-11 14:36 UTC 

CMS 2010 Summer meeting
 2009-11-11 13:51 UTC 

pragmatic foundation
 2009-11-11  7:13 UTC 

NovemberFest schedule
 2009-11-11  1:33 UTC 

Question on exact sequence
 2009-11-10 20:14 UTC 

Question on exact sequence
 2009-11-10 16:15 UTC 

Question on exact sequence
 2009-11-10 14:44 UTC 

Question on exact sequence
 2009-11-10  3:22 UTC 

Conditions for adjoints -- another variant
 2009-11-09 23:50 UTC 

Question on exact sequence
 2009-11-09 22:57 UTC 

PhD Program at IMT, Lucca
 2009-11-09  9:30 UTC 

pragmatic foundation
 2009-11-07  5:36 UTC 

pragmatic foundation
 2009-11-06 21:14 UTC 

MFPS 26 - First Call for Papers
 2009-11-05 19:06 UTC 

NovemberFest Final Announcement
 2009-11-04  4:34 UTC 

PSSL89
 2009-11-03 16:55 UTC 

One PhD and one Postdoc Position in Coalgebraic Logics
 2009-11-03 13:48 UTC 

call for organizing next AFP summerschool (2010)
 2009-11-02  8:55 UTC 

Conditions for adjoints -- another variant
 2009-11-01  2:20 UTC 

Manin's interview
 2009-10-31 18:31 UTC 

CfP: QNET - Oxford - 10/11 Dec
 2009-10-29 17:21 UTC 

CfP: QNET - Oxford - 10/11 Dec
 2009-10-29 17:21 UTC 

Marta Bunge's email addresses
 2009-10-29  2:17 UTC 

Postdoc program 2010 (Foundation "Sciences Mathematiques de Paris")
 2009-10-27 15:32 UTC 

Postodoc program 2010 (Foundation "Sciences Mathématiques de Paris" )
 2009-10-27 15:32 UTC 

Conditions for adjoints -- another variant
 2009-10-25 10:05 UTC 

Conditions for adjoints
 2009-10-25  9:48 UTC 

Conditions for adjoints -- another variant
 2009-10-25  1:03 UTC 

Conditions for adjoints -- another variant
 2009-10-24 23:11 UTC 

Conditions for adjoints
 2009-10-24 19:51 UTC 

Literature question: "Category theory" and "epigenetics"
 2009-10-24 13:06 UTC 

Preprint available: Bishop's and Lawvere's theories of sets
 2009-10-23 13:36 UTC 

Subject list
 2009-10-23 13:34 UTC 

FMCS 2010: June 12-15th 2010
 2009-10-20 22:50 UTC 

deadline extension: a special session on categorical logic at UNILOG'2010
 2009-10-20  7:27 UTC 

pullback into product
 2009-10-19 23:11 UTC 

pullback into product
 2009-10-19 15:15 UTC 

World Congress, Lisbon 2010 - Call for Papers
 2009-10-16 11:19 UTC 

FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE
 2009-10-15 23:29 UTC 

NovemberFest Accomodations
 2009-10-14 13:48 UTC 

Forum on designing a mathematical reviews website
 2009-10-09 20:53 UTC 

programme du prochain SIC
 2009-10-09  9:50 UTC 

Call for participation: Methods for Modalities 6
 2009-10-07 12:51 UTC 

CFP: Advances in Modal Logic 2010
 2009-10-07  7:27 UTC 

NovemberFest Second Announcement
 2009-10-07  3:04 UTC 

lecturer position in Paris
 2009-10-04 22:18 UTC 

Fwd: Terminology problem with monoidal adjunctions
 2009-10-04 15:07 UTC 

Scottish Category Theory Seminar
 2009-10-02 15:14 UTC 

'Directed Algebraic Topology'
 2009-09-29 11:42 UTC 

Congratulations to Steve
 2009-09-28 23:40 UTC 

Congratulations to Steve
 2009-09-28 21:06 UTC 

'Directed Algebraic Topology'
 2009-09-28 18:43 UTC 

2 new papers on higher category theory
 2009-09-28 10:45 UTC 

PSSL 89
 2009-09-25 14:19 UTC 

CMCS 2010 Pre-announcement/call for papers
 2009-09-25 12:09 UTC 

infty-categories
 2009-09-25  0:33 UTC 

Comma categories
 2009-09-24 22:37 UTC 

Comma categories
 2009-09-24 20:23 UTC 

AC and equivalences
 2009-09-24 15:09 UTC 

question
 2009-09-23 14:17 UTC 

question
 2009-09-23 10:00 UTC 

'Directed Algebraic Topology'
 2009-09-22 21:01 UTC 

'Directed Algebraic Topology'
 2009-09-22 13:12 UTC 

'Directed Algebraic Topology'
 2009-09-22 13:05 UTC 

question
 2009-09-22 12:26 UTC 

question
 2009-09-22 11:56 UTC 

'Directed Algebraic Topology'
 2009-09-22  9:00 UTC 

'Directed Algebraic Topology'
 2009-09-22  8:37 UTC 

question
 2009-09-22  7:04 UTC 

question
 2009-09-22  2:14 UTC 

'Directed Algebraic Topology'
 2009-09-21 23:15 UTC 

Re: 'Directed Algebraic Topology'
 2009-09-21 18:02 UTC 

'Directed Algebraic Topology'
 2009-09-21 15:56 UTC 

question
 2009-09-21 14:54 UTC 

'Directed Algebraic Topology'
 2009-09-21  9:44 UTC 

question
 2009-09-20 13:21 UTC 

World Congress and School of Universal Logic, Lisbon 2010
 2009-09-19 15:46 UTC 

"Conceptual Mathematics"
 2009-09-19  7:53 UTC 

Updates of two old papers
 2009-09-18 23:55 UTC 

'Directed Algebraic Topology'
 2009-09-18 15:23 UTC 

World Congress and School of Universal Logic, Lisbon 2010
 2009-09-17  4:25 UTC 

NovemberFest Information
 2009-09-16 16:37 UTC 

Advertisement for a Professor of Pure Mathematics at the University of Adelaide
 2009-09-16  9:44 UTC 

news from Sheffield
 2009-09-14 23:30 UTC 

professor position again
 2009-09-14  8:48 UTC 

categories and linguistic?
 2009-09-13 21:51 UTC 

Multi-allegories
 2009-09-13 20:48 UTC 

Prochain SIC
 2009-09-12 19:48 UTC 

categories and linguistic?
 2009-09-12  1:33 UTC 

categories and formal verification
 2009-09-12  1:25 UTC 

Categories and linguistics
 2009-09-12  1:12 UTC 

categories and linguistic?
 2009-09-11 22:38 UTC 

Combinatorics and statistics
 2009-09-11 17:51 UTC 

categories and linguistic?
 2009-09-11 17:45 UTC 

categories and inguistic?
 2009-09-11 17:07 UTC 

Prochain SIC
 2009-09-11 16:52 UTC 

categories and linguistic?
 2009-09-11 16:48 UTC 

categories and linguistic?
 2009-09-11 16:24 UTC 

Re Categories_and_linguistic?
 2009-09-11 16:24 UTC 

categories: Catégories and linguistic
 2009-09-10 20:25 UTC 

categories and formal verification
 2009-09-10 16:18 UTC 

categories and linguistic
 2009-09-09 17:55 UTC 

enrichment over augmented simplicial sets
 2009-09-09  9:04 UTC 

Catégories and linguistic
 2009-09-09  1:09 UTC 

categories and formal verification
 2009-09-08 13:53 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).