CALCO-07 - Call for Participation
2007-05-14 12:48 UTC
An obituary for Max
2007-05-14 5:44 UTC
WoLLIC'2007 - Call for Participation
2007-05-12 13:51 UTC
FMCS 2007 - Final Call for Participation
2007-05-11 17:59 UTC
The policy of arXiv
2007-05-09 14:35 UTC
The policy of arXiv
2007-05-09 9:40 UTC
Integrated Formal Methods 2007: Call for participation
2007-05-09 8:17 UTC
Literature on Category Theory and Biology
2007-05-07 19:03 UTC
PSSL 86 in Nancy: Preliminary Announcement
2007-05-07 11:16 UTC
Literature on Category Theory and Biology
2007-05-05 16:42 UTC
Literature on Category Theory and Biology
2007-05-05 16:01 UTC
Literature on Category Theory and Biology
2007-05-05 15:44 UTC
Literature on Category Theory and Biology
2007-05-05 7:19 UTC
Literature on Category Theory and Biology
2007-05-05 2:51 UTC
Beck-Chevalley for presheaves on groupoids?
2007-05-04 20:07 UTC
Literature on Category Theory and Biology
2007-05-04 19:50 UTC
RDP'07 First Call for Participation
2007-05-04 11:37 UTC
3rd announcement of (same) paper
2007-05-03 17:13 UTC
Announcement of paper
2007-05-03 10:35 UTC (2+ messages)
` multiple compositions
Beck-Chevalley for presheaves on groupoids?
2007-05-02 17:55 UTC
ADDCT'07: LAST CFP: Abstract Submission Deadline May 4
2007-05-02 17:09 UTC
C*-algebras
2007-05-02 17:03 UTC
Preprint available: Collared cospans, cohomotopy and TQFT
2007-05-02 9:47 UTC
C*-algebras
2007-05-01 15:34 UTC
Tensor products (and C*-algebras)
2007-05-01 12:53 UTC
C*-algebras
2007-04-30 20:54 UTC
C*-algebras
2007-04-29 4:30 UTC
C*-algebras
2007-04-29 3:26 UTC
C*-algebras
2007-04-28 20:27 UTC
corrected files for paper announced recently
2007-04-26 16:19 UTC
CT2007: Abstract deadline reminder
2007-04-24 7:06 UTC
Postdoctoral Research Positions
2007-04-23 13:35 UTC
Submissions - Kurt Goedel Centenary Research Prize Fellowships
2007-04-20 10:23 UTC
enriched in double categories
2007-04-20 7:33 UTC
Workshop Novosibirsk
2007-04-19 11:21 UTC
Foundation SMP: a new postdoc (et al.) program in Paris
2007-04-16 15:40 UTC
two preprints on Kan extensions in/for double categories
2007-04-16 13:07 UTC
Topos theory in the New Scientist
2007-04-13 22:21 UTC
CFP - From type theory to morphologic complexity
2007-04-13 8:02 UTC
Topos theory in the New Scientist
2007-04-12 21:14 UTC
Sydney Morning Herald today
2007-04-10 23:13 UTC
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
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).