replacing set theory
2008-03-15 21:15 UTC
internal versus external
2008-03-15 16:31 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
CT08 - Second Announcement
2008-01-17 14:13 UTC
Lifting of connected geometric morphism from tripos to topos
2008-01-17 8:54 UTC
CMCS 2008: Extended deadline
2008-01-15 16:45 UTC
Postdoc At U. Ottawa
2008-01-15 16:26 UTC
RTA'08: Call For Papers
2008-01-14 20:26 UTC
GLOBAN 2008 Summer School Announcement
2008-01-14 14:08 UTC
LICS Newsletter 113
2008-01-14 12:00 UTC
Postdoc Opening, Nancy (France)
2008-01-11 15:29 UTC
MSFP call for papers
2008-01-11 11:13 UTC
Inverse and orthodox categories
2008-01-11 8:46 UTC
PhD Program in Mathematics - U Coimbra / U Porto
2008-01-10 11:27 UTC
Cartesian closed without products
2008-01-09 2:29 UTC
Cartesian closed without products
2008-01-09 1:36 UTC
Cartesian closed without products
2008-01-08 21:29 UTC
Cartesian closed without products
2008-01-07 21:35 UTC
MSc Opportunities
2008-01-07 18:11 UTC
CMCS 2008: Final call for papers
2008-01-07 17:20 UTC
Cartesian closed without products
2008-01-07 14:09 UTC
pssl87 - second announcement
2008-01-07 13:34 UTC
Cartesian closed without products
2008-01-07 11:08 UTC
WADT 2008 - Call for Papers
2008-01-06 17:41 UTC
Invitation to- "Interactions of Algebraic & Coalgebraic Structures"
2008-01-04 12:29 UTC
preprint: 2-filteredness and the point of every Galois topos
2008-01-03 17:31 UTC
ICLP'08 CALL FOR PAPERS
2008-01-02 22:00 UTC
Postdoc: Coalgebraic Logics at Imperial
2008-01-02 13:49 UTC
heroprichten
2007-12-31 8:13 UTC
heroprichten
2007-12-30 11:02 UTC
LICS 2008 - Revised Submission Deadlines
2007-12-30 10:22 UTC
CiE08 - Final Call for Papers
2007-12-21 11:13 UTC
On defining *-autonomous categories
2007-12-19 12:04 UTC
CFP ICGT'08: The 4th Intl. Conference on Graph Transformation, 7 - 13 Sept 2008, Leicester (UK)
2007-12-19 10:52 UTC
A meeting in honour of Bill Lawvere, Como, 10 January 2008 - for the categories list
2007-12-19 6:32 UTC
list interruption
2007-12-19 2:02 UTC
Question for catbul on practical use of the language of monoidal categories
2007-12-18 22:58 UTC
On defining *-autonomous categories
2007-12-18 14:27 UTC
On defining *-autonomous categories
2007-12-18 13:08 UTC
GALOP III @ ETAPS 2008 : Call For Papers/Abstracts
2007-12-18 11:40 UTC
On defining *-autonomous categories
2007-12-17 18:29 UTC
Exam practices
2007-12-17 15:00 UTC
FMCS 2008: May 30 - June 1, Halifax
2007-12-17 4:31 UTC
On defining *-autonomous categories
2007-12-17 2:45 UTC
print Clones and Genoids in Lambda Calculus and First Order Logic
2007-12-15 8:51 UTC
2nd CfP: 3WFTop proceedings
2007-12-14 14:19 UTC
Job: Lectureship in Computer Science at Liverpool [Logic and Computation]
2007-12-13 15:20 UTC
Jobs in Glasgow
2007-12-13 12:45 UTC
Internal iteration
2007-12-11 15:56 UTC
Journal of K-Theory
2007-12-11 11:13 UTC
Internal iteration
2007-12-10 15:52 UTC
new website: clones and genoids
2007-12-10 10:35 UTC
Modal Fixpoint Logics, Amsterdam March 25-27, 2008
2007-12-06 19:34 UTC
research positions
2007-12-06 12: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).