Reference wanted
2003-01-08 22:52 UTC
Category and Scheduling Theory
2003-01-08 19:57 UTC (2+ messages)
thoughts arising from a letter of Lawvere
2003-01-08 10:37 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
GETCO 2001 : 2nd Call for papers
2001-04-27 7:27 UTC
Extension of natural transformations
2001-04-27 6:48 UTC
Stanford conference, July 30 - August 3
2001-04-27 0:31 UTC
Kleisli and colimits
2001-04-25 16:04 UTC (2+ messages)
preprint: Some differential equations in Synthetic Differential Geometry
2001-04-24 21:26 UTC
Hausdorff's book
2001-04-23 14:10 UTC
diaxydoc.tex
2001-04-22 12:38 UTC
diagxy.tex
2001-04-22 12:37 UTC
groupoids
2001-04-20 12:13 UTC
Category Theory and Hereditarily-Finite Sets
2001-04-19 21:19 UTC (2+ messages)
Category Theory and Hereditarily-Finite Sets
2001-04-18 23:50 UTC
ECT and computer science
2001-04-17 13:55 UTC
job: positions at the Technical University of Denmark
2001-04-17 8:50 UTC
Foundational Methods in Computer Science Workshop (FMCS'01)
2001-04-16 21:27 UTC
documentation for new diagram package
2001-04-13 17:24 UTC
Beta version of new diagram package
2001-04-13 17:17 UTC
A universal characterization of the unit interval
2001-04-10 14:28 UTC
Terminology
2001-04-09 11:06 UTC
strict n-categories, equivalences
2001-04-05 20:33 UTC
jobs: 13 positions at IT University of Copenhagen
2001-04-05 20:03 UTC
Looking for adjoints
2001-04-05 2:59 UTC (4+ messages)
job: @ Liverpool: Agent Communication Languages & Protocols
2001-04-04 15:08 UTC
Probability Theory
2001-04-03 8:29 UTC (2+ messages)
Looking for adjoints
2001-04-02 21:47 UTC
Probability Theory
2001-04-02 18:42 UTC
Co-operation with ASRIOS-Georgia
2001-03-31 16:06 UTC
TACS 2001 -- extended deadline
2001-03-30 15:38 UTC
Looking for adjoints
2001-03-28 23:31 UTC
jobs: Open positions at IT-C
2001-03-27 11:37 UTC
PhD studentships at the LFCS, U. of Edinburgh
2001-03-26 17:23 UTC
A. Carboni - eaddress
2001-03-23 18:05 UTC
preprint: The logic of linear functors
2001-03-20 22:20 UTC
IJCAR 2001 - Deadlines reminder + List of accepted papers
2001-03-20 12:44 UTC
LAST CFP: FORMAL STRUCTURES IN COMPUTER SCIENCE
2001-03-19 9:51 UTC
Call for papers GETCO 2001
2001-03-16 18:27 UTC
Warning in diagram
2001-03-15 15:53 UTC
question about symmetric monoidal categories
2001-03-15 4:55 UTC
TACS 2001 -- call for papers
2001-03-15 3:51 UTC
CFP: SAIG'01
2001-03-13 16:39 UTC
Apery and categories
2001-03-13 15:39 UTC
How do Cross-Category Results Relate to Category Theory? - Doctorow
2001-03-11 22:14 UTC
ConCoord: Concurrency and Coordination
2001-03-10 18:33 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).