Editorial Board of 'K-Theory' has resigned
2007-08-08 12:03 UTC
Editorial Board of 'K-Theory' has resigned
2007-08-08 2:06 UTC
Editorial Board of 'K-Theory' has resigned
2007-08-07 13:06 UTC
Editorial Board of 'K-Theory' has resigned
2007-08-07 11:19 UTC
PEPM 2008
2007-08-06 13:00 UTC
Coalgebraic and Categorical Quantum Logic in Oxford
2007-08-04 11:14 UTC
last PhD thesis from Bangor
2007-08-01 11:45 UTC
Answers to: definition of parsimony
2007-08-01 8:26 UTC
definition of parsimony
2007-07-31 17:10 UTC
definition of parsimony
2007-07-30 16:30 UTC
definition of parsimony
2007-07-30 6:24 UTC
correction w.r.t. generic finite family of finite objects
2007-07-27 15:14 UTC
answer by Blass: generic family
2007-07-26 10:29 UTC
CRM 2007/2008: Homotopy Theory and Higher Categories
2007-07-25 18:32 UTC
pivotal adjoints?
2007-07-25 13:27 UTC
pivotal adjoints?
2007-07-25 11:45 UTC
Bicomma objects
2007-07-24 23:54 UTC
CFP: FoIKS 2008
2007-07-24 19:55 UTC
Workshop in honour of J Adamek and W Tholen
2007-07-24 19:00 UTC
Bicomma objects
2007-07-24 16:02 UTC
2nd CFP: ACM SAC Special Track on Coordination Models, Languages and Architectures
2007-07-24 13:54 UTC
generic families of finite sets in toposes with nno ?
2007-07-24 13:25 UTC
Maps of monads - references
2007-07-22 9:14 UTC
Graduate Teaching Assistant in Computer Science, University of Leicester
2007-07-20 23:36 UTC
pivotal adjoints?
2007-07-19 18:05 UTC
PSSL86: The website is now open
2007-07-19 13:23 UTC
Actions of monoidal functors [was Re: Arens product]
2007-07-19 4:46 UTC
tensorial strength
2007-07-18 15:23 UTC
MCU 2007: Call for Participation - Poster and Open Session
2007-07-18 13:12 UTC
tensorial strength
2007-07-18 8:52 UTC
Actions of monoidal functors [was Re: Arens product]
2007-07-17 18:11 UTC
Arens product
2007-07-17 10:59 UTC
categorical literature on Arens products?
2007-07-17 0:30 UTC
Call for papers: Proceedings of TYPES 2007
2007-07-13 16:23 UTC
Journees Jean-Yves Girard FREE REGISTRATION OPEN
2007-07-13 15:46 UTC
Isbell duality
2007-07-13 11:22 UTC
Lectureship in Computer Science
2007-07-13 11:11 UTC
Isbell duality
2007-07-12 1:20 UTC
Maps of monads - references
2007-07-11 13:04 UTC
Maps of monads - references
2007-07-11 0:31 UTC
Maps of monads - references
2007-07-10 21:54 UTC
CT 07 June 17 - 23, 2007
2007-07-10 19:54 UTC
Maps of monads - references
2007-07-10 19:39 UTC
Maps of monads - references
2007-07-10 13:25 UTC
Lecturer in Computer Science, University of Leicester
2007-07-09 22:41 UTC
Post-doc position in the European project Credo
2007-07-09 14:28 UTC
Isbell duality
2007-07-06 16:55 UTC
Paper: Euler characteristic as a divergent sum
2007-07-06 15:50 UTC
New junior research positions in mathematics at IST
2007-07-02 21:58 UTC
CT Advisory Committee
2007-07-02 21:34 UTC
John Robinson, Sculptor
2007-06-29 21:32 UTC
COALGEBRAIC LOGIC in Oxford, August 10-11
2007-06-28 14:26 UTC
COALGEBRAIC LOGIC in Oxford, August 10-11
2007-06-28 8:27 UTC
Categorical Quantum Logic in Oxford, August 11-12
2007-06-27 17:54 UTC
First Call for Papers --- ICALP 2008
2007-06-27 7:46 UTC
CT2007 slides
2007-06-26 14:53 UTC
papers
2007-06-25 15:20 UTC
CALCO'07 - call for participation
2007-06-21 10:30 UTC
PhD on refactoring at Oxford
2007-06-17 17:50 UTC
IEEE publications
2007-06-13 17:18 UTC
Traces Workshop at LICS/ICALP July 15
2007-06-13 13:56 UTC
A Position in Theoretical Computer Science
2007-06-13 13:17 UTC
Applied Categorical Structures and other overpriced journals
2007-06-13 8:36 UTC
list interruption
2007-06-12 21:03 UTC
Applied Categorical Structures and other overpriced journals
2007-06-12 0:13 UTC
Applied Categorical Structures and other overpriced journals
2007-06-11 14:55 UTC
Applied Categorical Structures and other overpriced journals
2007-06-09 16:45 UTC
Jean-Yves Girard's Festschrift
2007-06-08 19:39 UTC
Applied Categorical Structures
2007-06-08 16:41 UTC
Dirac quotation
2007-06-08 9:25 UTC
Applied Categorical Structures
2007-06-07 13:04 UTC
Reed Elsevier gives in
2007-06-07 10:12 UTC
GRADUATE TEACHING ASSISTANT (PhD) - Leicester, UK
2007-06-07 8:00 UTC
Lawvere's Measures on toposes
2007-06-06 14:32 UTC
Lawvere's Measures on toposes
2007-06-05 20:09 UTC
Reed Elsevier gives in
2007-06-04 14:50 UTC
CT07 Proceedings
2007-06-04 5:00 UTC
FW: Victory: Reed Elsevier gives in
2007-06-01 16:37 UTC
Workshop in honour of J Adamek and W Tholen
2007-06-01 12:15 UTC
Kurt Goedel Fellowships - Call for Submissions
2007-06-01 10:43 UTC
hyperdoctrines and cylindric algebras
2007-05-31 15:23 UTC
preprint available
2007-05-31 7:16 UTC
hyperdoctrines and cylindric algebras (Correction)
2007-05-29 14:37 UTC
hyperdoctrines and cylindric algebras (Correction)
2007-05-28 20:03 UTC
hyperdoctrines and cylindric algebras
2007-05-24 4:46 UTC
LICS 2007 - Call for Participation
2007-05-23 10:48 UTC
hyperdoctrines and cylindric algebras
2007-05-23 7:47 UTC
Book - Finite Model Theory and Its Applications
2007-05-18 17:52 UTC
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
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).