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: A van Kampen theorem for the homotopy double groupoid of a Hausdorff space
2004-01-15 17:00 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 (6+ messages)
terminology
2003-10-17 15:19 UTC
terminology
2003-10-16 21:39 UTC
Final call: Formal Methods for Components and Objects
2003-10-16 14:01 UTC
CFP: 17th IEEE Computer Security Foundations Workshop
2003-10-16 13:41 UTC
quantum logic
2003-10-13 13:21 UTC (5+ messages)
2nd announcement: Workshop and Symposium RAMIFICATIONS OF CATEGORY THEORY
2003-10-10 7:47 UTC
FMCO 2003: CALL FOR PARTICIPATION
2003-10-09 14:59 UTC
The Calculus
2003-10-06 20:43 UTC (2+ messages)
email address: Philippe Gaucher
2003-10-06 13:49 UTC
Question on standard terminology
2003-10-06 13:31 UTC
Union College Conference
2003-10-03 19:06 UTC
Stasheff's question
2003-10-03 17:16 UTC
Categories of elements
2003-10-03 4:20 UTC
Stasheff's question
2003-10-02 14:42 UTC
query
2003-10-02 12:55 UTC
Euler characteristic versus homotopy cardinality
2003-10-01 17:38 UTC
new job & address for me too
2003-10-01 15:51 UTC
Categories of elements
2003-10-01 5:33 UTC
Categories of elements (Pat Donaly)
2003-09-30 18:50 UTC (2+ messages)
New address: T. Leinster
2003-09-26 15:01 UTC
Higher Order Yoneda?
2003-09-25 2:34 UTC (2+ messages)
CfP: GT-VMT @ ETAPS 2004
2003-09-19 7:59 UTC
duality theory
2003-09-19 3:43 UTC
Preprint: Flatness, preorders and general metric spaces
2003-09-18 10:56 UTC
associated sheaf functor
2003-09-17 11:41 UTC
CMCS '04, FIRST ANNOUNCEMENT, CALL FOR PAPERS
2003-09-17 11:26 UTC
associated sheaf functor
2003-09-16 17:12 UTC
Formal Methods for Components and Objects 2003
2003-09-09 15:24 UTC
AMAST 2004: Call for Papers
2003-09-04 9:41 UTC
Uniform spaces
2003-09-02 20:16 UTC (4+ messages)
Logic preserved in double negation subtopos?
2003-09-02 19:52 UTC
Logic preserved in double negation subtopos?
2003-09-02 8:16 UTC
grants on visual modelling techniques
2003-09-01 9:03 UTC
Tree cover?
2003-09-01 8:30 UTC
Please send message again
2003-08-30 12:28 UTC
Category Theory and Computer Science, TAC Special Volume
2003-08-28 11:27 UTC
Senior Informatics Systems Analyst Positions (2) (fwd)
2003-08-27 20:37 UTC
Uniform spaces
2003-08-27 17:13 UTC
Pat Donaly
2003-08-27 15:10 UTC
module for a category
2003-08-27 14:11 UTC (2+ messages)
E-worms and e-viruses
2003-08-26 18:28 UTC
Special volume of TAC -- reminder
2003-08-23 19:05 UTC
A remark related to Paul Levy's email on modules (Pat Donaly)
2003-08-22 16:08 UTC
Union College Conference -- 2nd Announcement
2003-08-21 14:51 UTC
module for a category
2003-08-21 11:51 UTC (2+ messages)
Rider to my response to Jean Benabou
2003-08-21 2:13 UTC
monoidal terminology
2003-08-19 0:52 UTC (2+ messages)
UWO/Fields program in applied homotopy theory
2003-08-12 17:51 UTC
ETAPS 2004: FIRST CALL FOR SUBMISSIONS
2003-08-07 16:47 UTC
Categories interruption
2003-08-07 13:06 UTC
DG-categories
2003-08-06 1:38 UTC
Godel and Bernays on CT
2003-07-30 16:34 UTC
Conference announcement - Ramifications of Category Theory
2003-07-30 9:09 UTC
CMS Summer 2004
2003-07-29 13:19 UTC
Second International Symposium on Formal Methods for Components and Objects
2003-07-28 11:05 UTC
Louis Nel in the news
2003-07-27 15:41 UTC
preprint: Normed combinatorial homology and noncommutative tori
2003-07-23 6:32 UTC
CT04
2003-07-21 20:16 UTC
Compatibility of functors with limits
2003-07-20 17:50 UTC
chain complexes
2003-07-20 16:43 UTC (2+ messages)
` chain complexes: in reply to John Baez
Higher-Dimensional Algebra VI: Lie 2-Algebras
2003-07-20 4:43 UTC
preprint: Normed combinatorial homology and noncommutative tori
2003-07-18 12:39 UTC
Generalized Yoneda Lemma (from Pat Donaly)
2003-07-16 19:52 UTC
Groups vs. groupoids (Pat Donaly)
2003-07-16 17:22 UTC (2+ messages)
FM 2003 Call for Participation
2003-07-16 15:20 UTC
Compatibility of functors with limits
2003-07-16 14:58 UTC
Compatibility of functors with limits
2003-07-15 14:48 UTC (2+ messages)
Inverse limits in Grothendieck categories
2003-07-15 14:11 UTC
Higher-Dimensional Algebra V: 2-Groups
2003-07-15 12:27 UTC
special elements and products
2003-07-13 20:05 UTC
Scott Russell Johnson Memorial Fellowship
2003-07-12 9:35 UTC
Subcategories (Pat Donaly)
2003-07-09 1:59 UTC
Correction to terminology (Pat Donaly)
2003-07-08 19:55 UTC
Faked sender's address
2003-07-08 12:00 UTC
Call for Participation: LPAR'03 - September 22-26th, 2003, Almaty, Kazakhstan
2003-07-07 18:39 UTC
Looking for examples of Right Kan Extensions
2003-07-07 17:01 UTC
Some history on quotient categories
2003-07-07 13:58 UTC
Announcement: AMAST 2004 (Stirling, July 2004)
2003-07-07 9:44 UTC
reference : normal categorical subgroup ?
2003-07-05 10:37 UTC (4+ messages)
` quotients of groupoids
` quotients of groupoids (K. Mackenzie's comments on J. Pradines'answer to Marco Mackaay)
` quotients of groupoids SECUND PART
Compatibility of functors with limits
2003-07-04 17:05 UTC
[Csl03] Call for Participation
2003-07-04 11:09 UTC
job: Research post in Bangor
2003-06-26 12:48 UTC
Open positions: Research (Bunched ML); Lectureships
2003-06-24 13:07 UTC
Papers available
2003-06-24 9:14 UTC
Re:first isomorphism theorem
2003-06-23 18:43 UTC
Halchin's question re Curry-Howard
2003-06-23 15:03 UTC
Union College Conference
2003-06-20 19:33 UTC
CFP: WRLA 2004
2003-06-20 14:08 UTC
My email address
2003-06-20 11:49 UTC
first isomorphism theorem
2003-06-19 12:52 UTC (3+ 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).