A situation in search of terminology
2004-04-29 14:02 UTC
Modeling infinitesimals with 2x2 matrices
2004-04-29 0:54 UTC
Extensions of Z+Z
2004-04-29 0:18 UTC
CoLoPS04: Call for Papers
2004-04-28 14:48 UTC
AMAST 04: Call for Participation
2004-04-28 14:07 UTC
Extensions of Z+Z by Z
2004-04-28 6:27 UTC (2+ messages)
Modeling infinitesimals with 2x2 matrices
2004-04-28 5:13 UTC
The proposition O=H
2004-04-27 15:39 UTC
Modeling infinitesimals with 2x2 matrices
2004-04-26 16:54 UTC
Getting rid of cardinality as an issue
2004-04-25 13:54 UTC
Modeling infinitesimals with 2x2 matrices
2004-04-25 6:58 UTC
MFPS Program Now Available - Deadline for Reduced Hotel Rates
2004-04-25 2:00 UTC
Modeling infinitesimals with 2x2 matrices
2004-04-24 22:46 UTC
Modeling infinitesimals with 2x2 matrices
2004-04-24 6:45 UTC
Getting rid of cardinality as an issue
2004-04-23 20:56 UTC (5+ messages)
` "
` Getting rid of cardinality as an issue (correction)
Getting rid of cardinality as an issue (correction)
2004-04-22 21:20 UTC
CFP: JELIA'04 - 9th European Conference on Logics in Artificial In=
2004-04-22 15:09 UTC
Consistency of the category of all categories
2004-04-21 4:11 UTC
preprint: Flow does not model flows up to weak dihomotopy
2004-04-19 5:49 UTC
Geometry of 2x2 real matrices
2004-04-17 1:40 UTC
Feferman colloquium talk of interest to SF Bay Area categorists
2004-04-16 19:55 UTC
Conditions for "Basis convexity" (?) of a theory
2004-04-16 15:47 UTC
right-derived functors
2004-04-16 12:09 UTC
Topos cohomology, context and technical questions
2004-04-16 0:15 UTC (2+ messages)
CfP: GETCO 04
2004-04-15 18:54 UTC
ICGT 2004: last call for papers
2004-04-15 13:55 UTC
"well-copowered" ?
2004-04-15 7:27 UTC
ICCL Summer School 2004
2004-04-13 18:35 UTC
Preprint: Omega Categories I
2004-04-13 12:29 UTC
"well-copowered" ?
2004-04-13 12:03 UTC
Re:arithmetical and geometric reals in (models of) SDG
2004-04-10 22:28 UTC
Robert Goldblatt's notion of a bundle
2004-04-10 5:28 UTC
My ftp site
2004-04-10 1:24 UTC
NASSLLI04 Call for Participation
2004-04-09 23:49 UTC
quantum quandaries - a category-theoretic perspective
2004-04-09 21:18 UTC
Omega categories paper from Carl Futia
2004-04-09 17:59 UTC
quantum quandaries - a category-theoretic perspective
2004-04-09 10:56 UTC (2+ messages)
quantum quandaries - a category-theoretic perspective
2004-04-08 1:38 UTC
arithmetical and geometric reals in (models of) SDG
2004-04-07 13:00 UTC (2+ messages)
International Category Theory Conference(CT04)
2004-04-06 19:27 UTC
preprint: Are operads algebraic theories?
2004-04-06 18:02 UTC
CTCS 2004: Final CFP and Deadline Extension
2004-04-03 14:49 UTC
RTA'04: call for participation
2004-04-02 12:24 UTC
research positions for doctoral students
2004-04-01 21:54 UTC
CP Newsletter Vol 0, Number 1
2004-04-01 17:58 UTC
2nd call Workshop on Logics for Resources, Processes and Programs
2004-04-01 10:06 UTC
MFPS: Last day to submit title and abstract
2004-04-01 2:59 UTC
Re : on the axiom of infinity
2004-03-31 18:59 UTC
New paper on Profunctors, Open Maps and Bisimulation
2004-03-31 6:55 UTC
CONCUR 2004: Final CFP - deadline approaching
2004-03-29 19:45 UTC
on the axiom of infinity
2004-03-29 16:03 UTC
Postscript^2
2004-03-27 13:09 UTC
Addendum
2004-03-26 13:39 UTC
University Lectureship in Computer Science, Univ of Oxford
2004-03-25 16:23 UTC
Cantor set/cantor dust and constructivism
2004-03-23 19:50 UTC
Domains VII (Call for Abstracts)
2004-03-23 15:15 UTC
CFP: Knowledge and Games
2004-03-23 14:17 UTC
Preliminary call for Participation: FMCO 2004
2004-03-23 9:30 UTC
Cantor set/cantor dust and constructivism
2004-03-23 2:37 UTC
Update: Workshop on Quantum Programming Languages
2004-03-22 19:11 UTC
CTCS 2004 - 3rd Call for Papers - Deadline April 9th
2004-03-22 8:51 UTC
FMCS 2004 (Calgary)
2004-03-17 23:48 UTC
Deligne on Govorov-Lazard, proof and history
2004-03-17 15:29 UTC
new book: Call-By-Push-Value
2004-03-17 12:37 UTC
80th PSSL - third announcement
2004-03-17 2:47 UTC
[Fwd: 2 questions]
2004-03-16 22:43 UTC
Concur 2004: Call for Papers
2004-03-12 15:37 UTC
mystification and categorification
2004-03-12 13:50 UTC (8+ messages)
` Quillen model structure of category of toposes/locales?
Picture of Kan?
2004-03-11 23:21 UTC (2+ messages)
HOR'04: last call for abstracts
2004-03-09 12:23 UTC
CTCS 2004 - 3rd Call for Papers - Deadline April 9th
2004-03-09 11:27 UTC
preprint: A van Kampen theorem for the homotopy double groupoid of a Hausdorff space
2004-03-08 16:09 UTC (2+ messages)
` Papers on Lawvere's generalized metric spaces
RA position Leicester Pure math
2004-03-08 9:15 UTC
golden objects - typo
2004-03-07 21:00 UTC
golden objects
2004-03-07 20:50 UTC
jobs galore in Glasgow
2004-03-07 17:36 UTC
MFPS 20 Second Announcement and Call for Participation
2004-03-05 16:50 UTC
TAC Reprints: announcement
2004-03-03 21:28 UTC
Question on universal arrows
2004-03-03 14:34 UTC
golden objects
2004-03-01 5:41 UTC
graphics
2004-02-29 11:49 UTC (4+ messages)
` graphics
` graphics: comment and a query
graphics
2004-02-27 23:48 UTC
The invention of n-categories
2004-02-27 22:35 UTC
The invention of n-categories
2004-02-27 17:11 UTC
Who invented n-categories?
2004-02-26 18:52 UTC (3+ messages)
Categorified GNS
2004-02-26 13:27 UTC
On Baez on 'complex Euler characteristics'
2004-02-26 5:11 UTC
Eilenberg and Kelly invented n-categories?
2004-02-25 17:41 UTC
Equivalences and psuedo-equivalences (two items)
2004-02-24 22:34 UTC
Workshop on Quantum Programming Languages
2004-02-24 2:09 UTC
Constructive Category Theory
2004-02-23 12:35 UTC (3+ messages)
graphics
2004-02-23 2:20 UTC (2+ messages)
(co)limit in the category of types
2004-02-22 20:36 UTC
higher-dimensional algebra
2004-02-22 20:08 UTC
[Fwd: Your father's thesis]
2004-02-21 20:11 UTC
graphics package
2004-02-21 16:18 UTC
graphics package
2004-02-21 15:20 UTC
graphics package
2004-02-21 14:20 UTC
Equivalences and psuedo-equivalences (two items)
2004-02-21 13:46 UTC
International Category Theory Conference(CT04)
2004-02-19 23:58 UTC
graphics package
2004-02-19 16:37 UTC
80th PSSL: addendum
2004-02-17 16:10 UTC
Compact subsets of k-spaces (without separation axioms)
2004-02-16 10:30 UTC (2+ messages)
Cohomology of an elementary topos
2004-02-14 3:24 UTC
ESSLLI 2004: Registration Open
2004-02-13 16:02 UTC
IFIP TCS 2004
2004-02-12 17:04 UTC
80th PSSL - second announcement
2004-02-12 10:27 UTC
typeful logic programming languages and categorical semantics/logic
2004-02-10 19:35 UTC (2+ messages)
WRLA 2004 - Call for participation
2004-02-09 17:35 UTC
CFP: SOS 2004
2004-02-06 13:51 UTC
Tom Fox in the news
2004-02-02 14:45 UTC
Book announcement: Frobenius algebras & 2D TQFTs
2004-01-26 21:50 UTC
CfP: ICGT 2004
2004-01-26 17:15 UTC
CFP: JELIA'04 - 9th European Conference on Logics in Artificial Intelligence
2004-01-25 3:46 UTC
it's official
2004-01-21 16:22 UTC
ETAPS 2004: CALL FOR PARTICIPATION
2004-01-21 9:25 UTC
ETAPS 2005: CALL FOR SATELLITE EVENT PROPOSALS
2004-01-20 16:45 UTC
2nd CFP: Category Theory and Computer Science (CTCS'04), Graduate Student Summer School and CMCIM Workshop
2004-01-20 15:47 UTC
NASSLLI04 Last Call for Proposals
2004-01-19 16:59 UTC
LICS 2004: Final CFP
2004-01-19 13:49 UTC
revised preprint: A monadic approach to polycategories
2004-01-18 10:21 UTC
Preprint: Comparing cartesian closed categories of (core) compactly generated spaces
2004-01-13 16:28 UTC
ASL-MFPS Session
2004-01-10 21:39 UTC
TAC Contents: Volume 11
2004-01-09 18:15 UTC
Question about the internal language of a topos
2004-01-08 23:15 UTC
New PhD Positions Department of Computing Science, Chalmers University
2004-01-07 16:46 UTC
New and old preprint available
2004-01-07 12:07 UTC
Preprint: Inequilogical spaces, directed homology and noncommutative geometry
2004-01-07 10:08 UTC
AMAST 2004: EXTENDED DEADLINE
2004-01-06 16:58 UTC
Two announcements
2004-01-06 13:38 UTC
CMCS'04: deadline prolongation
2004-01-05 13:00 UTC
Mathematics at Bangor
2004-01-03 11:34 UTC
80'th Peripatetic Seminar on Sheaves and Logic
2003-12-22 11:59 UTC
Category Theory and Computer Science, TAC Special Volume
2003-12-16 13:53 UTC
LICS 2004: 2nd CFP
2003-12-12 11:51 UTC
CORRECTION: MFPS XX
2003-12-10 21:59 UTC
MFPS XX
2003-12-10 5:38 UTC
The category of probabilistic mappings
2003-12-09 0:25 UTC
message from Joel Berman (fwd)
2003-12-06 17:22 UTC
Mathematics of Program Construction
2003-12-04 17:21 UTC
Threatened closure of mathematics at Bangor
2003-12-03 15:02 UTC
nominations for Goedel Prize 2004
2003-12-03 9:06 UTC
question about lambda-filtered colimits
2003-12-02 15:42 UTC
question about lambda-filtered colimits
2003-12-01 12:45 UTC
Preprint: Equilogical spaces, homology and noncommutative geometry
2003-11-27 13:05 UTC
CMCS'04: 2nd call for papers
2003-11-25 8:24 UTC
SPIN 2004 - Call for contributions - Deadline 2003/12/06
2003-11-23 16:20 UTC
Graduate student positions, Ottawa
2003-11-20 4:11 UTC
WRLA 2004 - Last call for papers (EXTENDED DEADLINE)
2003-11-19 9:59 UTC
many object version of promonoidal category?
2003-11-19 1:43 UTC (2+ messages)
Postdoc and PhD positions at CWI, Amsterdam
2003-11-12 19:40 UTC
Book announcement
2003-11-07 19:33 UTC
"Algebraic Topological Methods in Computer Science, II"
2003-11-05 13:47 UTC
CFP: 10th Conference on Category Theory and Computer Science (CTCS 2004) and Summer School (fwd)
2003-11-04 22:08 UTC
natural numbers in weak logics
2003-11-04 19:54 UTC
Quantum logic and applied categories
2003-11-03 15:20 UTC
LICS 2004 - Call for Papers
2003-10-30 12:32 UTC
Paper Announcement: On the Geometry of Interaction for Classical Logic
2003-10-29 16:46 UTC
Announcement: Workshop: n-Categories: Foundations and Applications
2003-10-27 20:11 UTC
CFP: 10th Conference on Category Theory and Computer Science (CTCS 2004) and Summer School
2003-10-27 16:38 UTC
CFP: Computer Aided Verification (CAV) 2004, Boston, MA
2003-10-25 21:56 UTC
regular, geometric, and coherent categories
2003-10-25 1:08 UTC
Upgrade of diagxy
2003-10-25 1:03 UTC
quantum logic
2003-10-24 7:05 UTC (2+ messages)
QAPL 2004: Call for Papers
2003-10-24 6:06 UTC
regular, geometric and coherent categories
2003-10-23 23:33 UTC
quantum logic
2003-10-22 20:14 UTC (5+ messages)
terminology
2003-10-17 15:19 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).