CNRS postdoctoral position in Paris
2007-04-10 10:37 UTC
FMCS 2007 - Call for Participation
2007-04-07 21:21 UTC
John Robinson
2007-04-07 9:19 UTC
Co-algebraic structure of the typed lambda-calculus
2007-04-03 21:21 UTC
"Mathematical Applications of Category Theory"
2007-04-03 20:48 UTC
Full and faithful
2007-04-03 12:31 UTC
Alexandroff-Urysohn paper
2007-04-02 20:36 UTC
Alexandroff-Urysohn paper
2007-04-02 19:55 UTC
ICTAC 2007: Final call for papers
2007-04-02 6:10 UTC
Alexandroff-Urysohn paper
2007-04-02 2:30 UTC
Full and faithful
2007-03-30 17:44 UTC
functions not polynomials
2007-03-29 3:47 UTC
SOS 2007 - Final Call for Papers
2007-03-29 1:05 UTC
A preprint on Weak cubical categories
2007-03-27 9:30 UTC
functions not polynomials
2007-03-26 19:26 UTC
2cfc: CALCO-jnr 2007: CALCO Young Researchers Workshop, Bergen, Norway
2007-03-23 10:37 UTC
functions not polynomials
2007-03-22 5:56 UTC
Thesis Fellowship in Theoretical Computer Science
2007-03-21 16:53 UTC
functions not polynomials
2007-03-21 16:39 UTC
functions and polynomials
2007-03-21 11:06 UTC
Out of Line
2007-03-17 17:52 UTC
CiE 2007 - Call for informal presentations
2007-03-16 22:52 UTC
Postdoctoral Fellowship in France
2007-03-14 8:33 UTC
Programming Languages and Mechanized Mathematics Workshop
2007-03-12 21:14 UTC
MFPS 23 Call for Participation
2007-03-12 19:41 UTC
Post Doc Position in Paris
2007-03-12 14:38 UTC
further on Garner's question
2007-03-12 9:23 UTC
monic epics
2007-03-11 22:37 UTC
further on Garner's question
2007-03-10 15:58 UTC
Garner's question
2007-03-10 11:49 UTC
Position announcement in Paris 7 University
2007-03-10 10:49 UTC
relations on graphs
2007-03-09 22:40 UTC
Early CT problems that are still open
2007-03-09 22:22 UTC
relations on graphs
2007-03-09 19:10 UTC
relations on graphs
2007-03-09 17:49 UTC
relations on graphs
2007-03-09 17:02 UTC
relations on graphs
2007-03-09 15:33 UTC
relations on graphs
2007-03-09 10:01 UTC
dagger?
2007-03-09 3:31 UTC
Tricategories
2007-03-08 18:37 UTC
Final Announcement-Traces Workshop
2007-03-08 17:31 UTC
Addendum re epis in cat
2007-03-08 15:17 UTC
relations on graphs
2007-03-08 15:15 UTC
Re: monic epics
2007-03-08 15:13 UTC
monic epics
2007-03-07 20:53 UTC
monic epics
2007-03-07 20:23 UTC
pullback
2007-03-07 20:18 UTC
Assoc. Professorship Opening
2007-03-07 19:31 UTC
epic monics
2007-03-07 18:45 UTC
dagger vs involutive
2007-03-07 15:13 UTC
monic epics
2007-03-07 12:40 UTC (2+ messages)
monic epics
2007-03-07 11:47 UTC
monic epics
2007-03-07 5:30 UTC
more dagger problems
2007-03-07 4:44 UTC
dagger?
2007-03-07 3:51 UTC
monic epics
2007-03-07 3:41 UTC
bigger dagger problems
2007-03-07 3:06 UTC
pullback
2007-03-07 2:09 UTC
more dagger problems
2007-03-07 1:21 UTC
Details
2007-03-06 23:55 UTC
the term "pushout"
2007-03-06 22:12 UTC
dagger vs involutive
2007-03-06 19:37 UTC
meaningful and formalistic names
2007-03-06 10:05 UTC
dagger vs involutive
2007-03-05 23:06 UTC
Mac Lane
2007-03-05 22:58 UTC
dagger vs involutive
2007-03-05 22:19 UTC
FMCS 2007 - Call for Participation
2007-03-05 20:58 UTC
dagger vs involutive
2007-03-05 12:38 UTC
Workshop (Dedicated to J-Y. Girard)
2007-03-05 12:14 UTC
dagger and involution
2007-03-04 18:49 UTC
terminology: dagger and involution
2007-03-03 5:15 UTC
dagger and involution
2007-03-03 2:52 UTC
terminology: dagger and involution
2007-03-02 21:53 UTC
terminology: dagger and involution
2007-03-02 3:34 UTC
terminology: dagger and involution
2007-03-01 9:21 UTC
Yuri Matiyasevich - 60! Call for papers
2007-02-28 16:52 UTC
SECA4
2007-02-28 9:55 UTC
terminology: dagger and involution
2007-02-28 8:19 UTC
preprints available
2007-02-26 16:22 UTC
terminology: dagger and involution
2007-02-26 16:22 UTC
Thanks from Imogen
2007-02-26 10:14 UTC
CT2007: Important dates
2007-02-22 20:56 UTC
A dagger compact closed category with biproducts, but without dagger biproducts (was: categories: Re: Equalisers and coequalisers in categories with a \dag-involution)
2007-02-22 12:56 UTC
New Journal: Algebra and Number Theory
2007-02-19 17:13 UTC
job opening
2007-02-19 13:14 UTC
Equalisers and coequalisers in categories with a \dag-involution
2007-02-17 17:39 UTC
Equalisers and coequalisers in categories with a \dag-involution
2007-02-16 21:08 UTC
[3WFTop]: Third Workshop on Formal Topology, Second Announcement
2007-02-16 18:49 UTC
Equalisers and coequalisers in categories with a \dag-involution
2007-02-16 10:14 UTC
Equalisers and coequalisers in categories with a \dag-involution
2007-02-16 6:39 UTC
Lectureship in Foundations at Sussex
2007-02-15 17:12 UTC
Equalisers and coequalisers in categories with a \dag-involution
2007-02-14 22:13 UTC
SOS 2007 - Call for Papers
2007-02-14 12:34 UTC
A web page for Max
2007-02-14 10:03 UTC
Second CFP: 23rd International Conference on Logic Programming (ICLP 2007)
2007-02-14 9:37 UTC
MFPS 23 Registration Now Open
2007-02-13 19:30 UTC
PhD in Theoretical Computer Science
2007-02-13 8:24 UTC
PSSL 85 - Call for participation
2007-02-12 23:46 UTC
Positions at Oxford: refactoring tools
2007-02-12 16:22 UTC
higher categories and their applications
2007-02-12 3:46 UTC
Call for participation: FSEN07 + IFIP tutorial
2007-02-08 7:46 UTC
email change
2007-02-04 11:12 UTC
job opening
2007-02-03 15:51 UTC
ACCAT workshop at ETAPS 2007
2007-02-03 15:43 UTC
Max Kelly
2007-02-03 3:40 UTC
2 events related to JY Girard's 60th birthday
2007-02-02 15:23 UTC
Max
2007-02-02 12:51 UTC
ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III
2007-02-02 8:39 UTC
Max
2007-02-01 21:57 UTC
Summer School , Haute Bodeux June 2007
2007-02-01 18:41 UTC
Max
2007-02-01 14:28 UTC
Max
2007-02-01 10:44 UTC
Letter to Max
2007-01-31 20:17 UTC
Max
2007-01-31 18:23 UTC
Address change reminder
2007-01-31 6:52 UTC
Max Kelly; Funeral Notice
2007-01-31 2:35 UTC
ETAPS 2007: Call for Participation
2007-01-30 11:14 UTC
Max Kelly, a master of coherence
2007-01-29 20:11 UTC
Max
2007-01-29 11:15 UTC (2+ messages)
Max
2007-01-28 16:39 UTC
terminology
2007-01-27 17:06 UTC
Max
2007-01-27 15:31 UTC
WoLLIC'2007 - CfP
2007-01-27 10:02 UTC
terminology
2007-01-26 23:30 UTC
Exactness without pullbacks
2007-01-22 17:04 UTC
preprint : Towards an homotopy theory of process algebra
2007-01-22 11:18 UTC
Eilenberg: seeking a copy of lecture notes
2007-01-20 15:35 UTC
Exactness without pullbacks
2007-01-20 3:15 UTC
Postdoctoral position at U. Ottawa
2007-01-19 20:38 UTC
semi direct product
2007-01-19 19:26 UTC
Grothendieck construction
2007-01-19 18:44 UTC
Exactness without pullbacks
2007-01-19 18:35 UTC
Call for participation and abstracts: BCTCS, Oxford, 2-5 Apr
2007-01-19 17:06 UTC
Exactness without pullbacks
2007-01-19 16:33 UTC
Exactness without pullbacks
2007-01-19 14:23 UTC
semi direct product
2007-01-19 8:50 UTC
Exactness without pullbacks
2007-01-19 6:36 UTC
Grothendieck construction
2007-01-18 19:50 UTC
Second Announcement of Fields Workshop on Traced Monoidal Cats
2007-01-18 6:18 UTC
semi direct product
2007-01-17 13:52 UTC
Grothendieck construction
2007-01-17 8:47 UTC
Grothendieck construction
2007-01-17 1:23 UTC
Grothendieck construction
2007-01-16 14:17 UTC
IEEE Computer Security Foundations Symposium 2007 - CFP
2007-01-16 9:16 UTC
Workshop announcement (Domains VIII)
2007-01-11 10:52 UTC
A question about literature on operads and coherence
2007-01-10 17:34 UTC
ICLP 2007: Call for Workshop Proposals
2007-01-10 11:23 UTC
groupoids versus homotopy 1-types
2007-01-05 17:06 UTC
Small semirings
2007-01-05 0:25 UTC
Call for volunteers
2007-01-04 23:59 UTC
Small semirings
2007-01-04 21:26 UTC
Small semirings
2007-01-04 16:52 UTC
USMC'07: Final call for talks and registration
2007-01-04 11:25 UTC
Small semirings
2007-01-03 22:09 UTC
What is needed for an online journal
2007-01-03 9:46 UTC
What is needed for an online journal
2007-01-02 12:10 UTC
A book
2007-01-02 3:18 UTC
What is needed for an online journal
2007-01-01 1:26 UTC
What is needed for an online journal
2006-12-31 20:30 UTC
What is needed for an online journal
2006-12-31 17:16 UTC
Announcement of Fields Workshop on Traced Monoidal Cats
2006-12-31 0:06 UTC
Correct address of the NUMDAM site for Cahiers
2006-12-28 15:49 UTC
Elsevier
2006-12-27 22:40 UTC
groupoids versus homotopy 1-types
2006-12-27 18:53 UTC
Elsevier
2006-12-25 3:14 UTC
Equitable Mathematics
2006-12-24 22:38 UTC
CT2007 - second announcement
2006-12-22 17:28 UTC
Elsevier
2006-12-21 19:40 UTC
conference announcement
2006-12-20 16:24 UTC
ArXiv and ethics
2006-12-20 12:41 UTC
Equitable Mathematics
2006-12-19 23:13 UTC
Elsevier
2006-12-19 18:32 UTC
Equitable Mathematics
2006-12-19 18:18 UTC
Equitable Mathematics
2006-12-19 16:19 UTC
Fair Mathematics
2006-12-19 16:15 UTC
Equitable Mathematics
2006-12-19 16:13 UTC
Elsevier
2006-12-19 15:02 UTC
Equitable Mathematics
2006-12-19 14:44 UTC (2+ messages)
Elsevier
2006-12-19 10:38 UTC
Fair Mathematics
2006-12-19 0:46 UTC
Equitable Mathematics
2006-12-19 0:18 UTC
Equitable Mathematics
2006-12-19 0:15 UTC
[esc-plus] Digitization - European Progress and more (fwd)
2006-12-18 23:16 UTC
Fair Mathematics
2006-12-18 20:17 UTC
Elsevier
2006-12-18 15:26 UTC
A double bicategory of cobordisms with boundary
2006-12-18 8:23 UTC
Elsevier
2006-12-17 14:16 UTC (2+ messages)
Gabor Lukacs in the Globe and Mail
2006-12-17 13:27 UTC
"Elsevier NOT about weapons trade"
2006-12-15 16:27 UTC
CALCO 2007 - Call for Papers
2006-12-15 13:17 UTC
Peronal webpage on Locale Theory/Topos Theory
2006-12-15 10:35 UTC
Gabor Lukacs in the Globe and Mail
2006-12-15 4:27 UTC
What was left out [Re: FW: Gabor Lukacs in the Globe and Mail]
2006-12-15 2:15 UTC
Gabor Lukacs in the Globe and Mail
2006-12-14 12:52 UTC
A question about extensive categories
2006-12-14 9:29 UTC
A canonical algebra
2006-12-13 22:28 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).