Steve Vickers has moved
1999-10-05 11:20 UTC
Cfp: Realizability Semantics and Applications (MSCS special issue)
1999-10-04 17:04 UTC
paper announcement
1999-10-01 18:30 UTC
CSL 2000, call for papers
1999-09-30 13:16 UTC
preprint: Simplicial toposes and combinatorial homotopy
1999-09-24 9:27 UTC
FOSSACS'2000: Call for papers
1999-09-23 13:09 UTC
URLs changing at McGill
1999-09-21 21:48 UTC
Last CFP: FroCoS'2000
1999-09-21 15:06 UTC
Web site for Octoberfest 99
1999-09-21 14:29 UTC
CADE-17 Call for Workshops and Tutorials
1999-09-21 11:16 UTC
PSSL71 web page
1999-09-21 9:48 UTC
CT'99 proceedings - deadline reminder
1999-09-20 21:49 UTC
Skeleton of a category
1999-09-20 17:44 UTC
Skeleton of a category
1999-09-20 17:06 UTC
second update
1999-09-19 22:26 UTC
call for papers: ASM2000, March 19th - 24th
1999-09-16 17:59 UTC
announcement update
1999-09-16 16:15 UTC
FMOODS 2000 CFP correction
1999-09-16 4:45 UTC
paper announcement
1999-09-15 23:02 UTC
FMOODS 2000 Preliminary Call for Papers
1999-09-15 19:53 UTC
John Isbell (fwd)
1999-09-08 17:10 UTC
John Isbell
1999-09-08 16:46 UTC
CfP: Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GRATRA 2000)
1999-09-08 14:20 UTC
nonpareil dinats
1999-09-08 14:12 UTC
John Isbell
1999-09-07 17:50 UTC
PSSL 71: Second Announcement
1999-09-06 14:27 UTC
FroCoS'2000: Third Call for Papers
1999-09-03 15:53 UTC
MAC LANE FEST SCHEDULE
1999-09-02 1:28 UTC
PhD and Postdoc Positions in Software Technology (Utrecht University)
1999-08-31 10:57 UTC
looking for references
1999-08-28 3:34 UTC (2+ messages)
` Pseudo orbits
HTML at McGill Maths Dept
1999-08-24 22:23 UTC
Reminder notice: Category meeting, Montreal October 16th
1999-08-20 21:53 UTC
Research Positions in Computer Science
1999-08-17 8:12 UTC
Remember: CSL'99
1999-08-15 22:04 UTC
Generalized Subfunctors
1999-08-14 19:51 UTC
CADE-17 Preliminary Call For Papers
1999-08-12 18:59 UTC
TCS2000, call for papers
1999-08-12 4:56 UTC
WAIT99 (CFP - Preliminar)
1999-08-10 17:27 UTC
Replacement Position at Saint Mary's University
1999-08-09 18:33 UTC
monadic completion of adjunctions
1999-08-06 10:41 UTC
New mailing list for universal algebra
1999-08-06 3:02 UTC
CFP: Workshop on Real-Time Constraints (2nd Call)
1999-08-06 1:18 UTC
on the coexponential question
1999-08-05 12:52 UTC
universal property of tangent bundle
1999-08-02 10:22 UTC
Pre-print announcement
1999-08-01 11:55 UTC
Paper announcement
1999-07-31 4:45 UTC
New edition of "Category Theory for Computing Science"
1999-07-30 14:12 UTC
PSSL 71: First announcement
1999-07-28 12:37 UTC
Lectureship in Theoretical Computer Science in Birmingham
1999-07-27 17:56 UTC
CT 2000
1999-07-27 14:47 UTC
CTCS`99 Call for Participation
1999-07-26 16:09 UTC
co-exponential question
1999-07-23 19:40 UTC (2+ messages)
Cartesian Monads and Pullbacks
1999-07-23 9:28 UTC
Answer to Davilov
1999-07-21 15:58 UTC
Call for papers: Workshop on Generic Programming 2000
1999-07-21 12:45 UTC
Cartesian Monads and Pullbacks
1999-07-21 10:56 UTC
co-exponential question
1999-07-20 20:57 UTC (3+ messages)
Position
1999-07-20 12:18 UTC
looking for reference
1999-07-20 11:44 UTC
Int. Federation Computational Logic
1999-07-20 0:08 UTC
Australasian Workshop on Computational Logic
1999-07-19 23:24 UTC
Mac Lane's inclusions
1999-07-19 19:45 UTC
universal property of tangent bundle
1999-07-19 15:09 UTC
British Logic Colloquium 1999
1999-07-19 11:32 UTC
Mac Lane's inclusions
1999-07-17 4:11 UTC
Mac Lane's inclusions
1999-07-15 17:32 UTC
Maple program for cubical categories ?
1999-07-15 15:32 UTC (2+ messages)
CSL99 Programme and Call for Participation
1999-07-14 16:03 UTC
Category theory for Mathematica -> HPF
1999-07-12 14:21 UTC
*-autonomous non-category
1999-07-10 19:03 UTC
New book (shameless commerce division)
1999-07-10 18:09 UTC
an early exercise in Mac Lane
1999-07-10 18:02 UTC
an early exercise in Mac Lane
1999-07-09 20:05 UTC
an early exercise in Mac Lane
1999-07-09 13:39 UTC
an early exercise in Mac Lane
1999-07-08 20:50 UTC
Permanent position in foundations of computation
1999-07-07 9:52 UTC
Internal sheaf
1999-07-06 18:25 UTC
CSL'99 Programme and CFP
1999-06-30 19:13 UTC
The Scott Russell Johnson Memorial Fellowship
1999-06-28 3:33 UTC
PROBMIV'99: Call for Participation
1999-06-26 16:19 UTC
Announcement WD'99
1999-06-24 14:55 UTC
HHA article available
1999-06-24 13:53 UTC
CTCS 99 CALL FOR PARTICIPATION, DEADLINE 19th July
1999-06-23 12:43 UTC
Correct email address
1999-06-23 0:25 UTC
preprint: Representable Multicategories
1999-06-22 5:53 UTC
"OctoberFest" category theory meeting in Montreal
1999-06-21 20:19 UTC
Coimbra course notes on Chu Spaces
1999-06-19 19:35 UTC
IFIP TC1 TCS Conference Y2000 in Japan
1999-06-18 10:11 UTC
Dinaturality in the CCC Poset
1999-06-17 5:24 UTC
Preprint: I. Moerdijk: "On the Connes-Kreimer construction of Hopf algebras"
1999-06-16 13:51 UTC
"Universes" within ZFC
1999-06-12 17:42 UTC
Question on subobject classifiers
1999-06-12 13:04 UTC
CTCS '93?
1999-06-08 14:37 UTC
CSL'99 Call for Participation
1999-06-04 19:44 UTC
My ftp directory
1999-06-02 20:53 UTC
MPC2000: 5th Int. Conf. on Math. of Program Construction - CFP
1999-06-02 16:02 UTC
JPAA issue in honor of S.Mac Lane
1999-06-02 13:53 UTC
CONCUR'99 Call for participation
1999-06-01 12:19 UTC
Recursive types in polymorphic lambda calculus
1999-05-31 16:09 UTC
LUATCS'99 2nd announcement
1999-05-25 10:43 UTC
OOSDS99 Call for papers
1999-05-20 14:47 UTC
Illness of John Isbell
1999-05-16 14:37 UTC
Recursive types in polymorphic lambda calculus
1999-05-14 19:24 UTC
WoLLIC'99 - Call for Participation
1999-05-13 12:56 UTC
FroCoS'2000: First Call for Papers
1999-05-12 12:48 UTC
FMCS 99
1999-05-11 21:12 UTC
PROBMIV'99: Final Call for Papers
1999-05-11 8:59 UTC
Summer address for categories
1999-05-10 14:08 UTC
2nd Call for Papers WDS99
1999-05-10 13:01 UTC
Catop 2000
1999-05-07 13:22 UTC
Preprint: Combinatorial homology and image analysis
1999-05-07 10:51 UTC
question about weak omega category
1999-05-07 9:51 UTC (2+ messages)
LPNMR'99 Call for Papers
1999-05-06 21:21 UTC
Weak Bisimulation and Open Maps
1999-05-06 11:54 UTC
Kleisli bi-categories
1999-05-05 8:22 UTC
Lectureship in Computer Science
1999-05-01 12:23 UTC
CTCS '99: Extension of deadline till 7 May 1999
1999-04-23 15:44 UTC
Research Positions
1999-04-23 11:52 UTC
Workshop: "OPERADS AND APPLICATIONS",
1999-04-21 13:28 UTC
WAIT99 - Call for Papers
1999-04-19 13:31 UTC
small universes
1999-04-12 16:56 UTC (2+ messages)
AMS Buffalo April 24/25, 1999
1999-04-11 17:51 UTC
email
1999-04-08 15:19 UTC
incompleteness of ZF
1999-04-08 13:08 UTC (4+ messages)
` April 1st & related matters
incompleteness of ZF
1999-04-08 7:49 UTC
Position at Ottawa U
1999-04-05 17:25 UTC
Is Zermelo-Fraenkel set theory inconsistent?
1999-04-01 20:23 UTC (3+ messages)
list outage
1999-03-31 12:43 UTC
CTCS '99 (Deadline 23 April 1999)
1999-03-30 12:51 UTC
WAIT99 - Call for Papers
1999-03-25 14:09 UTC
PhD Studentship at Edinburgh
1999-03-24 14:55 UTC
On reflexivity
1999-03-20 2:19 UTC
Ronnie Brown's type-dream
1999-03-19 19:23 UTC
my groupoid model
1999-03-19 19:05 UTC
Polymorphic lambda-calculus
1999-03-19 16:13 UTC (2+ messages)
` Naive question on Polymorphic lambda-calculus, etc
more on monoidal structure of graphs
1999-03-19 15:03 UTC
polymorphic lambda-calculus
1999-03-19 13:51 UTC (2+ messages)
` They often come in pairs
more on monoidal structure of graphs
1999-03-19 13:27 UTC
Errata corrige to my previous message
1999-03-19 8:27 UTC
"Practical Foundations of Mathematics"
1999-03-18 20:44 UTC
Monoidal structure, take II
1999-03-18 18:40 UTC (3+ messages)
` and there is a topological connection too
Monoidal structure, take II
1999-03-18 17:27 UTC
Polymorphic lambda-calculus
1999-03-18 14:33 UTC
Monoidal structure on graphs
1999-03-18 10:55 UTC
Monoidal structure on graphs
1999-03-17 15:24 UTC
Research scholarships available at Birmingham
1999-03-16 10:06 UTC
lax monad
1999-03-14 23:39 UTC
BCTCS 15
1999-03-13 12:19 UTC
lax monad
1999-03-13 4:10 UTC
Rewrite Methods for Kan Extensions of Actions of Categories
1999-03-11 14:20 UTC
Report on verification of unknown number of processes
1999-03-10 6:29 UTC
Quantum vertex algebras
1999-03-09 15:17 UTC
geometric formulas
1999-03-08 22:54 UTC
Computer Science Logic Conference (CSL'99)
1999-03-08 10:53 UTC
AMS Buffalo, revised
1999-03-07 22:37 UTC
AMS Buffalo, April 24/25
1999-03-05 16:53 UTC
geometric formulae and axioms
1999-03-05 10:15 UTC
OOSDS99 Call for papers
1999-03-04 9:00 UTC
TLCA'99 (Second Call for Participation)
1999-03-04 8:29 UTC
geometric formulae and axioms
1999-03-03 17:33 UTC (2+ messages)
PhD positions
1999-03-01 16:13 UTC
OOSDS'99 CALL FOR PAPERS
1999-03-01 11:47 UTC
SCTA - second announcement
1999-02-25 15:41 UTC
Paper on linear bicategories (and non-commutative linear logic)
1999-02-25 5:01 UTC
Oriented homotopy and Concurrency
1999-02-24 22:50 UTC
Industrial application
1999-02-24 1:57 UTC
Vaughan, in the real world
1999-02-23 15:23 UTC
PhD in Informatics (AI, CS, CogSci) at Edinburgh
1999-02-23 14:31 UTC
Paper Announcement: Control Categories and Duality
1999-02-23 5:09 UTC
Spring School on Categorical Methods in Logic & Computer Science
1999-02-22 10:20 UTC
MSc in Informatics (AI, CS, CogSci) at Edinburgh
1999-02-22 0:13 UTC
CSL'99 Last CFP (Text & LaTex versions)
1999-02-18 20:08 UTC
Final CFP: special issue of JAR on satisfiability
1999-02-17 15:38 UTC
2nd CFP: Intuitionistic Modal Logic and Applications
1999-02-17 15:12 UTC
book announcement: Categorical Logic and Type Theory
1999-02-16 13:05 UTC
TAC 1998 contents
1999-02-15 22:21 UTC (2+ messages)
` Change of address
email address change
1999-02-15 3:42 UTC
Buffalo email down
1999-02-14 14:45 UTC
TOOLS EUROPE '99 - Last Call for Papers
1999-02-10 3:00 UTC
New_PhD_positions_at_Chalmers
1999-02-09 14:12 UTC
MFPS XV Update
1999-02-09 2:47 UTC
A short question about lax-natural transformations
1999-02-07 11:49 UTC
School on Logic and Computation
1999-02-06 11:56 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).