Reality check
2000-08-01 11:56 UTC (2+ messages)
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
Kelly Volume
2000-05-15 6:56 UTC
FME 2001: Call for Papers
2000-05-12 17:56 UTC
URL for workshop
2000-05-12 9:26 UTC
Preprint: Distribution Algebras and Duality
2000-05-12 8:05 UTC
Osius' set theory
2000-05-11 18:59 UTC (3+ messages)
` process algebras
Bangor workshop on orbifolds
2000-05-11 11:26 UTC
Call for Papers: CATS 2001
2000-05-11 7:36 UTC
Model category structures on Cat
2000-05-05 14:48 UTC
derived pasting scheme
2000-05-05 9:34 UTC
FMCS2000
2000-05-03 20:21 UTC
CSL2000 - 1st call for participation
2000-05-03 11:32 UTC
LINEAR Summer School (2nd call)
2000-05-03 3:33 UTC
AiML-ICTL 2000: Final Call for Papers
2000-05-01 20:25 UTC
devissage
2000-04-30 1:50 UTC
Associate Professorship in Logic in Computer Science, Aarhus, DK
2000-04-26 14:14 UTC
From finite sets to Feynman diagrams
2000-04-26 9:20 UTC
process algebras
2000-04-21 19:19 UTC
process algebras
2000-04-21 16:52 UTC
process algebras
2000-04-21 5:51 UTC
Lectureships in Computer Science at Birmingham
2000-04-20 14:46 UTC
CT 2000: Registration and Accomodation
2000-04-20 7:11 UTC
Osius' set theory
2000-04-19 15:52 UTC
Osius' set theory
2000-04-17 13:12 UTC
LICS Workshop on Chu Spaces and Applications 25th June 2000,
2000-04-14 17:01 UTC
preprints available
2000-04-14 14:38 UTC
LPAR'2000: call for papers
2000-04-14 14:37 UTC
AB4.5
2000-04-11 15:56 UTC
CATOP 2000
2000-04-09 12:41 UTC
Correction to paper announcement (ftp URL)
2000-04-06 22:04 UTC
WITS'00 -- last call for paper
2000-04-05 10:39 UTC
Categories with finite products and coproducts
2000-04-05 1:18 UTC
just to be sure (fwd)
2000-04-04 15:08 UTC
AB4.5
2000-04-03 22:12 UTC
Curious fact
2000-04-01 19:44 UTC
icalp2000-program and registration
2000-03-31 10:58 UTC
unbounded choice
2000-03-30 12:57 UTC
Functorial injective hulls
2000-03-30 8:56 UTC
Re: stupid question?
2000-03-30 3:00 UTC (2+ messages)
` "
stupid question?
2000-03-30 1:32 UTC (2+ messages)
` question?
stupid question?
2000-03-29 21:48 UTC
stupid question?
2000-03-29 17:36 UTC
bounded = accessible
2000-03-29 8:43 UTC
PhD places at LFCS
2000-03-27 12:47 UTC
Functorial injective hull
2000-03-27 7:24 UTC
More comments on Functorial injective hulls
2000-03-24 19:06 UTC (2+ messages)
Job Ad: Fwd: Daily SMARTS Output - 1 hit(s)
2000-03-24 0:44 UTC
AMAST 2000 Call for Participation
2000-03-23 20:56 UTC
Functorial injective hulls
2000-03-23 19:50 UTC (2+ messages)
Could anyone provide me some information about enriched categories?
2000-03-23 11:17 UTC
Functorial injective hulls
2000-03-22 20:17 UTC
AIPS2000 Workshop on Model-Theoretic Approaches to Planning: Preliminary Programme
2000-03-22 11:52 UTC
FICS 2000, change in submission guidleines
2000-03-22 9:38 UTC
Topos theory and large cardinals
2000-03-21 21:32 UTC
Preprint: a paper on injective hulls
2000-03-21 12:48 UTC
CTCS '99 Special Issue in TCS. Final Reminder
2000-03-21 11:58 UTC
RFC Walters' book
2000-03-21 3:21 UTC
Graphical Database for Category Theory (GDCT)
2000-03-20 13:41 UTC
Applied Semantics Summer School
2000-03-17 11:50 UTC
gluing, lifting and partial maps
2000-03-15 17:26 UTC (2+ messages)
Category Theory Symposium
2000-03-15 15:24 UTC
Compact Categories
2000-03-15 15:14 UTC
Extended deadline CT 2000
2000-03-15 10:09 UTC
AMS special session: Toronto
2000-03-13 17:44 UTC
PSSL 73, online registration
2000-03-08 13:43 UTC
2nd CFP:LICS Workshop on Chu Spaces and Applications 25th June 2000
2000-03-07 0:26 UTC
review of `History of Topology'
2000-03-06 12:14 UTC (2+ messages)
dom fibration
2000-03-06 3:01 UTC (2+ messages)
BOUNCE categories@mta.ca: Approval required: (fwd)
2000-03-05 15:48 UTC
7th WoLLIC'2000
2000-03-03 15:31 UTC
Topos theory and large cardinals
2000-03-02 3:29 UTC
Johnstone review of Clark/Davey
2000-02-29 18:58 UTC
Weak algebraic structures
2000-02-28 14:20 UTC
CFP Category Theory 2000
2000-02-28 5:03 UTC
preprint: About the globular homology of higher dimensional automata
2000-02-24 12:00 UTC
1970s programmable calculators
2000-02-24 11:18 UTC
Montreal Seminar announcement list
2000-02-22 23:17 UTC
TOOLS USA 2000 Call for contributions
2000-02-22 22:47 UTC
triples down
2000-02-19 14:02 UTC
The Category of all Smooth Manifolds a la Lawvere
2000-02-18 22:09 UTC
Research scholarships available at Birmingham
2000-02-18 13:51 UTC
preprint + CT99 photos
2000-02-18 13:35 UTC
PSSL 73, First Announcement
2000-02-18 13:15 UTC
Position: Research (2) University of Potsdam, Germany
2000-02-16 15:10 UTC
My posting
2000-02-13 0:20 UTC
A curiosity
2000-02-12 21:14 UTC
A curiosity
2000-02-12 18:46 UTC
(unknown)
2000-02-12 17:23 UTC
Tenured posts, please advertise thanks
2000-02-11 17:53 UTC
PhD positions available, please advertise
2000-02-11 17:34 UTC
RFC Walters' "Categories and Computer Science": Function Spec
2000-02-09 23:20 UTC
Category Theory Symposium
2000-02-09 16:30 UTC
Regarding John Isbell
2000-02-09 16:25 UTC
flat covers
2000-02-09 13:08 UTC
FMCS2000
2000-02-09 1:22 UTC
RFC Walters' "Categories and Computer Science" : Functional Specification
2000-02-08 14:45 UTC (2+ messages)
preprint: On the Quantisation of Points
2000-02-07 20:58 UTC
Workshop on Domains IV, 1998
2000-02-07 16:06 UTC
CFP: GETCO'00 (a satellite to CONCUR'00)
2000-02-07 15:50 UTC
New PhD positions at Chalmers
2000-02-07 15:35 UTC
cartesian closed categories with one object
2000-02-07 13:28 UTC
cartesian closed categories with one object
2000-02-07 10:42 UTC
facial sets
2000-02-04 11:15 UTC
CatMAT2000
2000-02-04 9:59 UTC
Grad positions available
2000-01-31 15:55 UTC
2 on terminology (fwd)
2000-01-28 22:02 UTC
integrals
2000-01-28 19:56 UTC
ETAPS 2000 - Call for Participation
2000-01-28 17:44 UTC
slogans
2000-01-28 17:42 UTC (2+ messages)
slogans
2000-01-28 12:37 UTC
abcd=cba
2000-01-28 12:21 UTC
terminology
2000-01-28 12:02 UTC
terminology
2000-01-28 9:57 UTC
terminology
2000-01-27 21:04 UTC (2+ messages)
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).