Homomorphisms on Z^n
2007-09-15 9:02 UTC
"prime" monads?
2007-09-15 8:02 UTC
Stupid question: what space was Euclid working in?
2007-09-15 1:45 UTC
"prime" monads?
2007-09-15 1:40 UTC
Stupid question: what space was Euclid working in?
2007-09-14 17:40 UTC
"prime" monads?
2007-09-14 16:30 UTC
Homomorphisms on Z^n
2007-09-14 12:34 UTC
Stupid question: what space was Euclid working in?
2007-09-14 8:24 UTC
Stupid question: what space was Euclid working in?
2007-09-14 6:21 UTC
Stupid question: what space was Euclid working in?
2007-09-14 1:17 UTC
"prime" monads?
2007-09-13 23:06 UTC
"prime" monads?
2007-09-13 22:50 UTC
Stupid question: what space was Euclid working in?
2007-09-13 20:57 UTC
Stupid question: what space was Euclid working in?
2007-09-13 14:25 UTC
Stupid question: what space was Euclid working in?
2007-09-12 23:29 UTC
"prime" monads?
2007-09-12 20:44 UTC
slides and papers
2007-09-12 15:46 UTC
Stupid question: what space was Euclid working in?
2007-09-12 13:42 UTC
Stupid question: what space was Euclid working in?
2007-09-12 9:35 UTC
Stupid question: what space was Euclid working in?
2007-09-12 6:11 UTC
PEPM 2008: abstracts due Oct 12
2007-09-11 12:01 UTC
Stupid question: what space was Euclid working in?
2007-09-11 7:42 UTC
Teaching Category Theory
2007-09-09 11:40 UTC
Workshop on Lie groupoids and Lie algebroids, October 25-27
2007-09-09 11:18 UTC
Teaching Category Theory
2007-09-05 22:36 UTC
JKT statement
2007-09-05 21:00 UTC
Teaching Category Theory
2007-09-05 13:09 UTC
Paper available
2007-09-04 17:51 UTC
Teaching Category Theory
2007-09-04 16:30 UTC
Annoucement of a position in Computer Science
2007-09-04 15:52 UTC
Max Kelly Conference in Cape Town
2007-09-03 22:37 UTC
CfP: 3WFTop proceedings
2007-09-03 16:13 UTC
PSSL86: Last announcement
2007-09-03 12:22 UTC
Teaching Category Theory
2007-09-01 23:36 UTC
Journees Jean-Yves Girard
2007-08-31 14:27 UTC
Journees Jean-Yves Girard
2007-08-31 14:27 UTC
Teaching Category Theory
2007-08-31 13:37 UTC
Teaching Category Theory
2007-08-31 13:34 UTC
Teaching Category Theory
2007-08-31 9:55 UTC
Teaching Category Theory
2007-08-30 17:50 UTC
Maxwell Institute Colloquium on Khovanov Homology
2007-08-29 12:35 UTC
PSSL86: Getting nearer
2007-08-28 13:05 UTC
Categories in geometry
2007-08-28 12:57 UTC
Teaching Category Theory
2007-08-28 1:04 UTC
Preprint: Cubical cospans and higher cobordisms
2007-08-27 9:58 UTC
Teaching Category Theory
2007-08-27 1:58 UTC
Ph.D. scholarships at the IT University of Copenhagen
2007-08-26 7:40 UTC
subdivision
2007-08-25 7:27 UTC
preprint : "Globular realization and cubical underlying homotopy type of time flow of process algebra"
2007-08-23 16:43 UTC
The Dedekind Reals in Abstract Stone Duality
2007-08-18 15:17 UTC
subdivision
2007-08-15 17:35 UTC
Topology and Groupoids , by Ronald Brown
2007-08-14 21:23 UTC
Preprint: Derived semidistributive lattices
2007-08-14 16:36 UTC
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
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).