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 15:57 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)
Freyd's couniversal characterization of [0,1]
2000-01-27 12:25 UTC (4+ messages)
call for participation: ASM2000, March 19th - March 24th
2000-01-27 4:14 UTC
TAC: Author information
2000-01-25 19:48 UTC
TAC Contents: Volume 5
2000-01-25 19:11 UTC
Quote
2000-01-25 18:26 UTC
Job Announcement: New Mexico State University
2000-01-24 16:13 UTC
Dedekind v Cantor
2000-01-24 15:26 UTC
SEMINAIRE ITINERANT SUR LES CATEGORIES
2000-01-24 15:16 UTC
FMOODS'2000 cfp
2000-01-23 22:55 UTC
Dedekind v Cantor
2000-01-22 13:54 UTC
The LINEAR International Summer School
2000-01-21 11:54 UTC
Eudoxus and the real numbers
2000-01-21 2:35 UTC
Announcement: PhD-thesis
2000-01-20 21:32 UTC
Applied Semantics Summer School APPSEM'2000
2000-01-20 18:51 UTC
Reals a la Eudoxus (updated from re: Tate Reals)
2000-01-20 1:05 UTC (2+ messages)
preprint: A Basic Distributive Law
2000-01-19 23:30 UTC
Midpoint Algebras
2000-01-19 21:16 UTC
PhD in Informatics (AI, CS, CogSci) at Edinburgh
2000-01-19 20:40 UTC
MSc in Informatics (AI, CS, CogSci) at Edinburgh
2000-01-19 20:30 UTC
Real midpoints
2000-01-19 20:23 UTC (6+ messages)
thirding
2000-01-19 19:57 UTC
1 = 2?
2000-01-19 16:03 UTC
LICS Workshop on Chu Spaces and Applications 25th June 2000, CA
2000-01-18 20:11 UTC
Addendum
2000-01-18 19:47 UTC (5+ messages)
Addendum squared or cubed, depending on what you count
2000-01-18 15:14 UTC
deeper and deeper
2000-01-18 14:52 UTC
squares and cubes
2000-01-18 0:57 UTC (3+ messages)
squares and cubes
2000-01-14 21:32 UTC
FICS'2000 Call for Papers
2000-01-14 16:54 UTC
Preprint "The Syntax of Coherence"
2000-01-13 22:22 UTC
Workshop on Issues in the Theory of Security (WITS '00)
2000-01-13 17:59 UTC
Preprint: Elementary Axioms for Local Maps of Toposes
2000-01-12 15:19 UTC
Reals and rationals
2000-01-12 12:43 UTC
Tate reals
2000-01-11 23:53 UTC
URL for functorial lambda-calculus
2000-01-11 0:19 UTC
Call for Papers: Linz2000
2000-01-10 20:05 UTC
ICALP: dead line extended to january 24th
2000-01-10 9:35 UTC
functorial lambda calculus
2000-01-10 3:57 UTC
Diagrams on the WWW ?
2000-01-10 0:44 UTC
Diagrams on the WWW ?
2000-01-09 19:39 UTC
Diagrams on the WWW ?
2000-01-09 19:07 UTC
diagrams on the web
2000-01-09 13:01 UTC
Diagrams on the WWW ?
2000-01-08 22:38 UTC (2+ messages)
Reminder: ICALP call for paper
2000-01-07 14:57 UTC
CL2000: 3rd call for papers
2000-01-05 12:55 UTC
Announcement: EXTENDED DEADLINE FOR CMCS'2000
2000-01-05 12:21 UTC
Sir Tony
2000-01-04 22:09 UTC
Real interval halving
2000-01-04 20:18 UTC (7+ messages)
` Schanuel's reals
` A couple of Y2K glitches
two research positions
2000-01-04 1:24 UTC
Derivatives
2000-01-03 15:28 UTC
banach operations
2000-01-01 21:53 UTC
banach operations
2000-01-01 16:48 UTC
Pre-calculus
1999-12-31 22:54 UTC
Real coalgebra
1999-12-24 21:59 UTC (3+ messages)
` Real coalgebra -- replacing equations by geometry
Preprint: Proper maps of toposes
1999-12-21 13:18 UTC
3 JOBS AT SAARBR"UCKEN, please distribute
1999-12-21 11:15 UTC
Category-theoretic generalization of modular commutator
1999-12-21 6:01 UTC
CONCUR 2000: Call for Papers
1999-12-20 17:13 UTC
CfP: Wksp. on Graph Transformation and Visual Modeling Techniques
1999-12-19 17:23 UTC
Postgraduate Scholarships
1999-12-17 0:40 UTC
Retirement
1999-12-16 15:54 UTC
CTCS '99 Special Issue in TCS
1999-12-16 11:16 UTC
MFCSIT2000 -- First Call for Papers
1999-12-14 16:44 UTC
CFP: Journal of Theoretical Computer Science, Special Issue on "Dependable Computing"
1999-12-13 14:50 UTC
Cfp: Realizability Semantics and Applications (MSCS special issue)
1999-12-10 20:23 UTC
TPHOLs 2000 --- call for papers
1999-12-10 20:14 UTC
preprint: Combinatorics of branchings in higher dimensional automata
1999-12-10 10:30 UTC
1st CFP CALCULEMUS-2000
1999-12-08 15:27 UTC
Workshop on Algebraic K-theory, algebraic homotopy, and global actions
1999-12-03 16:54 UTC
The Lambek Festschrift: Theory and Applications of Categories
1999-12-01 15:45 UTC
CFP CT 2000
1999-11-30 16:18 UTC
Job Position at Milano University
1999-11-29 18:41 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).