"role" vs. "r\^ole"
2007-10-10 1:31 UTC
Help!
2007-10-09 22:33 UTC
"role" vs. "r\^ole"
2007-10-09 21:04 UTC
What is the right abstract definition of "connected"?
2007-10-09 14:43 UTC
locally cartesian closed categories
2007-10-09 14:18 UTC
What is the right abstract definition of "connected"?
2007-10-09 9:31 UTC
locally cartesian closed categories
2007-10-09 7:34 UTC
Help!
2007-10-09 4:41 UTC
What is the right abstract definition of "connected"?
2007-10-08 20:18 UTC
Help!
2007-10-08 18:48 UTC
"Historical terminology"
2007-10-08 18:18 UTC
Historical terminology
2007-10-08 18:02 UTC
Help!
2007-10-08 15:43 UTC
locally cartesian closed categories
2007-10-08 15:28 UTC
Help!
2007-10-08 14:34 UTC
New contact details
2007-10-08 9:34 UTC
Talking to Undergraduates about Category Theory
2007-10-08 6:38 UTC
Help!
2007-10-08 5:10 UTC
"Historical terminology"
2007-10-08 0:12 UTC
Ideal Theory 101 [was: is 0 prime?]
2007-10-07 23:34 UTC
Help!
2007-10-07 23:20 UTC
"Historical terminology"
2007-10-07 21:49 UTC
Help!
2007-10-07 17:11 UTC
Does Bind beat Kleisli in Hilbert space?
2007-10-07 16:44 UTC
TCS 2008: 1st Call for Papers
2007-10-07 16:25 UTC
Help!
2007-10-07 16:16 UTC
Help!
2007-10-07 14:43 UTC
Help!
2007-10-07 10:22 UTC
Help!
2007-10-07 9:23 UTC
Help!
2007-10-07 8:09 UTC
"Historical terminology"
2007-10-07 7:48 UTC
Announcement: Ackermann Award 2007
2007-10-05 22:42 UTC
Ideal Theory 101 [was: is 0 prime?]
2007-10-05 17:59 UTC
Ideal Theory 101 [was: is 0 prime?]
2007-10-05 16:10 UTC
"Historical terminology"
2007-10-05 14:52 UTC
PEPM 2008: abstracts due Oct 12
2007-10-05 13:18 UTC
Help!
2007-10-05 12:52 UTC
Ideal Theory 101 [was: is 0 prime?]
2007-10-05 0:47 UTC
MPC 2008: FIRST CALL FOR PAPERS
2007-10-03 8:34 UTC
Of chickens and eggs [was: is 0 prime?]
2007-10-03 8:27 UTC
Of chickens and eggs [was: is 0 prime?]
2007-10-02 22:29 UTC
CRM Workshop on Derived Categories
2007-10-02 20:38 UTC
On FOM, free Boolean algebras are semantic, not syntactic
2007-10-02 17:05 UTC
On FOM, free Boolean algebras are semantic, not syntactic
2007-10-02 8:37 UTC
Quantale Theory 101 [was: is 0 prime?]
2007-10-02 6:40 UTC
Quantale Theory 101 [was: is 0 prime?]
2007-10-01 16:28 UTC
Ideal Theory 101 [was: is 0 prime?]
2007-10-01 16:28 UTC
The division lattice as a category: is 0 prime?
2007-09-29 14:49 UTC
continuous lattices for analysts??
2007-09-28 15:07 UTC
10th Asian Logic Conference, Kobe, Japan, 2008 (first announcement)
2007-09-28 9:36 UTC
The division lattice as a category: is 0 prime?
2007-09-27 23:36 UTC
continuous lattices for analysts??
2007-09-27 22:14 UTC
The division lattice as a category: is 0 prime?
2007-09-27 21:59 UTC
continuous lattices for analysts??
2007-09-27 20:31 UTC
The division lattice as a category: is 0 prime?
2007-09-27 17:40 UTC
continuous lattices for analysts??
2007-09-27 11:27 UTC
The division lattice as a category: is 0 prime?
2007-09-26 22:01 UTC
category position
2007-09-26 16:56 UTC
LICS Newsletter 111
2007-09-21 13:21 UTC
unital weak functor?
2007-09-20 23:23 UTC
unital weak functor?
2007-09-20 21:20 UTC
Commutative diagrams go public!
2007-09-20 17:53 UTC
unital weak functor?
2007-09-20 16:01 UTC
CT07 pictures
2007-09-20 11:14 UTC
unital weak functor?
2007-09-19 21:03 UTC
unital weak functor?
2007-09-19 19:30 UTC
unital weak functor?
2007-09-19 0:58 UTC
Homomorphisms on Z^n
2007-09-18 16:53 UTC
A multidisciplinary book using categories
2007-09-18 16:06 UTC
Stupid question: what space was Euclid working in? (almost)
2007-09-18 12:36 UTC
J Adamek and W Tholen's 60th
2007-09-17 13:32 UTC
Volume dedicated to J Adamek
2007-09-17 13:17 UTC
Volume dedicated to Walter Tholen's 60th
2007-09-17 12:10 UTC
Stupid question: what space was Euclid working in? (almost)
2007-09-17 12:10 UTC
"prime" monads?
2007-09-17 8:54 UTC
Stupid question: what space was Euclid working in?
2007-09-17 6:56 UTC
Stupid question: what space was Euclid working in?
2007-09-16 16:33 UTC
"prime" monads?
2007-09-16 8:12 UTC
Stupid question: what space was Euclid working in?
2007-09-15 21:06 UTC
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
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).