David Benson's questions on terminology
2000-11-29 13:12 UTC (2+ messages)
David Benson's questions on terminology
2000-11-29 9:25 UTC
More about names and notation
2000-11-28 20:51 UTC
ridiculously abstract
2000-11-28 19:20 UTC
RFN (Request for Notation)
2000-11-27 16:39 UTC (2+ messages)
Visit to Bangor of Eric Goubault
2000-11-27 15:07 UTC
Partial Constructions in Categories
2000-11-27 13:25 UTC
preprint: `Iteration Monads'
2000-11-27 9:40 UTC
My recent publication - Doctorow
2000-11-24 18:44 UTC
CFP APPSEM Workshop
2000-11-24 16:50 UTC
MCU'2001 - FINAL Call for Papers
2000-11-24 13:45 UTC
Four lectureships in Nottingham
2000-11-24 10:10 UTC
CMCS 2001 - Call for Papers
2000-11-23 8:49 UTC
RelMiS 2001 --- Call for Papers
2000-11-22 8:57 UTC
catware?
2000-11-17 23:40 UTC
preprint: Factorization Systems and Distributive Laws
2000-11-16 20:38 UTC
subcategories of functor categories
2000-11-16 8:48 UTC
papers available
2000-11-13 22:41 UTC
ETAPS 2002 - Call for Satellite Events
2000-11-13 18:54 UTC
Research Assistant Post
2000-11-13 17:15 UTC
correction: DEVELOPMENT OF MATHEMATICS
2000-11-08 13:44 UTC
DEVELOPMENT OF MATHEMATICS 1950-2000
2000-11-07 19:45 UTC
categorical myths and legends
2000-11-07 10:31 UTC
CFP: ESSLLI 01 Student Session
2000-11-06 17:43 UTC
Adjoint cylinders
2000-11-06 8:40 UTC (3+ messages)
` opinions wanted
Adjoint cyclinders in Mitchell
2000-11-05 21:51 UTC
preprint: Paper on derived functors
2000-11-05 13:37 UTC
coinduction
2000-11-02 17:09 UTC (6+ messages)
` coinduction: definable equationally?
Category Theory from RFC Walters' book
2000-11-02 10:30 UTC
Adjoint cylinders
2000-11-02 2:22 UTC
Two one-sided inverse adjoints
2000-11-01 12:52 UTC
Category Theory from RFC Walters' book
2000-11-01 11:05 UTC
Category Theory from RFC Walters' book
2000-11-01 10:04 UTC
on algebra of coreals
2000-11-01 2:30 UTC
FST TCS 2000 Call for Participation
2000-10-31 9:44 UTC
coinduction
2000-10-30 23:09 UTC
Preprint: The co-Birkhoff theorem
2000-10-30 21:56 UTC
Conference on Algebraic Topological Methods in Computer Science
2000-10-30 19:50 UTC
coinduction
2000-10-30 15:55 UTC (6+ messages)
coinduction
2000-10-28 19:39 UTC
new electronic journal: AGT
2000-10-23 17:00 UTC
MFPS XVII
2000-10-19 14:30 UTC
ETAPS 2001: Deadline Approaching
2000-10-17 14:17 UTC
New mailing list
2000-10-16 9:55 UTC
TLCA 2001: DEADLINE EXTENSION
2000-10-13 17:25 UTC
LACL 2001
2000-10-13 11:57 UTC
FoSSaCS'01 deadline is Oct, 20
2000-10-13 11:04 UTC
Preprints: On Mackey topologies ... and On *-autonomous
2000-10-12 14:22 UTC
Book: "Network Algebra"
2000-10-11 9:33 UTC
correction
2000-10-10 15:52 UTC
CFP: Computer Security Foundations Workshop
2000-10-09 22:28 UTC
CFP : Book on Linear Logic
2000-10-05 15:42 UTC
PSSL 74 -- Second announcement
2000-10-04 14:24 UTC
Open position at City University Graduate Center
2000-10-03 11:07 UTC
History of Logic Workshop announcement
2000-10-03 9:32 UTC
Manuscripts available
2000-10-02 22:06 UTC
TACS 2001 CFP
2000-10-02 17:54 UTC
Preprint: Behavioural differential equations: a coinductive calculus of streams, automata, and power series
2000-10-02 14:26 UTC
REMINDER: Submission Deadline for TLCA 01
2000-09-29 17:21 UTC
WADT/CoFI 2001: Call for abstracts
2000-09-29 16:25 UTC
Tech report: Models for Name-Passing Processes
2000-09-29 14:20 UTC
Tor in toposes
2000-09-26 14:30 UTC
PhD & postdoc positions available
2000-09-25 12:57 UTC
characterisation of nerve of omega-categories
2000-09-23 1:26 UTC (2+ messages)
Conference: New programs ... 13-14/11/00
2000-09-21 7:51 UTC
yetter&supernishimura
2000-09-19 21:53 UTC
models of SDG
2000-09-19 18:03 UTC
Dave Harrison
2000-09-19 15:58 UTC
New programs ... conference
2000-09-19 14:37 UTC
question on "model functor"
2000-09-17 16:37 UTC
The Dubuc Topos
2000-09-16 12:22 UTC
question on "model functor"
2000-09-15 17:08 UTC (2+ messages)
A universal property for the ordinal Omega?
2000-09-14 21:40 UTC (2+ messages)
models of SDG
2000-09-14 21:16 UTC
Lipari Summer School 2001
2000-09-13 16:19 UTC
TTT now available free
2000-09-12 16:39 UTC
Job: post doc researcher in type systems at LFCS, Edinburgh
2000-09-12 13:26 UTC
Fixed points of cross-category relationship - Doctorow
2000-09-12 5:22 UTC
Pullback preserving Set-functors
2000-09-11 21:48 UTC
Chair in Theoretical Computer Science at Edinburgh University
2000-09-11 17:42 UTC
Pullback preserving Set-functors
2000-09-11 13:39 UTC
AMS SS J1 (Applied Categorical Structures) in Toronto
2000-09-11 13:24 UTC
ETAPS 2001: SECOND ANNOUNCEMENT & CALL FOR SUBMISSIONS
2000-09-07 16:23 UTC
Barr question
2000-09-06 17:43 UTC
Mac Lane and Abelian Categories
2000-08-31 18:27 UTC
Right exact functors
2000-08-31 12:49 UTC
preprint: Exactness and stability in homotopical algebra
2000-08-30 17:15 UTC
preprint: Relative Stone Locales
2000-08-30 13:54 UTC
Basic Concepts
2000-08-30 13:17 UTC (2+ messages)
preprints: Homotopies and automorphisms...; Local subgroupoids II
2000-08-29 14:57 UTC
Ronnie Letter
2000-08-28 12:03 UTC
CFP: IJCAR 2001 - International Joint Conference on Automated Reasoning
2000-08-22 17:55 UTC
CFP Special Issue JSC on Computer Algebra and Mechanized Reasoning
2000-08-19 21:18 UTC
errata to "Practical Foundations"
2000-08-19 15:04 UTC
e-mail address: M. Thiebaud
2000-08-18 20:21 UTC
PSSL 73
2000-08-15 10:11 UTC
An invariance property of 1 - x + y
2000-08-15 6:49 UTC
Categorists in the news
2000-08-14 10:58 UTC
New Scientist
2000-08-10 0:15 UTC
Preprint: From concurrency to algebraic topology
2000-08-08 9:27 UTC
Special TAC volume CT 2000 - call for papers
2000-08-08 7:51 UTC
Freyd = Dedekind (plus 128 years)
2000-08-05 10:32 UTC
Reality check
2000-08-04 11:16 UTC (5+ messages)
"Practical Foundations" reprint
2000-08-03 9:17 UTC
Change of address
2000-08-01 15:09 UTC
Como Meeting
2000-07-31 1:03 UTC
query: presheaf construction
2000-07-29 11:57 UTC
blackboards at Como
2000-07-28 8:46 UTC
query: presheaf construction
2000-07-28 4:31 UTC (2+ messages)
AMS SS J1 (Applied Categorical Structures) in Toronto
2000-07-27 15:05 UTC
"free" poset question
2000-07-26 23:19 UTC
Presentation Facilities at Conferences
2000-07-26 21:26 UTC (3+ messages)
Osher Doctorow
2000-07-26 9:44 UTC
Preprint: Technical Report by Cattani, Leifer, and Milner
2000-07-25 18:08 UTC
Como meeting CT2000
2000-07-23 13:12 UTC
Cross-Category "conversions" of some interest
2000-07-20 2:15 UTC
Cross-Category "conversions" of some interest
2000-07-14 16:02 UTC
We're more useful than Millennium Domes
2000-07-14 13:01 UTC
film functor
2000-07-13 20:33 UTC
Answer to Charles Wells
2000-07-12 16:45 UTC
Cross-category "conversions" of some interest
2000-07-12 15:47 UTC
concrete functors between categories of algebras
2000-07-12 14:53 UTC
request info on Topos
2000-07-12 14:22 UTC
category theory analysis of the Jacobson radical
2000-07-11 23:20 UTC
Cross-category "conversions" of some interest
2000-07-11 18:27 UTC
Saturated functors
2000-07-11 16:28 UTC
Cross-category "conversions" of some interest
2000-07-08 17:05 UTC
Preprint: Coherence, Homotopy and 2-Theories
2000-07-07 21:19 UTC
New programs ... conference, Paris
2000-07-06 8:38 UTC
FMOODS 2000 Call for Participation, Demos, and Posters
2000-07-04 13:30 UTC
Preprint: Globular and cubical strict multiple categories
2000-07-04 9:21 UTC
Maps as toposes: terminology?
2000-06-30 9:35 UTC
preprint: "On the Penon method of weakening of algebraic structures"
2000-06-30 3:56 UTC
CALCULEMUS-2000 CFP
2000-06-28 14:49 UTC
Tony-San
2000-06-26 11:27 UTC
Categorical Studies in Italy
2000-06-24 9:18 UTC
Adjoints in bicategories
2000-06-23 16:13 UTC (3+ messages)
A question on: <newsgroup sci.math>
2000-06-21 14:23 UTC
A question on: <newsgroup sci.math>
2000-06-19 7:13 UTC
Three questions about fibrations
2000-06-16 19:12 UTC (3+ messages)
Festival Workshop in Foundations and Computations
2000-06-14 18:50 UTC
CONCUR 2000: Call for Participation and Final Program
2000-06-12 17:20 UTC
lifting and non-Artin gluing
2000-06-12 15:05 UTC
symmetric frame of a suplattice: question
2000-06-08 17:12 UTC
LINEAR Summer School
2000-06-08 12:54 UTC (2+ messages)
` LINEAR Summer School (Last call)
Faculty post in foundations of computer science
2000-06-06 14:20 UTC
ETAPS 2001: FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS
2000-06-06 14:06 UTC
CT 2000 Call for Posters
2000-06-05 16:26 UTC
PhD grant at INRIA Sophia Antipolis
2000-06-05 13:54 UTC
TLCA 2001
2000-06-02 17:39 UTC
Four lectureships in Nottingham
2000-06-02 13:49 UTC
FMCS2000
2000-05-31 16:58 UTC
Pataraia
2000-05-31 12:16 UTC
question
2000-05-31 2:08 UTC
Lectureships in Computer Science
2000-05-30 17:53 UTC
Pataraia's fixed-point theorem
2000-05-26 18:26 UTC
FTP 2000 and TABLEAUX 2000 - Call for Participation
2000-05-22 12:02 UTC
FSTTCS 2000: revised Call for Papers
2000-05-20 2:45 UTC
AMS Special Session: Toronto, September 2000
2000-05-19 20:56 UTC
More products
2000-05-18 17:30 UTC
Products redone
2000-05-17 20:09 UTC
Bruennler question
2000-05-17 14:46 UTC
Finitely presentable presheaves
2000-05-17 8:04 UTC
IFIP TCS2000
2000-05-17 7:02 UTC
Maps to
2000-05-16 20:26 UTC
Finitely presentable presheaves
2000-05-16 15:55 UTC
associative product in Set
2000-05-16 14:40 UTC
"maps to"
2000-05-16 14:06 UTC (2+ messages)
associative product in Set
2000-05-16 10:52 UTC
PhD positions in Logics, Types, Rewriting adn Automation
2000-05-16 10:21 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).