Cauchy completeness of Cauchy reals
2003-01-28 1:50 UTC (2+ messages)
What does it take to identify the field and the continuum of reals?
2003-01-27 11:50 UTC (3+ messages)
Generalization of Browder's F.P. Theorem?
2003-01-27 3:57 UTC (17+ messages)
` Cauchy completeness of Cauchy reals
` Category Theory in Biology
(pre-)Sheaves
2003-01-25 17:59 UTC (2+ messages)
Cauchy completeness
2003-01-25 7:06 UTC
Category theory and biological systems
2003-01-24 19:49 UTC
TAC Special Volume
2003-01-24 19:23 UTC
[ESSLLI03] 1st Call
2003-01-24 12:49 UTC
Cauchy completions
2003-01-24 2:25 UTC (2+ messages)
Generalization of Browder's F.P. Theorem?
2003-01-18 12:39 UTC (2+ messages)
job: Dorothean Professor in CS at U Vermont (Applications by 1/20/03)
2003-01-16 19:17 UTC
ETAPS 2003 - call for participation
2003-01-14 15:31 UTC
thoughts arising from a letter of Lawvere
2003-01-14 0:30 UTC (4+ messages)
NASSLLI-2003. Student Session Call for Papers
2003-01-14 0:04 UTC
2-category of internal categories
2003-01-14 0:02 UTC
In answer to John Baez
2003-01-13 18:22 UTC
jobs: CS Theory positions
2003-01-12 20:46 UTC
Recoltes et Semailles
2003-01-11 20:20 UTC (2+ messages)
RTA'03: last call for papers
2003-01-10 21:29 UTC
TAC Contents: Volume 10
2003-01-10 19:25 UTC
Benabou manuscript
2003-01-10 9:24 UTC
Naturality of a Change of Base Result
2003-01-09 14:39 UTC
hereditarily finite sets
2003-01-09 14:28 UTC
2-category of internal categories
2003-01-09 4:03 UTC
Reference wanted
2003-01-08 22:52 UTC
Category and Scheduling Theory
2003-01-08 19:57 UTC (2+ messages)
Field's Institute Summer School in Logic & Theoretical CS
2003-01-07 20:08 UTC
Hereditarily finite sets
2003-01-07 2:28 UTC
BRICS PhD grants and Marie Curie fellowships
2003-01-06 15:14 UTC
CfP: ESSLLI'03 Student Session
2003-01-06 14:33 UTC
NASSLLI-2003 ANNOUNCEMENT
2003-01-04 23:34 UTC
Benabou manuscript
2003-01-01 17:14 UTC
Two categories or 2-categories?
2001-12-31 16:47 UTC (2+ messages)
` Two categories or 2-categories
Natural disasters
2001-12-31 16:08 UTC (2+ messages)
New address: RFC Walters
2001-12-31 8:31 UTC
Enriched locally presentable categories
2001-12-31 8:30 UTC
Two categories or 2-categories?
2001-12-26 14:06 UTC
Enriched locally presentable categories
2001-12-26 12:18 UTC
CFP: AMAST'2002
2001-12-21 15:38 UTC
language and thinking
2001-12-21 10:05 UTC
language and thinking
2001-12-20 20:17 UTC
CFP: HyLo@LICS
2001-12-19 12:58 UTC
job: faculty position in logic
2001-12-17 22:26 UTC
multigaphs/categories and constructivism
2001-12-17 22:11 UTC
preprint: Multiple the equivalence of a globular anda cubical approach
2001-12-17 14:57 UTC
CFP: CMCS 02 2nd Call For Papers
2001-12-17 14:04 UTC
Ottawa Logic Group invites graduate student applications
2001-12-16 22:06 UTC
infinite trees
2001-12-14 11:29 UTC
CFP : ASIA-PEPM 2002
2001-12-12 11:38 UTC
Do catgory theorists like philosophy?
2001-12-11 5:07 UTC
Defining monoids
2001-12-10 1:35 UTC (2+ messages)
Constructive finiteness
2001-12-09 15:20 UTC
Two constructivity questions
2001-12-09 10:35 UTC (3+ messages)
CFP: Workshop Domains VI
2001-12-07 15:20 UTC
2WFTop: information update
2001-12-07 11:30 UTC
Preprint: Directed homotopy theory, II. Homotopy constructs,
2001-12-07 10:43 UTC
Why exact categories? history
2001-12-07 10:09 UTC
Two Days
2001-12-06 22:43 UTC (2+ messages)
Positions in Paris 7 University
2001-12-06 16:35 UTC
Reference wanted
2001-12-06 14:00 UTC
the walking adjunction and biadjunction
2001-12-06 8:23 UTC (2+ messages)
` Sketches and ideas (Was: the walking adjunction and biadjunction)
Sketches
2001-12-05 20:52 UTC
Sketches and Platonic Ideas
2001-12-05 13:59 UTC
Sketches and Platonic Ideas
2001-12-05 3:36 UTC
Change of email address
2001-12-01 2:19 UTC
Only two SMC structures on Cat?
2001-09-30 15:45 UTC
preprint: "Ordinary and directed combinatorial homotopy,..."
2001-09-28 15:11 UTC
Chu spaces vs Topoi (and maybe Stone Spaces)
2001-06-30 16:44 UTC
Sad news
2001-06-29 22:28 UTC
Sad news
2001-06-29 14:55 UTC
TACS2001 PRELIMINARY PROGRAM AND REGISTRATION INFORMATION
2001-06-29 11:30 UTC
STACS 2002 -- 2nd Call for papers
2001-06-29 7:53 UTC
Call-By-Push-Value thesis available
2001-06-26 17:03 UTC
Take that, Martin Hyland!
2001-06-18 19:30 UTC
Take that, Martin Hyland!
2001-06-18 15:07 UTC (2+ messages)
Working Conference on Generic Programming: first call for papers
2001-06-18 11:17 UTC
Union College Conference
2001-06-15 14:33 UTC
LACL 2001: Last Call for Participation - Program
2001-06-15 13:20 UTC
jobs: Postdoc Positions in Amsterdam
2001-06-14 21:23 UTC
preprint: Propositions as [Types]
2001-06-14 21:22 UTC
Abstract Stone Duality update
2001-06-14 16:54 UTC
Call for Submissions M4M-2
2001-06-14 11:05 UTC
J. Lambek Notes
2001-06-14 5:11 UTC
preprint: The stack quotient of a groupoid
2001-06-12 20:31 UTC
paperback announcement: Categorical Logic and Type Theory
2001-06-12 13:22 UTC
omega-completions
2001-06-12 1:42 UTC
symmetry vs. duality
2001-06-11 16:50 UTC
CFP ESSLLI02 (Trento, Italy)
2001-06-11 8:40 UTC
iteration vs. recursion
2001-06-08 15:07 UTC
cfp: CATS 2002 CFP
2001-06-08 14:21 UTC
Pro C
2001-06-08 12:37 UTC
iteration vs. recursion
2001-06-07 14:55 UTC
Announcing new list: The Xy-pic discussion list
2001-06-07 7:42 UTC
co-iteration?
2001-06-07 7:10 UTC (3+ messages)
co-iteration?
2001-06-07 1:37 UTC
cfp: FMOODS 2002
2001-06-05 14:18 UTC
journal boycott
2001-06-04 18:59 UTC (3+ messages)
` About a journal policy: "Cahiers de Top. et Geom. Diff. Categoriques"
graph term rewriting
2001-06-04 12:23 UTC (3+ messages)
Pro C
2001-06-01 13:23 UTC
Pro C
2001-06-01 8:48 UTC (4+ messages)
journal boycott
2001-06-01 0:44 UTC (2+ messages)
` journal boycott: last item
job: Postdoc Positions at the CLIP group
2001-05-31 14:11 UTC
Weighted Automata: Workshop Announcement
2001-05-31 13:28 UTC
ETAPS 2002, FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS
2001-05-31 13:10 UTC
correction
2001-05-30 15:01 UTC
Journal boycott
2001-05-30 14:29 UTC
preprint: Constructive Galois Toposes /email address
2001-05-30 0:22 UTC
Journal boycott
2001-05-28 20:35 UTC
Theory of computing text as categories
2001-05-28 13:20 UTC
Concoord 2001: Call for Participation
2001-05-26 10:22 UTC
CSL 2001 -- CALL FOR PARTICIPATION
2001-05-25 14:24 UTC
connected functors and pseudoepis
2001-05-25 10:34 UTC
Intervals as a Model of Real Type
2001-05-24 13:13 UTC
Our Advertisement
2001-05-23 8:09 UTC
diagxy
2001-05-22 11:36 UTC
preprint: Characterization of stacks of principal fibre bundles
2001-05-21 12:44 UTC
Structure Preserving: Definition?
2001-05-21 2:21 UTC (3+ messages)
Wells's reply
2001-05-19 12:07 UTC
Chair of Mathematics
2001-05-19 8:28 UTC
An application
2001-05-17 1:43 UTC
Limits
2001-05-16 22:46 UTC
preprint: Left-determined model categories and universal homotopy theories
2001-05-15 11:59 UTC
preprint: Ordered PCA's and Realizability Toposes
2001-05-15 11:08 UTC
question about enriched category theory
2001-05-11 17:13 UTC
STACS 2002 Call for papers
2001-05-10 17:22 UTC
Paris seminar
2001-05-10 17:04 UTC
Limits
2001-05-10 2:18 UTC (2+ messages)
Idempotent monoidal monads
2001-05-09 22:12 UTC
Final version of diagxy
2001-05-08 13:45 UTC
LACL 2001 - Call for Participation
2001-05-07 14:54 UTC
connected functors
2001-05-07 12:36 UTC
preprint : Investigating The Algebraic Structure of Dihomotopy Types
2001-05-07 10:37 UTC
Please help set up course
2001-05-07 4:16 UTC
75 PSSL
2001-05-06 23:05 UTC
Limits
2001-05-06 0:26 UTC (2+ messages)
Limits
2001-05-05 18:58 UTC (2+ messages)
diaxydoc.tex
2001-05-04 14:49 UTC
Please help set up course
2001-05-04 13:26 UTC
pullbacks of local operators
2001-05-04 9:21 UTC
Limits
2001-05-03 23:15 UTC (4+ messages)
diaxydoc.tex
2001-05-02 10:37 UTC
diagxy.tex, final version
2001-05-02 10:34 UTC
Abelian Topological Groups
2001-05-02 10:11 UTC (2+ messages)
Foundational Methods in Computer Science Workshop (FMCS'01)
2001-05-01 23:14 UTC
2001 Haskell Workshop: final call for papers
2001-05-01 16:47 UTC
Syntax question on diagxy
2001-04-29 0:26 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).