Workshop announcement
2008-12-05 18:08 UTC
Science Citation Index
2008-12-05 15:46 UTC
Science Citation Index
2008-12-05 14:58 UTC
Science Citation Index
2008-12-05 14:16 UTC
Science Citation Index
2008-12-05 14:12 UTC (2+ messages)
Science Citation Index
2008-12-05 10:28 UTC
ISI Web of Science
2008-12-05 8:12 UTC
Science Citation Index
2008-12-05 7:07 UTC
Finite sets and injective maps
2008-12-05 6:04 UTC
Finite sets and injective maps
2008-12-04 21:35 UTC
Finite sets and injective maps
2008-12-04 21:14 UTC
Science Citation Index
2008-12-04 21:09 UTC
Finite sets and injective maps
2008-12-04 20:20 UTC
Finite sets and injective maps
2008-12-04 17:49 UTC
Science Citation Index
2008-12-04 17:13 UTC
Finite sets and injective maps
2008-12-04 16:59 UTC
Science Citation Index
2008-12-04 16:05 UTC
filtered colimits
2008-12-04 16:02 UTC
Science Citation Index
2008-12-04 16:00 UTC
Science Citation Index
2008-12-04 15:56 UTC
Finite sets and injective maps
2008-12-04 15:56 UTC
Science Citation Index
2008-12-04 15:49 UTC
filtered colimits
2008-12-04 13:23 UTC
Conference on Philosophy and Foundations of Mathematics, May 5-8, 2009 at SCAS, Uppsala
2008-12-04 11:08 UTC
Finite sets and injective maps
2008-12-04 9:11 UTC
Science Citation Index
2008-12-04 7:15 UTC
Science Citation Index
2008-12-04 7:06 UTC
Science Citation Index
2008-12-04 0:32 UTC
Science Citation Index
2008-12-03 17:23 UTC
TLCA '09 : Second Call for Papers
2008-12-03 9:00 UTC
Effective epimorphisms and pretopologies
2008-12-03 2:56 UTC
Apal spec. issue - Constructive Topology - G. Sambin 60
2008-12-02 21:54 UTC
Question about monad algebras and 2-categories
2008-12-02 18:27 UTC
Effective epimorphisms and pretopologies
2008-12-02 5:53 UTC
CfP Workshop "Structures and Deduction", Bordeaux, July 20-24, 2009
2008-12-01 22:51 UTC
PhD Program in Mathematics UC|UP
2008-12-01 19:53 UTC
In addition to the First Announcement of CT2009
2008-11-30 22:06 UTC
ACKERMANN AWARD 2009: CALL FOR NOMINATIONS
2008-11-28 18:11 UTC
Job announcement: Post-doc position at ILLC Amsterdam
2008-11-27 11:02 UTC
[Calco'09] 2nd cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy
2008-11-26 11:46 UTC
url correction
2008-11-24 12:44 UTC
ma page perso
2008-11-23 22:09 UTC
PSSL 88 for Hyland and Johnstone: 2nd announcement
2008-11-21 11:35 UTC
Symmetric monoidal closed categories
2008-11-20 1:14 UTC
Symmetric monoidal closed categories
2008-11-19 8:39 UTC
Symmetric monoidal closed categories
2008-11-19 8:12 UTC
Symmetric monoidal closed categories
2008-11-18 21:33 UTC
The Archimedes Palimpsest
2008-11-14 11:16 UTC
Electronic copy of a paper by Walters?
2008-11-13 17:59 UTC
next pssl
2008-11-13 17:06 UTC
Electronic copy of a paper by Walters?
2008-11-12 1:46 UTC
MFPS XXV First Call for Papers
2008-11-11 21:23 UTC
January Joint Meetings
2008-11-11 2:46 UTC
CFP: Special issue: Intuitionistic Modal Logics and Applications (IMLA)
2008-11-09 2:42 UTC
Group cohomology via monads or triple cohomology
2008-11-03 7:44 UTC
preprint available
2008-11-03 5:54 UTC
Sketches and lattices
2008-10-29 11:34 UTC
Web-based category theory demonstrations
2008-10-28 11:41 UTC
Web-based category theory demonstrations
2008-10-27 17:32 UTC
A Young Research Fellow Position at IMT, Lucca
2008-10-27 9:38 UTC
collaborative_mathematics_exposition?
2008-10-24 17:48 UTC
collaborative mathematics exposition
2008-10-23 16:05 UTC
A naive question
2008-10-20 14:33 UTC
ALICS workshop at LPAR
2008-10-20 5:16 UTC
Matrices Category
2008-10-16 23:52 UTC
right adjoint by forgetting relational symbols
2008-10-16 22:05 UTC
Matrices Category
2008-10-16 14:12 UTC
right adjoint by forgetting relational symbols
2008-10-16 10:19 UTC
RTA'09 1st CFP
2008-10-16 7:21 UTC
Matrices Category
2008-10-16 5:05 UTC
Matrices Category
2008-10-15 16:15 UTC
right adjoint by forgetting relational symbols
2008-10-15 10:03 UTC
Matrices Category
2008-10-15 3:38 UTC
Matrices Category
2008-10-14 17:44 UTC
Matrices Category
2008-10-14 17:43 UTC
TLCA'09 - Preliminary Call for Papers
2008-10-13 17:35 UTC
Matrices Category
2008-10-13 16:34 UTC
First Announcement of CT2009
2008-10-06 21:14 UTC
k-spaces
2008-10-06 1:59 UTC
Octoberfest 08 Montreal
2008-10-02 22:49 UTC
PhD position at University of Strathclyde, Glasgow
2008-10-02 19:35 UTC
new webpage address
2008-10-02 16:35 UTC
FM2009: First CFP
2008-10-02 9:04 UTC
new webpage address
2008-10-01 12:48 UTC
mathematical objects
2008-10-01 11:33 UTC
mathematical objects
2008-09-30 16:20 UTC
Group and abelian group objects in the category of Kelley spaces
2008-09-29 15:19 UTC
George Janelidze
2008-09-29 13:37 UTC
Subtoposes of Eff
2008-09-29 12:40 UTC
Group and abelian group objects in the category of Kelley spaces
2008-09-29 10:36 UTC
BourWiki-iBourbaki-FunctorWiki?
2008-09-28 23:33 UTC
Group and abelian group objects in the category of Kelley spaces
2008-09-28 23:10 UTC
Group and abelian group objects in the category of Kelley spaces
2008-09-28 14:19 UTC
Octoberfest - Proposed schedule of talks
2008-09-26 21:09 UTC
PhD studentships at Sussex
2008-09-26 10:27 UTC
Group and abelian group objects in the category of Kelley spaces
2008-09-26 4:46 UTC
BourWiki-iBourbaki-FunctorWiki?
2008-09-25 17:55 UTC
PhD Program at IMT, Lucca
2008-09-24 16:17 UTC
are sketches math objects?
2008-09-23 20:06 UTC
Bourbaki and Categories
2008-09-23 18:01 UTC
Octoberfest in Montreal (Oct 4-5)
2008-09-23 5:43 UTC
iBourbaki
2008-09-23 1:45 UTC
Group presentations _are_ sketches
2008-09-23 0:43 UTC
Sketches
2008-09-22 21:10 UTC
Bourbaki and Categories
2008-09-22 21:09 UTC
Bourbaki and Categories
2008-09-22 20:54 UTC
Apology
2008-09-22 18:29 UTC
are sketches math objects?
2008-09-22 17:49 UTC
ICLP'08 CALL FOR PARTICIPATION
2008-09-22 14:12 UTC
Bourbaki and Categories
2008-09-22 6:54 UTC
are sketches math objects?
2008-09-21 23:55 UTC
Bourbaki and Categories
2008-09-20 20:21 UTC
Bourbaki and Categories (fwd)
2008-09-20 19:13 UTC
are sketches math objects?
2008-09-20 17:34 UTC
Bourbaki and Categories
2008-09-20 17:17 UTC
Bourbaki and Categories ... minor correction
2008-09-20 4:59 UTC
Bourbaki and Categories
2008-09-20 2:16 UTC
Bourbaki and Categories
2008-09-19 22:27 UTC
Bourbaki and Categories
2008-09-19 22:21 UTC
bourbaki_and_disdain
2008-09-19 20:22 UTC
Non-Cartesian Homological Algebra
2008-09-19 19:53 UTC
Bourbaki and Categories
2008-09-19 10:00 UTC
Bourbaki and Categories
2008-09-18 21:52 UTC
Bourbaki and Categories
2008-09-18 20:38 UTC
Constructive Topology - Workshop G. Sambin 60
2008-09-18 16:18 UTC
bourbaki_and_disdain
2008-09-18 15:42 UTC
Bourbaki and Categories
2008-09-18 14:36 UTC
Bourbaki and Categories
2008-09-18 14:31 UTC
Princeton Companion To Mathematics - slight revision
2008-09-18 12:50 UTC
Bourbaki and Categories
2008-09-17 17:13 UTC
Bourbaki and Categories
2008-09-17 9:17 UTC
Bourbaki and Categories
2008-09-17 4:36 UTC
Non-cartesian categorical algebra
2008-09-17 2:41 UTC
Bourbaki and Categories
2008-09-17 1:30 UTC
Bourbaki and Categories
2008-09-16 15:32 UTC
Bourbaki and Categories
2008-09-16 14:47 UTC
Bourbaki and Categories
2008-09-16 14:20 UTC
Bourbaki and Categories
2008-09-16 13:09 UTC
Full professor position
2008-09-16 11:40 UTC
Bourbaki and Categories
2008-09-16 11:24 UTC
Bourbaki and Categories
2008-09-16 10:27 UTC
Bourbaki and Categories
2008-09-16 8:57 UTC
Bourbaki and Categories
2008-09-16 6:52 UTC
Bourbaki and Categories
2008-09-16 0:03 UTC
Another terminological question
2008-09-15 20:58 UTC
Bourbaki and Categories
2008-09-15 19:26 UTC
Bourbaki and Categories
2008-09-15 18:51 UTC
Categories in Algebra, Geometry and Logic - Brussels 10, 11 October 2008
2008-09-15 16:03 UTC
Non-cartesian categorical algebra
2008-09-15 12:57 UTC
Bourbaki and Categories
2008-09-15 11:59 UTC
Bourbaki and Categories
2008-09-15 7:58 UTC
Bourbaki and Categories
2008-09-15 4:55 UTC
Bourbaki and Categories
2008-09-14 19:53 UTC
Non-cartesian categorical algebra
2008-09-14 13:39 UTC
Bourbaki and Categories
2008-09-14 10:24 UTC
Bourbaki and Categories
2008-09-13 17:17 UTC
Bourbaki and Categories
2008-09-13 14:31 UTC
Bourbaki and Categories
2008-09-13 1:25 UTC
Bourbaki and categories (references)
2008-09-12 21:05 UTC
Bourbaki and Categories
2008-09-12 20:34 UTC
Bourbaki and Categories
2008-09-12 18:46 UTC
Bourbaki and Categories
2008-09-12 15:57 UTC
Another terminological question
2008-09-12 9:56 UTC
categories and disdain
2008-09-11 23:01 UTC
Bourbaki and Categories
2008-09-11 21:12 UTC
Equivalence of pseudo-limits
2008-09-11 17:54 UTC
Categories and functors, query
2008-09-11 9:05 UTC
CSR-2009: First Call for Papers
2008-09-11 6:51 UTC
Equivalence of pseudo-limits
2008-09-11 2:27 UTC
The disdain for categories
2008-09-11 1:25 UTC
Categories and functors, query
2008-09-11 0:20 UTC
New version of Graph Based Logic and Sketches
2008-09-10 23:12 UTC
The disdain for categories
2008-09-10 17:35 UTC
Equivalence of pseudo-limits
2008-09-10 3:17 UTC
Categories and functors, query
2008-09-09 22:22 UTC
Categories and functors, query
2008-09-09 22:05 UTC
Categories and functors, query
2008-09-09 10:53 UTC
Categories and functors, query
2008-09-09 0:55 UTC
KT Chen's smooth CCC
2008-09-08 19:04 UTC
Categories and functors, query
2008-09-08 16:00 UTC
Categories and functors, query
2008-09-08 12:50 UTC
Categories and functors, query
2008-09-08 1:25 UTC
Categories and functors, query
2008-09-07 21:33 UTC
Categories and functors, query
2008-09-06 10:48 UTC
Amusing fact
2008-09-05 15:49 UTC
New Association Computability in Europe formed
2008-09-05 10:11 UTC
language for infinitary compositions?
2008-09-04 23:22 UTC
Research positions
2008-09-04 7:45 UTC
Octoberfest
2008-09-03 21:57 UTC
logics for model checking
2008-09-03 20:59 UTC
KT Chen's smooth CCC
2008-09-02 22:00 UTC
logics for model checking
2008-09-02 18:07 UTC
Domains IX [Final Call for Registration]
2008-09-02 17:12 UTC
logics for model checking
2008-09-02 14:24 UTC
More CT2008 information will be in September
2008-09-01 11:52 UTC
More CT2008 information will be in September
2008-08-31 23:35 UTC
capturing regularity in languages
2008-08-30 9:02 UTC
Resolution; "abutting to"
2008-08-30 8:34 UTC
KT Chen's smooth CCC, a correction
2008-08-30 0:14 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).