Fixing the constructive continued-fraction definition of the reals: proofs and refutations
2009-02-23 8:16 UTC
Categorical development of algebra?
2009-02-23 2:01 UTC
Fixing the constructive continued-fraction definition of the reals: proofs and refutations
2009-02-22 22:19 UTC
Dedekind versus Cauchy reals
2009-02-22 14:09 UTC
MFPS Call for Participation
2009-02-22 13:58 UTC
MFPS Call for Participation
2009-02-22 13:58 UTC
Re Dedekind versus Cauchy reals
2009-02-21 18:17 UTC
Fixing the constructive continued-fraction definition of the reals: proofs and refutations
2009-02-21 17:18 UTC
Fixing the constructive continued-fraction definition of the reals: proofs and refutations
2009-02-21 16:29 UTC
Fixing the constructive continued-fraction definition of the reals: proofs and refutations
2009-02-20 7:57 UTC
ESSLLI 2009 Call for Participation
2009-02-18 17:26 UTC
Question on E-coreflective subcategories
2009-02-18 16:23 UTC
Dedekind versus Cauchy reals
2009-02-16 22:09 UTC
2nd Call for Participation - Midlands Graduate School in the Foundations of Computing Science 2009
2009-02-16 15:41 UTC
2nd Call for Participation - Midlands Graduate School in the Foundations of Computing Science 2009
2009-02-16 15:41 UTC
Dedekind versus Cauchy reals
2009-02-16 7:01 UTC
enriched Kan-extensions
2009-02-15 22:31 UTC
Dedekind versus Cauchy reals
2009-02-15 7:43 UTC
Dedekind versus Cauchy reals
2009-02-15 6:50 UTC
Dedekind versus Cauchy reals
2009-02-13 15:05 UTC
enriched Kan-extensions
2009-02-13 13:47 UTC
First CFP for FACS'09
2009-02-13 13:21 UTC
Dedekind versus Cauchy reals
2009-02-13 12:28 UTC
"Kantor dust"
2009-02-13 5:40 UTC
Dedekind versus Cauchy reals
2009-02-13 4:39 UTC
Dedekind versus Cauchy reals
2009-02-13 0:07 UTC
Dedekind versus Cauchy reals
2009-02-12 12:54 UTC
"Kantor dust"
2009-02-12 9:05 UTC
"Kantor dust"
2009-02-12 9:00 UTC
"Kantor dust"
2009-02-12 4:25 UTC
"Kantor dust"
2009-02-12 4:10 UTC
"Kantor dust"
2009-02-12 4:05 UTC
Fields Workshop on Smooth Structures - Accommodation
2009-02-12 3:29 UTC
"Kantor dust"
2009-02-11 23:51 UTC
"Kantor dust"
2009-02-11 22:16 UTC
"Kantor dust"
2009-02-11 19:56 UTC
"Kantor dust"
2009-02-11 17:53 UTC
"Kantor dust"
2009-02-11 17:33 UTC
"Kantor dust"
2009-02-11 16:11 UTC
"Kantor dust"
2009-02-11 15:55 UTC
TACL 2009: Second Announcement and Call for Contributions
2009-02-11 12:55 UTC
"Kantor dust"
2009-02-11 9:01 UTC
"Kantor dust"
2009-02-11 9:01 UTC
"Kantor dust"
2009-02-11 5:49 UTC
"Kantor dust"
2009-02-11 0:13 UTC
"Kantor dust"
2009-02-10 22:18 UTC
"Kantor dust"
2009-02-10 21:05 UTC
"Kantor dust"
2009-02-10 19:04 UTC
postdoc position in Utrecht
2009-02-10 18:03 UTC
SFM-09:WS -- school on formal methods for web services
2009-02-10 11:57 UTC
"Kantor dust"
2009-02-10 9:54 UTC
"Kantor dust"
2009-02-09 22:47 UTC
"Kantor dust"
2009-02-09 22:18 UTC
Dedekind versus Cauchy reals
2009-02-09 11:49 UTC
symmetric monoidal adjunctions
2009-02-09 11:26 UTC
"Kantor dust"
2009-02-09 1:30 UTC
"Kantor dust"
2009-02-09 0:31 UTC
"Kantor dust"
2009-02-08 20:36 UTC
"Kantor dust"
2009-02-08 15:03 UTC
"Kantor dust"
2009-02-08 14:51 UTC
"Kantor dust"
2009-02-08 11:56 UTC
"Kantor dust"
2009-02-07 22:58 UTC
"Kantor dust"
2009-02-07 17:18 UTC
"Kantor dust"
2009-02-07 0:37 UTC
"Kantor dust"
2009-02-05 21:44 UTC
Draft paper submission deadline extended: Category Theory
2009-02-05 7:14 UTC
"Kantor dust"
2009-02-04 20:24 UTC
Preprint : Directed algebraic topology and higher dimensional transition system
2009-02-04 9:09 UTC
Fields Workshop on Smooth Structures in Logic, Category Theory and Physics
2009-02-04 1:55 UTC
"Kantor dust"
2009-02-03 17:59 UTC
"Kantor dust"
2009-02-02 23:43 UTC
Question on "On Closed Categories of Functors"
2009-02-02 7:53 UTC
Kantor dust
2009-02-02 1:16 UTC
Question on "On Closed Categories of Functors"
2009-02-01 19:11 UTC
"Kantor dust"
2009-02-01 18:53 UTC
Kantor dust
2009-02-01 18:18 UTC
Kantor dust
2009-02-01 16:14 UTC
"Kantor dust"
2009-02-01 0:06 UTC
[Reliable Computing] Call for papers: CFV'09, deadline April 22
2009-01-31 22:59 UTC
It it a good idea to use the term 2-group outside of its use in group thoery?
2009-01-31 19:32 UTC
"Kantor dust"
2009-01-31 10:25 UTC
"Kantor dust"
2009-01-31 4:35 UTC
initial algebra question
2009-01-31 2:36 UTC
FMCS 2009
2009-01-31 1:22 UTC
It it a good idea to use the term 2-group outside of its use in group thoery?
2009-01-30 23:34 UTC
"Kantor dust"
2009-01-30 22:40 UTC
"Kantor dust"
2009-01-30 21:52 UTC
Symmetric monoidal closed natural transformation?
2009-01-30 18:09 UTC
"Kantor dust"
2009-01-30 7:18 UTC
"Kantor dust"
2009-01-30 7:18 UTC
Symmetric monoidal closed natural transformation?
2009-01-30 3:05 UTC
Second CfP: "Structures and Deduction", Bordeaux, July 20-24, 2009
2009-01-29 17:16 UTC
New York City Category Seminar
2009-01-29 16:47 UTC
initial algebra question
2009-01-29 14:37 UTC
[categories] initial algebra question
2009-01-29 8:27 UTC
initial algebra question
2009-01-28 19:31 UTC
[Calco'09] cfp: deadline is approaching
2009-01-28 10:05 UTC
categories: Re: adjunction of symmetric monoidal closed categories
2009-01-27 22:56 UTC
categories: Re: bicategory of fractions and homotopy category
2009-01-27 21:26 UTC
categories: Re: bicategory of fractions and homotopy category
2009-01-27 18:54 UTC
categories: Re: Model Theory and Category Theory
2009-01-27 17:58 UTC
categories: Re: Model Theory and Category Theory
2009-01-27 13:33 UTC
categories: Model Theory and Category Theory
2009-01-27 9:02 UTC
categories: bicategory of fractions and homotopy category
2009-01-27 6:01 UTC
GALOP IV: Submission Deadline Extended
2009-01-26 23:20 UTC
categories: Re: Lie groups and Lie algebras
2009-01-26 15:10 UTC
categories: request for comments: "A survey of graphical languages for monoidal categories"
2009-01-26 15:02 UTC
categories: Lie groups and Lie algebras
2009-01-26 8:15 UTC
categories: CFP - RelMiCS 11 / AKA 6
2009-01-24 21:23 UTC
abc conjecture proved?
2009-01-23 13:00 UTC
WGP'09: Workshop on Generic Programming Call for Papers
2009-01-22 22:14 UTC
Request to referee the manuscript no. ER-29
2009-01-22 15:21 UTC
terminology in definitions of limits
2009-01-22 12:07 UTC
terminology in definitions of limits
2009-01-22 11:17 UTC
terminology in definitions of limits
2009-01-22 11:16 UTC
terminology in definitions of limits
2009-01-22 1:47 UTC
terminology in definitions of limits
2009-01-21 18:01 UTC
terminology in definitions of limits
2009-01-21 16:48 UTC
In answer to Paul Taylor
2009-01-21 15:11 UTC
Oxford position
2009-01-21 15:10 UTC
terminology in definitions of limits
2009-01-21 7:34 UTC
terminology in definitions of limits
2009-01-20 17:15 UTC
Foundations for Computable Topology
2009-01-20 17:11 UTC
terminology in definitions of limits
2009-01-20 16:39 UTC
adjunction of symmetric monoidal closed categories
2009-01-19 19:11 UTC
terminology in definitions of limits
2009-01-19 18:13 UTC
Carnegie Mellon Summer School in Logic and Formal Epistemology
2009-01-19 15:35 UTC
PSSL 88: new talk deadline
2009-01-18 20:32 UTC
Bangor mathematics web pages
2009-01-17 10:41 UTC
Paper available: "A Lax-Algebraic Approach to Domain-Theoretic Topology"
2009-01-16 0:25 UTC
Special volumes in honour of Francis Borceux and of Dominique Bourn
2009-01-13 11:28 UTC
MFPS Deadlines Revised and Extended!
2009-01-12 13:44 UTC
Paper available
2009-01-10 7:08 UTC
Paper available
2009-01-09 18:03 UTC
Tripleableness via split equivalence relations
2009-01-09 16:30 UTC
Category Theory Papers
2009-01-09 12:45 UTC
10 PhD, PostDoc, and Engineering Positions offered!!
2009-01-09 10:01 UTC
Paper available
2009-01-08 22:00 UTC
Tripleableness via split equivalence relations
2009-01-08 15:46 UTC
Publications of Brian Day
2009-01-08 1:45 UTC
Web-based category theory demonstrations
2009-01-07 16:12 UTC
Seminar MaMuX
2009-01-07 8:00 UTC
Elsevier quality control... (fwd)
2009-01-01 0:55 UTC
Elsevier quality control... (fwd)
2008-12-31 20:28 UTC (2+ messages)
Second Announcement of CT2009
2008-12-31 13:19 UTC
PSI 2009 Call For Papers
2008-12-29 10:23 UTC
topological closure of a category
2008-12-27 11:04 UTC
Call for abstracts: Quantum Physics and Logic (QPL VI), Oxford, April 8-9, 2009
2008-12-26 19:17 UTC
GALOP IV @ ETAPS 2009 CfP
2008-12-25 0:55 UTC
CFP: 6th workshop on "Methods for Modalities" (M4M-6)
2008-12-23 15:37 UTC
reference to Grothendieck and n-categories?
2008-12-23 10:30 UTC
Role of interpretation
2008-12-23 7:58 UTC
MFPS FInal Call for Papers
2008-12-23 0:20 UTC
The Reasoner - editorial on n-categories
2008-12-20 21:32 UTC
The Reasoner - editorial on n-categories
2008-12-20 12:46 UTC
The Reasoner - editorial on n-categories
2008-12-19 22:32 UTC
On "Traced Monoidal Categories"
2008-12-17 7:16 UTC
Announcement: Makkaifest (19-20 June, 2009)
2008-12-16 17:15 UTC
A paper on Galois descent in ArXiv
2008-12-16 11:16 UTC
Biequivalences and biadjoint biequivalences
2008-12-15 18:29 UTC
CfP: ICTAC'09
2008-12-15 11:14 UTC
[Fwd: inquiry in re: citations and (fwd)]
2008-12-15 9:57 UTC
Elementary references for Birkhoff/Stone duality?
2008-12-15 6:41 UTC
assessment of journals etc
2008-12-14 12:41 UTC
comonadicity of Lan_E
2008-12-13 18:58 UTC
a list of journals
2008-12-12 22:00 UTC
[Fwd: inquiry in re: citations and (fwd)]
2008-12-12 15:58 UTC
[Fwd: inquiry in re: citations and (fwd)]
2008-12-12 8:30 UTC
comonadicity of Lan_E
2008-12-12 1:57 UTC
[Fwd: inquiry in re: citations and (fwd)]
2008-12-11 21:54 UTC
Post-doc positions at CMUC, Coimbra
2008-12-11 21:16 UTC
Midlands Graduate School in the Foundations of Computing Science
2008-12-11 17:23 UTC
Science Citation Index
2008-12-10 23:11 UTC
Science Citation Index
2008-12-10 14:43 UTC
Science Citation Index
2008-12-09 19:35 UTC
TACL 2009: First Announcement and Call for Papers
2008-12-09 8:09 UTC
RTA 2nd CFP (June 29 - July 1, 2009, Brasilia)
2008-12-09 5:55 UTC
citation indices
2008-12-08 21:26 UTC
citation indices
2008-12-08 20:08 UTC
citation indices
2008-12-08 18:58 UTC
how to cite
2008-12-08 14:54 UTC
Science Citation Index
2008-12-08 9:53 UTC
Isomorphism of enriched categories
2008-12-08 3:47 UTC
[Fwd: Re: citation indices]
2008-12-06 17:55 UTC
Science Citation Index
2008-12-06 15:19 UTC
Science Citation Index
2008-12-06 1:58 UTC
Isomorphism of enriched categories
2008-12-05 23:21 UTC
Science Citation Index
2008-12-05 21:21 UTC
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
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).