research positions
2007-12-06 12:02 UTC
For information:
2007-12-06 11:10 UTC
Postodoc program in Paris (Foundation SMP)
2007-12-06 8:30 UTC
LICS Newsletter 112
2007-12-05 15:40 UTC
ICALP 2008: Second Call for Papers
2007-12-05 10:18 UTC
CFP: Theme Issue on Interactions of Algebraic & Coalgebraic Structures
2007-12-01 3:35 UTC
positions in Louvain-la-Neuve
2007-11-29 17:51 UTC
countable Heyting algebras (third try)
2007-11-29 5:01 UTC
countable Heyting algebras
2007-11-26 18:09 UTC
HOCAT 2008
2007-11-26 14:58 UTC
countable Heyting algebras
2007-11-26 6:03 UTC
SCORE: Student COntest in SoftwaRe Engineering (ICSE 2009)
2007-11-23 16:37 UTC
address change
2007-11-21 21:52 UTC
when are Lindenbaum-Tarski algebras complete?
2007-11-21 21:30 UTC
when are Lindenbaum-Tarski algebras complete?
2007-11-21 14:33 UTC
Complete Heyting algebras
2007-11-20 17:08 UTC
Complete Heyting algebras
2007-11-20 14:57 UTC
Complete Heyting algebras
2007-11-20 12:10 UTC
CiE08 - 2nd Call for Papers
2007-11-19 8:04 UTC
morphisms between (particular) hyperdoctrines
2007-11-17 13:35 UTC
Categories in thermodynamics
2007-11-16 16:17 UTC
CT2007 Proceedings
2007-11-16 5:49 UTC
WoLLIC 2008 - Call for Papers
2007-11-15 1:25 UTC
Postdoc positions in Lausanne
2007-11-14 16:02 UTC
First answers
2007-11-13 7:49 UTC
Postdoc positions at Dalhousie
2007-11-12 21:10 UTC
A Position in Theoretical Computer Science in Braunschweig
2007-11-12 14:34 UTC
Droit de reponse
2007-11-11 4:43 UTC
Category Theory papers
2007-11-10 20:46 UTC
References
2007-11-10 15:33 UTC
Monadicity and Descent
2007-11-10 7:22 UTC
References
2007-11-09 18:39 UTC (2+ messages)
References
2007-11-09 18:07 UTC
International Category Theory Conference 2008
2007-11-08 15:14 UTC
The Bulletin of the EATCS goes Open Access
2007-11-08 2:16 UTC
Comma categories
2007-11-08 1:32 UTC
Comma categories
2007-11-08 0:05 UTC
Preprint: Homotopical equivalence of combinatorial and categorical semantics of process algebra
2007-11-07 10:51 UTC
Postdoctoral Position in Quantum Computing / Theoretical Computer Science
2007-11-06 13:13 UTC
Functor derivatives - a question and a result
2007-11-06 11:38 UTC (2+ messages)
Paper announcement: Categorical Models of Classical Logic and GoI
2007-11-06 10:49 UTC
Beck's 1967 Descent Talk
2007-11-06 2:56 UTC
on the history of the Beck-Chevalley condition
2007-11-05 21:04 UTC
Beck, Benabou-Roubaud, etc
2007-11-05 20:49 UTC
References
2007-11-05 13:33 UTC
Comma categories
2007-11-05 12:21 UTC
Partial response to Jean Benabou
2007-11-04 22:12 UTC
Partial respponse to Jean Benabou
2007-11-04 16:16 UTC
Reply to Jean Benabou
2007-11-04 10:32 UTC
References
2007-11-03 23:37 UTC
Apropos a couple of current topics
2007-11-03 16:40 UTC
Apropos a couple of current topics
2007-11-03 9:03 UTC
References
2007-11-03 0:30 UTC
TYPES small workshop on Effects and Type Theory
2007-11-02 17:37 UTC
Comma categories
2007-11-02 16:12 UTC
CMCS 2008: First call for papers
2007-11-02 15:26 UTC
References
2007-11-02 1:55 UTC
DVI, PDF and TAC
2007-11-02 0:56 UTC
Surjective equivalences (Was: Historical terminology,.. and a few other things.)
2007-11-01 16:47 UTC
Diplay Formats
2007-11-01 15:35 UTC
DVI, PDF and TAC
2007-11-01 12:57 UTC
Historical terminology,.. and a few other things
2007-10-31 22:53 UTC
More on Adobe reader 8
2007-10-31 21:35 UTC
Comma categories
2007-10-31 15:20 UTC
More on Adobe reader 8
2007-10-31 12:53 UTC
Warning about Adobe 8
2007-10-30 9:10 UTC
Historical terminology,.. and a few other things
2007-10-30 9:02 UTC
Warning about Adobe 8
2007-10-30 7:58 UTC
Warning about Adobe 8
2007-10-30 3:04 UTC
Warning about Adobe 8
2007-10-29 12:35 UTC
Warning about Adobe 8
2007-10-29 12:20 UTC
Warning about Adobe 8
2007-10-29 7:05 UTC
Warning about Adobe 8
2007-10-29 0:26 UTC
Warning about Adobe 8
2007-10-29 0:13 UTC
Warning about Adobe 8
2007-10-28 13:06 UTC
CSR 2008: First Call for Papers
2007-10-27 12:18 UTC
email address
2007-10-25 16:11 UTC
Max Kelly Conference: in addition to SECOND ANNOUNCEMENT
2007-10-24 20:28 UTC
MFPS 24 First Call for Papers
2007-10-24 17:03 UTC
Assoc. Prof. position at IT University of Copenhagen
2007-10-23 9:32 UTC
Max Kelly Conference in Cape Town: SECOND ANNOUNCEMENT
2007-10-19 23:49 UTC
[cmath] Homotopy Theory Postdoctoral Fellowship - University of Western Ontario, Department of Mathematics (fwd)
2007-10-18 15:32 UTC
Advanced Course on Simplicial Methods in Higher Categories
2007-10-17 17:11 UTC
Benford's Law
2007-10-17 12:08 UTC
CT07, thanks for your help!
2007-10-17 9:44 UTC
Benford's law
2007-10-17 2:51 UTC
Benford's Law
2007-10-16 17:07 UTC
CT07, please help identifying more participants!
2007-10-16 11:56 UTC
connectedness fibrationally
2007-10-16 10:59 UTC
week257
2007-10-16 0:07 UTC
connectedness
2007-10-15 13:29 UTC
week257
2007-10-15 3:07 UTC
connectedness
2007-10-14 23:56 UTC
connectedness
2007-10-14 23:44 UTC
Preprint: Homotopical interpretation of globular complex by multipointed d-space
2007-10-14 17:59 UTC
[fomi2008] FOMI 2008 - First Announcement and Call for Papers
2007-10-12 14:02 UTC
connectedness
2007-10-12 13:53 UTC
PSSL 87 in Patras - Honouring A. Kock, on the occasion of his 70th birthday
2007-10-12 8:06 UTC
"role" vs. "r\^ole"
2007-10-12 4:37 UTC
"role" vs. "r\^ole"
2007-10-12 4:30 UTC
"role" vs. "r\^ole"
2007-10-12 0:43 UTC
What is the right abstract definition of "connected"?
2007-10-11 23:05 UTC
CFP: TAP 2008 - The Second International Conference on Tests and Proof
2007-10-11 22:35 UTC
What is the right abstract definition of "connected"?
2007-10-11 18:48 UTC
"role" vs. "r\^ole"
2007-10-11 3:43 UTC
"role" vs. "r\^ole"
2007-10-11 3:04 UTC
"role" vs. "r\^ole"
2007-10-11 2:04 UTC
What is the right abstract definition of "connected"?
2007-10-10 22:08 UTC
Re: "role" vs. "r\^ole"
2007-10-10 21:39 UTC
"role" vs. "r\^ole"
2007-10-10 21:11 UTC
What is the right abstract definition of "connected"?
2007-10-10 20:43 UTC
Does Bind beat Kleisli in Hilbert space?
2007-10-10 17:36 UTC
errata
2007-10-10 13:58 UTC
What is the right abstract definition of "connected"?
2007-10-10 12:00 UTC
"role" vs. "r\^ole"
2007-10-10 9:17 UTC
"role" vs. "r\^ole"
2007-10-10 8:27 UTC
"role" vs. "r\^ole"
2007-10-10 6:34 UTC
"role" vs. "r\^ole"
2007-10-10 4:42 UTC
"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
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).