question on the Hochschild complex categorically
2006-12-11 2:34 UTC
"Elsevier and weapons trade"
2006-12-10 22:08 UTC
Distributive laws
2006-12-10 1:00 UTC
Response to "Elsevier and weapons trade"
2006-12-09 0:48 UTC
Response to "Elsevier and weapons trade"
2006-12-08 17:29 UTC
Response to "Elsevier and weapons trade"
2006-12-08 15:51 UTC
Boycott Elsevier
2006-12-08 15:39 UTC
intensional higher-order logic
2006-12-08 15:11 UTC
research positions
2006-12-08 14:03 UTC
QAC'07 - 2nd call for papers
2006-12-08 11:13 UTC
Response to "Elsevier and weapons trade"
2006-12-08 1:46 UTC
SAS 2007 Preliminary Call for Papers
2006-12-07 16:31 UTC
preprint announcement - related to Todd Wilson's question
2006-12-07 13:21 UTC
Elsevier and weapons trade
2006-12-07 8:47 UTC
USMC'07 - Call for talks and participation
2006-12-07 3:45 UTC
MFPS 23 Final Call for Submissions
2006-12-05 21:24 UTC
TLCA'07 - Second Call for Papers
2006-12-04 1:26 UTC
Kurt G=F6del Centenary research Prize Fellowships
2006-12-01 9:19 UTC
PSSL 85 in Nice - first announcement
2006-11-30 23:21 UTC
A question about extensive categories
2006-11-29 14:58 UTC
IEEE Computer Security Foundations 2007 - call for papers
2006-11-28 10:44 UTC
Implicit algebraic operations
2006-11-27 15:48 UTC
Implicit algebraic operations
2006-11-27 6:16 UTC
CFP: Symposium on Logical Foundations of Computer Science LFCS07
2006-11-27 2:33 UTC
NUMDAM progress
2006-11-21 13:55 UTC
9 research assistant positions available
2006-11-16 10:28 UTC
Morgan-Phoa Mathematics Workshop
2006-11-12 2:48 UTC
CfP: Special issue I&C on SOS
2006-11-11 2:42 UTC
reflexive coequalizers
2006-11-06 13:39 UTC
Artin glueing for quasitoposes
2006-10-31 22:47 UTC
Artin glueing for quasitoposes
2006-10-31 18:07 UTC
Amendment/Commentary
2006-10-31 13:58 UTC
LICS 2007 Call for Workshop Proposals
2006-10-31 12:30 UTC
University of Oxford: Lectureships in Software Engineering
2006-10-30 17:30 UTC
this week's nonsense
2006-10-29 14:57 UTC
co-smash product (was: categories: Re: Characterization
2006-10-29 2:58 UTC
Lawvere-Metrics and Banach Spaces
2006-10-28 20:13 UTC
Characterization of integers as a commutative ring with unit
2006-10-27 9:29 UTC
Characterization of integers as a commutative ring with unit
2006-10-27 7:51 UTC
Characterization of integers as a commutative ring with unit
2006-10-27 7:23 UTC
Characterization of integers as a commutative ring with unit
2006-10-27 1:09 UTC
Characterization of integers as a commutative ring with unit
2006-10-27 0:01 UTC
Characterization of integers as a commutative ring with unit
2006-10-26 20:26 UTC
Characterization of integers as a commutative ring with unit
2006-10-26 15:21 UTC
Characterization of integers as a commutative ring with unit
2006-10-26 14:48 UTC
Characterization of integers as a commutative ring with unit
2006-10-26 8:56 UTC
laws and equations
2006-10-24 17:58 UTC
cartesian closed categories and holodeck games
2006-10-24 6:24 UTC
cartesian closed categories and holodeck games
2006-10-24 6:15 UTC
cartesian closed categories and holodeck games
2006-10-23 20:59 UTC
cartesian closed categories and holodeck games
2006-10-23 17:39 UTC
1cfc: CALCO-jnr (Conference on Algebra and Coalgebra in Computer Science), Bergen, Norway
2006-10-23 12:53 UTC
cartesian closed categories and holodeck games
2006-10-23 1:26 UTC
Decomposability of monads
2006-10-20 15:14 UTC
Milan Workshop in categorical algebra: Third announcement
2006-10-18 9:17 UTC
Lawvere-metrics and Banach spaces
2006-10-17 14:46 UTC
Lawvere-metrics and Banach spaces
2006-10-17 10:19 UTC
from darush.aghababayeedehkordi
2006-10-17 7:47 UTC
FCT 2007 - First Announcement
2006-10-16 12:20 UTC
Available on my ftp site
2006-10-15 18:23 UTC
Power outage in Buffalo
2006-10-15 12:38 UTC
Leopoldo Roman
2006-10-13 3:25 UTC
Octoberfest schedule
2006-10-11 17:02 UTC
RTA'07: First Call for Papers
2006-10-10 20:48 UTC
Paper: The Euler characteristic of a category
2006-10-10 9:36 UTC
Reflexive coequalizers
2006-10-09 20:09 UTC
Reflexive coequalizers
2006-10-09 18:40 UTC
Reflexive coequalizers
2006-10-09 14:47 UTC
Reflexive coequalizers
2006-10-09 13:37 UTC (2+ messages)
CT2007 - first announcement
2006-10-09 10:36 UTC
Position preannouncement in Paris 7 (REMINDER, qualification deadline 16/10/06)
2006-10-07 9:16 UTC
LICS 2007 - Call for Workshop Proposals
2006-10-05 17:57 UTC
TLCA '07 - Preliminary Call for Papers
2006-10-04 1:25 UTC
PhD Studentship available
2006-10-03 13:27 UTC
CiE 2007 - Preliminary Announcement
2006-10-03 9:58 UTC
grants for foreign PhD students in Padua
2006-10-02 13:38 UTC
papers available
2006-09-29 17:40 UTC
Workshop on Identity Types
2006-09-27 13:24 UTC
Are geometric categories balanced?
2006-09-26 7:51 UTC
Are geometric categories balanced?
2006-09-25 19:47 UTC
MFPS XXIII Call for Papers
2006-09-21 16:46 UTC
Octoberfest deadlines
2006-09-20 14:38 UTC
WoLLIC'2007 - Call for Papers
2006-09-18 2:38 UTC
from the n-category cafe'
2006-09-16 0:44 UTC
Milan Workshop in Categorical algebra, second announcement
2006-09-15 13:04 UTC
PSSL84, second announcement
2006-09-15 11:02 UTC
Summerschool Haute Bodeux June 2007
2006-09-14 20:43 UTC
Easik - software for categorical database design
2006-09-09 19:28 UTC
Ulrich Seip
2006-09-09 12:28 UTC
Ulrich Seip
2006-09-08 17:46 UTC
preprint: Connections and path connections in groupoids
2006-09-08 16:56 UTC
many object cobar constructions
2006-09-08 10:23 UTC
preprint: Connections and path connections in groupoids
2006-09-08 9:08 UTC
Octoberfest-Call for Participation
2006-09-06 17:40 UTC
CFP MSCS special issue Isomorphisms of Types and Invertibility of Lambda-Terms
2006-09-05 17:35 UTC
Morley derivative as non-classical Cantor-Bendixson derivative?
2006-09-04 7:53 UTC
Linear--structure or property?
2006-09-04 4:14 UTC
Linear--structure or property?
2006-09-04 3:11 UTC
no membership-respecting morphisms
2006-09-03 18:59 UTC
Linear--structure or property?
2006-09-03 18:32 UTC
Book: Singular Coverings of Toposes
2006-09-03 16:15 UTC
Linear--structure or property?
2006-09-03 9:26 UTC
no membership-respecting morphisms
2006-09-02 16:54 UTC
no membership-respecting morphisms
2006-09-02 13:17 UTC
Martins-Porter paper
2006-08-31 6:02 UTC
Martins-Porter paper
2006-08-29 1:01 UTC
Classifying spaces
2006-08-28 22:16 UTC
classifying functor and colimits
2006-08-28 21:45 UTC
classifying functor and colimits
2006-08-28 12:45 UTC
lectures on n-categories and cohomology; Grothendieck comments
2006-08-28 10:49 UTC
Laws
2006-08-25 8:49 UTC
classifying functor and colimits
2006-08-24 5:59 UTC
Attribution re no membership-respecting morphisms
2006-08-23 15:47 UTC
The n-Category Cafe
2006-08-23 15:28 UTC
[3WFTop] Third Workshop on Formal Topology. First Announcement
2006-08-22 12:05 UTC
lectures on n-categories and cohomology
2006-08-22 6:54 UTC
Attribution re no membership-respecting morphisms
2006-08-21 15:29 UTC
gentle introduction to CT?
2006-08-14 3:13 UTC
Linear--structure or property?
2006-08-12 16:35 UTC
Book Announcement: "From Sets and Types to Topology and Analysis"
2006-08-12 16:03 UTC
Laws
2006-08-12 15:37 UTC
aosd 2007
2006-08-12 13:56 UTC
Laws
2006-08-11 23:18 UTC
Linear--structure or property?
2006-08-11 21:47 UTC
Linear--structure or property?
2006-08-11 14:53 UTC
Linear--structure or property?
2006-08-11 14:35 UTC (2+ messages)
Linear--structure or property?
2006-08-11 9:12 UTC
gentle introduction to CT?
2006-08-10 21:19 UTC
Linear--structure or property?
2006-08-10 20:14 UTC
Jobs in Glasgow
2006-08-10 15:13 UTC
MFPS 23 Preliminary Announcement
2006-08-10 8:58 UTC
Laws
2006-08-10 0:19 UTC
More laws
2006-08-09 3:56 UTC
Laws
2006-08-09 2:24 UTC
Laws
2006-08-08 23:31 UTC
Laws
2006-08-08 19:19 UTC
Laws
2006-08-08 11:28 UTC
Laws
2006-08-08 8:38 UTC
Laws
2006-08-08 6:30 UTC
Laws
2006-08-08 5:08 UTC
Laws
2006-08-07 13:36 UTC
IFIP WG2.2 anniversary meeting: Last Call for Participation
2006-08-07 13:20 UTC
CT2006 pictures online!
2006-08-03 19:03 UTC
PSSL84, first announcement
2006-08-02 12:32 UTC
Octoberfest-Preliminary Announcement
2006-08-01 13:18 UTC
list interruption
2006-07-19 14:39 UTC
[verimag-news ] Call for tutorial papers - FMCO 2006 - Amsterdam
2006-07-16 20:44 UTC
Milano 2006 - WORKSHOP in CATEGORICAL ALGEBRA
2006-07-16 14:13 UTC
Two recent deaths
2006-07-14 16:48 UTC
New York Times on Saunders and Irving
2006-07-13 15:38 UTC
Summer School: Haute-Bodeux, 2007
2006-07-11 17:53 UTC
Express '06 - Call for Participation
2006-07-11 16:36 UTC
Algebraic Theory of Automata and Logic Workshop CALL FOR PAPERS
2006-07-11 7:15 UTC
Two honorary degrees
2006-07-08 13:56 UTC
Cohn obit
2006-07-07 23:39 UTC
Cohn obit
2006-07-07 14:49 UTC
Book announcement
2006-07-06 12:00 UTC
SOS 2006 - Programme and Call for Participation
2006-07-05 23:48 UTC
E. W. Beth Dissertation Prize: call for submissions
2006-07-04 16:14 UTC
ramifications of Goldblatt's notion of a skeleton of a category
2006-07-04 16:14 UTC
Quantum computing on the 84th PSSL
2006-07-04 14:49 UTC
FLoC 06 -- Call For Participation
2006-07-03 20:16 UTC
Symposium for Gordon Plotkin: Call for Participation
2006-07-03 13:23 UTC
ramifications of Goldblatt's notion of a skeleton of a category
2006-07-03 11:07 UTC
CfP: MOMPES 2007, published by IEEE CS Press
2006-07-01 23:18 UTC
ramifications of Goldblatt's notion of a skeleton of a category
2006-07-01 23:14 UTC
Book announcement
2006-07-01 13:53 UTC
1cfp: calco'07 (2nd Conference on Algebra and Coalgebra in Computer Science), Bergen, Norway
2006-06-30 14:12 UTC
Position preannoucement in Paris 7 (in ** mathematics **)
2006-06-29 19:32 UTC
ramifications of Goldblatt's notion of a skeleton of a category
2006-06-29 5:29 UTC
CATS call for papers
2006-06-28 4:44 UTC
Call for Participation RTA'06
2006-06-26 8:39 UTC
aosd 2007
2006-06-20 17:02 UTC
Mazzola
2006-06-16 18:06 UTC
IFIP WG 2.2 Anniversary Meeting - Call for Participation
2006-06-15 8:46 UTC
ph.d. studentship at Toulouse (France)
2006-06-06 18:37 UTC
QPL 2006 Call for Participation, Student Support
2006-06-05 12:54 UTC
new textbook
2006-06-02 14:19 UTC
some Bangor preprints
2006-05-31 21:41 UTC
two topology questions
2006-05-29 20:23 UTC
Higher-dimensional algebra - a language for quantum spacetime
2006-05-29 18:33 UTC
HyLo 2006: Extended Deadline
2006-05-29 16:21 UTC
Notes from Glasgow PSSL
2006-05-29 15:56 UTC
Joseph Goguen Festschrift -- Call for Participation
2006-05-29 13:50 UTC
Bill Hatcher -- an obituary
2006-05-29 10:20 UTC
jobs: 1 PhD and 1 Post-doc position at CWI, Amsterdam
2006-05-19 16:33 UTC
Hecke eigensheaves and KV 2-vectors
2006-05-19 12:39 UTC
Hecke eigensheaves and KV 2-vectors
2006-05-18 15:37 UTC
Hecke eigensheaves and KV 2-vectors
2006-05-18 15:30 UTC
Gaunce Lewis
2006-05-18 14:59 UTC
Hecke eigensheaves and KV 2-vectors
2006-05-18 8:29 UTC
Topoi reprint (resent)
2006-05-18 6:27 UTC
job at Cave Hill
2006-05-17 20:01 UTC
regular monos not closed under composition
2006-05-17 9:47 UTC
reprint
2006-05-16 23:55 UTC
regular monos not closed under composition
2006-05-16 20:20 UTC
CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006)
2006-05-11 10:23 UTC
Master in Pure and Applied Logic
2006-05-10 14:10 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).