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)
Categories in Economics
2003-06-18 0:44 UTC (2+ messages)
"twisted" Galois connections?
2003-06-17 16:25 UTC
CFP: SIPR Calcutta 2004
2003-06-15 22:44 UTC
Address change
2003-06-15 22:33 UTC
Preprint: Algebraic theories in monoidal categories
2003-06-15 8:49 UTC
reference: normal categorical subgroup?
2003-06-14 11:00 UTC (2+ messages)
Function composition of natural transformations? (Pat Don
2003-06-11 8:37 UTC (2+ messages)
More Topos questions ala "Conceptual Mathematics"
2003-06-10 21:23 UTC (2+ messages)
A paper for people who fear categories
2003-06-09 21:05 UTC
topos logic arising nicely
2003-06-09 20:03 UTC
Semantic tableaux and intuitionistic logic
2003-06-09 14:05 UTC
Function composition of natural transformations?
2003-06-09 13:34 UTC (2+ messages)
topos logic arising nicely
2003-06-09 9:18 UTC (2+ messages)
Function composition of natural transformations? (Pat Donaly)
2003-06-08 22:03 UTC (2+ messages)
topos logic arising nicely
2003-06-08 11:39 UTC (3+ messages)
PhD studentship
2003-06-07 14:18 UTC
Function composition of natural transformations?
2003-06-06 21:29 UTC
V-modules
2003-06-06 16:32 UTC
Call for Papers on Compositional Verification of UML Models
2003-06-06 14:18 UTC
Semantic tableaux and intuitionistic logic
2003-06-06 8:13 UTC
Wesley Phoa's Intro on Fibrations, Toposes, Effective Toposes
2003-06-05 17:39 UTC
Topoi, Heyting algebra and Lawvere's CAT book
2003-06-05 17:03 UTC
technical question about omega-categories
2003-06-05 14:45 UTC
Function composition of natural transformations?
2003-06-05 9:49 UTC (5+ messages)
Preprint: semantics of classical proofs
2003-06-05 7:37 UTC
Function composition of natural transformations?
2003-06-04 19:44 UTC
categories and gene alignment
2003-06-04 19:11 UTC
topos logic arising nicely
2003-06-04 15:42 UTC (3+ messages)
Topos logic arises naturally
2003-06-04 9:25 UTC (3+ messages)
Foclasa: Last Call for Papers
2003-06-03 19:40 UTC
Semantic tableaux and intuitionistic logic
2003-06-02 20:08 UTC
Topos logic arises naturally
2003-06-02 18:11 UTC
Semantic tableaux and intuitionistic logic
2003-06-02 13:02 UTC (2+ messages)
Topos logic arises naturally
2003-06-01 16:05 UTC (4+ messages)
universal colimits in 2-cat
2003-05-30 16:28 UTC
Injective Objects in a Category of coalgebras
2003-05-28 17:06 UTC
PSSL 79 - FINAL ANNOUNCEMENT
2003-05-28 14:32 UTC
Can we construct free semi-lattice from free dist. lattice?
2003-05-27 20:52 UTC (2+ messages)
Automata as Categories
2003-05-22 1:36 UTC
Automata as Categories
2003-05-21 7:19 UTC
Automata as Categories
2003-05-20 21:45 UTC (3+ messages)
localy compact spaces - computably based and over a topos
2003-05-20 19:42 UTC
Yikes
2003-05-20 15:34 UTC
connected categories and epimorphisms
2003-05-20 9:13 UTC (2+ messages)
ETAPS 2004: FIRST CALL FOR SUBMISSIONS
2003-05-19 12:27 UTC
connected categories and epimorphisms
2003-05-18 17:45 UTC (2+ messages)
A name
2003-05-18 1:22 UTC
79th PSSL: Call for participation
2003-05-17 9:12 UTC
Job
2003-05-16 5:24 UTC
FMCS '03: preliminary program and call for participation
2003-05-16 0:38 UTC
NASSLLI funding available
2003-05-14 13:08 UTC
LICS 2003 - Call for Participation
2003-05-14 3:37 UTC
Book announcement
2003-05-13 7:50 UTC
preprint : A long exact sequence for the branching homology
2003-05-13 7:44 UTC
Proof Theory, Computation and Complexity Summer School and Workshop
2003-05-12 17:58 UTC
Towards non commutative algebraic topology
2003-05-12 11:43 UTC
Dualization monads on sets
2003-05-11 0:59 UTC
Jon Beck's thesis (fwd)
2003-05-09 14:41 UTC
Enough already (Beck's thesis)
2003-05-09 11:36 UTC
Query
2003-05-09 11:24 UTC (4+ messages)
` Query (Q-algebras)
Book: Higher Operads, Higher Categories
2003-05-08 4:05 UTC
Jon Beck's thesis
2003-05-07 14:08 UTC
Preprint: Directed combinatorial homology and noncommutative tori
2003-05-06 9:45 UTC
EXTENDED EARLY REGISTRATION for NASSLLI 2003
2003-05-02 13:24 UTC
Zariski spectra for rings with topology
2003-05-01 10:40 UTC
2nd CFP: Workshop on Categorical Methods for Concurrency, Interaction, and Mobility
2003-04-30 14:10 UTC
Hacking through topos theory ... internal language
2003-04-29 19:28 UTC
a question about equational classes
2003-04-28 23:58 UTC
correction
2003-04-28 16:12 UTC
equivalent varieties
2003-04-28 10:50 UTC (4+ messages)
equivalent varieties
2003-04-28 2:14 UTC
equivalent varieties
2003-04-27 19:27 UTC
equivalent varieties
2003-04-27 18:59 UTC
Equivalent varieties
2003-04-27 13:19 UTC
unique maximal consistent extensions
2003-04-27 13:16 UTC
Categories on vacation
2003-04-26 18:27 UTC
Kripke semantics and Alexandrov topology
2003-04-24 22:54 UTC
WAIT 2003: Deadline approaching
2003-04-24 20:15 UTC
RDP'03 - Call for participation
2003-04-24 14:10 UTC
Kripke semantics and Alexandrov topology
2003-04-24 6:45 UTC (2+ messages)
UWO/Fields program in homotopy theory
2003-04-22 19:57 UTC
Centenary Medal to Max
2003-04-22 18:00 UTC
Category Theorists in Montreal
2003-04-21 15:16 UTC
Last call: Conference on Algebraic and Topological Methods in Non-Classical Logics
2003-04-16 20:41 UTC
Ottawa Summer School + Workshops: Call for Participation
2003-04-15 3:24 UTC
LICS 2003 - Call for Participation
2003-04-11 4:28 UTC
preprint: a paper on *-autonomous categories and linear logic
2003-04-10 2:32 UTC
preprint : Homotopy branching space and weak dihomotopy
2003-04-09 5:25 UTC
Proof Theory, Computation and Complexity - Announcement
2003-04-08 16:56 UTC
change of address
2003-04-07 9:49 UTC
Models for infinitesimal analysis
2003-04-04 19:02 UTC
FMCO 2003: Call for Participation
2003-04-03 11:54 UTC
cfp: FGC: Foundations of Global Computing
2003-04-02 9:09 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).