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
Question on exact sequence
2009-11-15 14:35 UTC (7+ messages)
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
Postodoc program 2010 (Foundation "Sciences Mathématiques de Paris" )
2009-10-27 15:32 UTC
Postdoc program 2010 (Foundation "Sciences Mathematiques 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
categories and formal verification
2009-09-08 7:20 UTC
typed lambda calculus:cartesian closed :sorted pi calculus:?
2009-09-05 2:06 UTC
Ph.D. scholarships at the IT University of Copenhagen
2009-09-04 7:57 UTC
Ph.D. scholarships at the IT University of Copenhagen
2009-09-04 7:57 UTC
papers
2009-09-01 16:11 UTC
Wikibook
2009-08-29 20:22 UTC
typed lambda calculus:cartesian closed :sorted pi calculus:?
2009-08-29 17:52 UTC
typed lambda calculus:cartesian closed :sorted pi calculus:?
2009-08-29 17:27 UTC
Novemberfest
2009-08-28 22:54 UTC
typed lambda calculus:cartesian closed :sorted pi calculus:?
2009-08-25 17:40 UTC
The Wikibook on Category Theory
2009-08-23 20:11 UTC
pushouts in REL
2009-08-22 19:08 UTC
[ALGTOP-L] history of ``twisted cohomology" and nonabelian cohomology
2009-08-22 17:43 UTC
pushouts in REL
2009-08-22 9:00 UTC
pushouts in REL
2009-08-21 23:45 UTC
pushouts in REL
2009-08-21 22:02 UTC
Reference on coverages
2009-08-21 21:44 UTC
pushouts in REL
2009-08-21 21:36 UTC
pushouts in REL
2009-08-21 20:38 UTC
workshop on commutativity of diagrams
2009-08-21 20:24 UTC
Reference on coverages
2009-08-21 19:32 UTC
list interruption
2009-08-20 22:21 UTC
pushouts in REL
2009-08-20 21:38 UTC
Reference on coverages
2009-08-20 20:10 UTC
Re: The Wikibook on Category Theory
2009-08-20 18:48 UTC
The Wikibook on Category Theory
2009-08-20 18:26 UTC
pushouts in REL
2009-08-20 10:01 UTC
The Wikibook on Category Theory
2009-08-19 16:42 UTC
The Wikibook on Category Theory
2009-08-19 14:05 UTC
The Wikibook on Category Theory
2009-08-18 20:42 UTC
The Wikibook on Category Theory
2009-08-18 20:19 UTC
[ALGTOP-L] history of ``twisted cohomology" and nonabelian cohomology
2009-08-18 15:05 UTC
Paper: On the asymptotic magnitude of subsets of Euclidean space
2009-08-15 22:14 UTC
The Wikibook on Category Theory
2009-08-14 22:04 UTC
The Wikibook on Category Theory
2009-08-14 18:19 UTC
The Wikibook on Category Theory
2009-08-13 16:14 UTC
Yoneda and density
2009-08-10 16:45 UTC
Yoneda and density
2009-08-09 10:21 UTC
PSSL 89
2009-08-09 9:46 UTC
LATA 2010: call for papers
2009-08-06 18:02 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).