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
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
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).