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: next (older) | prev (newer) | 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).