Equational correspondence and equational embedding
2008-04-15 14:06 UTC
Equational correspondence and equational embedding
2008-04-15 12:07 UTC
Research Associate in Semantics of Computation
2008-04-15 9:39 UTC
[ICGT'08 Doctoral Symposium] Call for Abstract Submissions
2008-04-15 8:21 UTC
[MPC'08] First call for participation
2008-04-14 8:14 UTC
First Call for Participation TFP 2008, The Netherlands
2008-04-10 19:04 UTC
Dedekind cuts
2008-04-07 16:10 UTC
symmetric monoidal closed bicategory definition?
2008-04-07 4:19 UTC
MFPS 24 Call for Participation
2008-04-07 2:53 UTC
symmetric monoidal closed bicategory definition?
2008-04-03 20:45 UTC
AJSE-Gentle Reminder
2008-04-02 19:19 UTC
exploiting similarities and analogies
2008-04-02 18:59 UTC
CT08 - Registration and accommodation deadlines
2008-04-02 15:44 UTC
The Rankin Lectures 2008
2008-04-02 15:39 UTC
LICS Newsletter 115
2008-04-02 10:38 UTC
exploiting similarities and analogies
2008-04-01 5:50 UTC
exploiting similarities and analogies
2008-03-31 19:51 UTC
FMCS 2008, Halifax - please register!
2008-03-28 20:31 UTC
MSFP second call for papers
2008-03-22 11:09 UTC
E. W. Beth Dissertation Prize: 2008 call for submissions
2008-03-21 14:21 UTC
Submission deadline March 31 for QUANTUM PHYSICS AND LOGIC & DEVELOPMENTS IN COMPUTATIONAL MODELS, Reykjavik, Iceland, July 12-13, 2008
2008-03-20 16:20 UTC
a tentative answer to Paul
2008-03-20 13:22 UTC
Fundamenta Informaticae / Special issue / Machines, Computations and Universality
2008-03-20 10:07 UTC
[gratra] ICGT 2008 - Call for Papers
2008-03-20 9:13 UTC
A question on adjoints
2008-03-19 23:41 UTC
A question on adjoints
2008-03-19 18:43 UTC
categorical formulations of Replacement
2008-03-19 13:02 UTC
categorical formulations of Replacement
2008-03-19 11:54 UTC
A question on adjoints
2008-03-19 5:43 UTC
question to Colin about uniqueness in his Replacement axiom
2008-03-18 22:28 UTC
The internal logic of a topos
2008-03-18 18:19 UTC
A question on adjoints
2008-03-18 18:11 UTC
CSL 2008 - Last CfP - Deadline is March 28th
2008-03-18 15:18 UTC
question to Colin about uniqueness in his Replacement axiom
2008-03-18 11:50 UTC
internal versus external
2008-03-18 1:14 UTC (2+ messages)
Max Kelly Volume of APCS
2008-03-17 21:11 UTC
trying to answer some of Paul's questions
2008-03-17 15:17 UTC
The internal logic of a topos
2008-03-17 14:40 UTC
The Category of Semimodules over Semirings
2008-03-17 11:36 UTC
LICS Newsletter 114
2008-03-17 10:43 UTC
HOCAT 2008
2008-03-17 10:22 UTC
Workshop on Categorical Groups
2008-03-17 10:05 UTC
First announcement of ATMCS III conference in Paris, France and Call for Papers
2008-03-17 9:01 UTC
mathematical articles in online encyclopedias
2008-03-17 8:22 UTC
The internal logic of a topos
2008-03-17 6:36 UTC
The Category of Semimodules over Semirings
2008-03-17 2:25 UTC
The Category of Semimodules over Semirings
2008-03-16 17:43 UTC
replacement and iterated powersets
2008-03-16 16:25 UTC
replacement and the gluing construction
2008-03-16 15:46 UTC
The Category of Semimodules over Semirings
2008-03-16 14:49 UTC
The Category of Semimodules over Semirings
2008-03-16 1:32 UTC
replacing set theory
2008-03-15 21:15 UTC
I was partly wrong
2008-03-15 4:49 UTC
I was partly wrong
2008-03-14 18:26 UTC
categorical formulations of Replacement
2008-03-14 16:02 UTC
categorical formulations of Replacement
2008-03-14 15:56 UTC
the axiom scheme of replacement in category theory
2008-03-14 15:13 UTC
old stuff available on net
2008-03-14 14:26 UTC
categorical formulations of Replacement
2008-03-14 13:52 UTC
categorical formulations of Replacement
2008-03-14 2:34 UTC
replacing set theory
2008-03-13 21:38 UTC
mathematical articles in online encyclopedias
2008-03-13 16:31 UTC
Correction: Lectureship at Sussex
2008-03-13 15:40 UTC
replacing set theory
2008-03-13 13:52 UTC
replacing set theory
2008-03-13 3:37 UTC
Lectureship at Sussex
2008-03-12 15:18 UTC
Heyting algebras and Wikipedia
2008-03-12 13:33 UTC
Heyting algebras and Wikipedia
2008-03-12 8:58 UTC
Heyting algebras and Wikipedia
2008-03-11 7:33 UTC
MFPS Deadline This Friday
2008-03-10 22:52 UTC
Heyting algebras and Wikipedia
2008-03-10 10:42 UTC
PPDP 2008 - 2nd Call for Papers
2008-03-10 9:14 UTC
Heyting algebras and Wikipedia
2008-03-09 13:43 UTC
replacing set theory
2008-03-08 20:45 UTC
replacing set theory
2008-03-08 2:42 UTC
replacing set theory
2008-03-08 0:09 UTC
Heyting algebras and Wikipedia
2008-03-08 0:07 UTC
replacing set theory
2008-03-07 23:51 UTC
Categorial foundations
2008-03-07 22:39 UTC
replacing set theory
2008-03-07 20:52 UTC
How to motivate a student of functional analysis
2008-03-07 19:37 UTC
Categorial foundations
2008-03-07 19:07 UTC
How to motivate a student of functional analysis
2008-03-07 10:31 UTC
Heyting algebras and Wikipedia
2008-03-07 9:25 UTC
How to motivate a student of functional analysis
2008-03-07 8:57 UTC
Categorial foundations (Was: Heyting algebras and Wikipedia)
2008-03-07 7:04 UTC
Heyting algebras and Wikipedia
2008-03-07 4:59 UTC
replacing set theory
2008-03-07 4:18 UTC
How to motivate a student of functional analysis
2008-03-06 20:30 UTC
graphics and dvi
2008-03-06 17:41 UTC
How to motivate a student of functional analysis
2008-03-06 17:35 UTC
Re: Heyting algebras and Wikipedia
2008-03-06 16:01 UTC
How to motivate a student of functional analysis
2008-03-06 15:15 UTC
How to motivate a student of functional analysis
2008-03-06 14:19 UTC
How to motivate me to become a student of functional analysis
2008-03-06 14:10 UTC
CiE 2008 - grants
2008-03-06 12:12 UTC
CiE 2008 - accepted papers, informal presentations, participation
2008-03-06 11:15 UTC
Call for participation: workshop on MODAL FIXPOINT LOGICS, Amsterdam, March 25-27 2008
2008-03-06 10:35 UTC
Heyting algebras and Wikipedia
2008-03-06 5:15 UTC
How to motivate a student of functional analysis
2008-03-06 2:37 UTC
How to motivate a student of functional analysis
2008-03-06 1:22 UTC
graphics and dvi
2008-03-05 22:53 UTC
How to motivate a student of functional analysis
2008-03-05 20:40 UTC
How to motivate a student of functional analysis
2008-03-05 19:30 UTC
categories and Wikipedia
2008-03-05 18:44 UTC
Re^3: A small cartesian closed concrete category
2008-03-05 18:13 UTC
Minimal abelian subcategory (corrected)
2008-03-05 17:31 UTC
Minimal abelian subcategory (corrected)
2008-03-05 16:52 UTC
How to motivate a student of functional analysis
2008-03-05 16:42 UTC
Heyting algebras and Wikipedia
2008-03-05 16:21 UTC
How to motivate a student of functional analysis
2008-03-05 15:25 UTC
Postdoctoral research position in Theoretical Computer Science, Marseilles University
2008-03-05 15:10 UTC
Heyting algebras and Wikipedia
2008-03-05 14:24 UTC
How to motivate a student of functional analysis
2008-03-05 13:38 UTC
Minimal abelian subcategory (corrected)
2008-03-05 11:22 UTC
Minimal abelian subcategory (corrected)
2008-03-05 10:34 UTC
Heyting algebras and Wikipedia
2008-03-05 9:11 UTC
Minimal abelian subcategory (corrected)
2008-03-04 23:49 UTC
How to motivate a student of functional analysis
2008-03-04 15:20 UTC
Heyting algebras and Wikipedia
2008-03-04 14:17 UTC
Re: A small cartesian closed concrete category
2008-03-04 1:59 UTC
Minimal abelian subcategory (corrected)
2008-03-04 0:53 UTC
A small cartesian closed concrete category
2008-03-03 21:30 UTC
Minimal abelian subcategory
2008-03-03 17:15 UTC
A small cartesian closed concrete category
2008-03-03 14:37 UTC
Minimal abelian subcategory
2008-03-03 0:27 UTC
Minimal abelian subcategory
2008-03-03 0:21 UTC
Minimal abelian subcategory
2008-03-03 0:04 UTC
Minimal abelian subcategory
2008-03-02 18:36 UTC
Backup TeX editor
2008-02-29 22:14 UTC
preprints available
2008-02-29 12:12 UTC
Mismatch in lcc pretoposes with W-types?
2008-02-28 15:41 UTC
Mismatch in lcc pretoposes with W-types?
2008-02-28 15:32 UTC
Mismatch in lcc pretoposes with W-types?
2008-02-27 19:07 UTC
Backup TeX editor
2008-02-27 13:11 UTC
CMCS 08: final call for short contributions
2008-02-27 11:03 UTC
GALOP@ETAPS'08: Call for participation
2008-02-26 11:12 UTC
Language of an internal category?
2008-02-25 19:21 UTC
Postdoctoral Fellowhships
2008-02-25 14:42 UTC
REACHABILITY PROBLEMS (RP'08) Liverpool, 15-17 September 2008
2008-02-24 10:38 UTC
FM'08 -- CALL FOR PARTICIPATION
2008-02-22 15:15 UTC
MFPS Final Call for Papers
2008-02-22 14:25 UTC
position at Utrecht
2008-02-20 18:41 UTC
Clifford Lectures 2008
2008-02-19 17:23 UTC
pssl87 - final announcement
2008-02-19 15:58 UTC
a monad
2008-02-18 0:17 UTC
Finite limits in a category of free modules over a semiring
2008-02-17 1:55 UTC
A small cartesian closed concrete category
2008-02-16 12:21 UTC
A small cartesian closed concrete category
2008-02-16 1:51 UTC
A small cartesian closed concrete category
2008-02-16 0:17 UTC
A small cartesian closed concrete category
2008-02-15 19:08 UTC
Finite limits in a category of free modules over a semiring
2008-02-15 18:25 UTC
A small cartesian closed concrete category
2008-02-15 8:18 UTC
A small cartesian closed concrete category
2008-02-15 3:46 UTC
A small cartesian closed concrete category
2008-02-14 20:06 UTC
Uniformity via Cauchy filters?
2008-02-13 0:34 UTC
Call for Participation RELMICS10/AKA5
2008-02-12 17:15 UTC
Uniformity via Cauchy filters?
2008-02-12 10:06 UTC
Uniformity via Cauchy filters?
2008-02-11 19:59 UTC
IMLA'08: Call for Papers
2008-02-11 17:24 UTC
Uniformity via Cauchy filters?
2008-02-11 16:13 UTC
AMAST'08 Final Call-For-Papers
2008-02-11 10:32 UTC
Uniformity via Cauchy filters?
2008-02-10 16:03 UTC
question about monoidal categories
2008-02-08 20:03 UTC
question about monoidal categories
2008-02-08 9:51 UTC
question about monoidal categories
2008-02-08 8:31 UTC
question about monoidal categories
2008-02-07 23:58 UTC
question about monoidal categories
2008-02-07 22:36 UTC
question about monoidal categories
2008-02-07 20:05 UTC
Looking for some categorical PhD theses
2008-02-06 18:31 UTC
second call for papers
2008-02-06 9:59 UTC
CFP: 5th Workshop on Model Checking and AI
2008-02-05 17:11 UTC
Colloquium Logicum 2008, September 10-12
2008-02-04 16:02 UTC
GaLoP 2008 : Submission Deadline Extended
2008-02-04 10:31 UTC
Saunders and Alex'spicture
2008-02-04 6:00 UTC
Alex
2008-02-03 18:17 UTC
Alex
2008-02-03 16:16 UTC
Alex Heller
2008-02-03 2:15 UTC
Alex
2008-02-02 18:17 UTC
Midlands Graduate School in the Foundations of Computing Science 14-18 April 2008
2008-02-02 16:52 UTC
cogenerator of k-spaces
2008-02-02 2:37 UTC
Alex Heller
2008-02-02 0:42 UTC
Alex Heller
2008-02-01 21:39 UTC
Alex Heller
2008-02-01 20:28 UTC
cogenerator of k-spaces
2008-02-01 13:27 UTC
closed monoidal structure in topological categories
2008-01-30 19:06 UTC
closed monoidal structure in topological categories
2008-01-30 8:18 UTC
reference needed please
2008-01-29 18:36 UTC
reference needed please
2008-01-29 15:25 UTC
6th International Summer School in Formal Languages andApplications
2008-01-26 19:30 UTC
LFM 2008 Call for Abstracts and Invitation to Register
2008-01-24 22:01 UTC
Lectureships available
2008-01-24 21:47 UTC
CSL 2008 - first call for papers
2008-01-22 10:42 UTC
Volume dedicated to Walter Tholen's 60th
2008-01-21 10:08 UTC
Post-Doc Position in Verifiable Model Transformations for SOA Engineering
2008-01-19 10:42 UTC
Call for contributions: QUANTUM PHYSICS AND LOGIC (QPL'08) & DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM'08)
2008-01-18 16:42 UTC
WoLLIC 2008 - Call for Papers
2008-01-18 13:50 UTC
Workshop DOMAINS IX
2008-01-18 8:34 UTC
Volume dedicated to J Adamek
2008-01-17 18:22 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).