preprints available
2007-02-26 16:22 UTC
terminology: dagger and involution
2007-02-26 16:22 UTC
Thanks from Imogen
2007-02-26 10:14 UTC
CT2007: Important dates
2007-02-22 20:56 UTC
A dagger compact closed category with biproducts, but without dagger biproducts (was: categories: Re: Equalisers and coequalisers in categories with a \dag-involution)
2007-02-22 12:56 UTC
New Journal: Algebra and Number Theory
2007-02-19 17:13 UTC
job opening
2007-02-19 13:14 UTC
Equalisers and coequalisers in categories with a \dag-involution
2007-02-17 17:39 UTC
Equalisers and coequalisers in categories with a \dag-involution
2007-02-16 21:08 UTC
[3WFTop]: Third Workshop on Formal Topology, Second Announcement
2007-02-16 18:49 UTC
Equalisers and coequalisers in categories with a \dag-involution
2007-02-16 10:14 UTC
Equalisers and coequalisers in categories with a \dag-involution
2007-02-16 6:39 UTC
Lectureship in Foundations at Sussex
2007-02-15 17:12 UTC
Equalisers and coequalisers in categories with a \dag-involution
2007-02-14 22:13 UTC
SOS 2007 - Call for Papers
2007-02-14 12:34 UTC
A web page for Max
2007-02-14 10:03 UTC
Second CFP: 23rd International Conference on Logic Programming (ICLP 2007)
2007-02-14 9:37 UTC
MFPS 23 Registration Now Open
2007-02-13 19:30 UTC
PhD in Theoretical Computer Science
2007-02-13 8:24 UTC
PSSL 85 - Call for participation
2007-02-12 23:46 UTC
Positions at Oxford: refactoring tools
2007-02-12 16:22 UTC
higher categories and their applications
2007-02-12 3:46 UTC
Call for participation: FSEN07 + IFIP tutorial
2007-02-08 7:46 UTC
email change
2007-02-04 11:12 UTC
job opening
2007-02-03 15:51 UTC
ACCAT workshop at ETAPS 2007
2007-02-03 15:43 UTC
Max Kelly
2007-02-03 3:40 UTC
2 events related to JY Girard's 60th birthday
2007-02-02 15:23 UTC
Max
2007-02-02 12:51 UTC
ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III
2007-02-02 8:39 UTC
Max
2007-02-01 21:57 UTC
Summer School , Haute Bodeux June 2007
2007-02-01 18:41 UTC
Max
2007-02-01 14:28 UTC
Max
2007-02-01 10:44 UTC
Letter to Max
2007-01-31 20:17 UTC
Max
2007-01-31 18:23 UTC
Address change reminder
2007-01-31 6:52 UTC
Max Kelly; Funeral Notice
2007-01-31 2:35 UTC
ETAPS 2007: Call for Participation
2007-01-30 11:14 UTC
Max Kelly, a master of coherence
2007-01-29 20:11 UTC
Max
2007-01-29 11:15 UTC (2+ messages)
Max
2007-01-28 16:39 UTC
terminology
2007-01-27 17:06 UTC
Max
2007-01-27 15:31 UTC
WoLLIC'2007 - CfP
2007-01-27 10:02 UTC
terminology
2007-01-26 23:30 UTC
Exactness without pullbacks
2007-01-22 17:04 UTC
preprint : Towards an homotopy theory of process algebra
2007-01-22 11:18 UTC
Eilenberg: seeking a copy of lecture notes
2007-01-20 15:35 UTC
Exactness without pullbacks
2007-01-20 3:15 UTC
Postdoctoral position at U. Ottawa
2007-01-19 20:38 UTC
semi direct product
2007-01-19 19:26 UTC
Grothendieck construction
2007-01-19 18:44 UTC
Exactness without pullbacks
2007-01-19 18:35 UTC
Call for participation and abstracts: BCTCS, Oxford, 2-5 Apr
2007-01-19 17:06 UTC
Exactness without pullbacks
2007-01-19 16:33 UTC
Exactness without pullbacks
2007-01-19 14:23 UTC
semi direct product
2007-01-19 8:50 UTC
Exactness without pullbacks
2007-01-19 6:36 UTC
Grothendieck construction
2007-01-18 19:50 UTC
Second Announcement of Fields Workshop on Traced Monoidal Cats
2007-01-18 6:18 UTC
semi direct product
2007-01-17 13:52 UTC
Grothendieck construction
2007-01-17 8:47 UTC
Grothendieck construction
2007-01-17 1:23 UTC
Grothendieck construction
2007-01-16 14:17 UTC
IEEE Computer Security Foundations Symposium 2007 - CFP
2007-01-16 9:16 UTC
Workshop announcement (Domains VIII)
2007-01-11 10:52 UTC
A question about literature on operads and coherence
2007-01-10 17:34 UTC
ICLP 2007: Call for Workshop Proposals
2007-01-10 11:23 UTC
groupoids versus homotopy 1-types
2007-01-05 17:06 UTC
Small semirings
2007-01-05 0:25 UTC
Call for volunteers
2007-01-04 23:59 UTC
Small semirings
2007-01-04 21:26 UTC
Small semirings
2007-01-04 16:52 UTC
USMC'07: Final call for talks and registration
2007-01-04 11:25 UTC
Small semirings
2007-01-03 22:09 UTC
What is needed for an online journal
2007-01-03 9:46 UTC
What is needed for an online journal
2007-01-02 12:10 UTC
A book
2007-01-02 3:18 UTC
What is needed for an online journal
2007-01-01 1:26 UTC
What is needed for an online journal
2006-12-31 20:30 UTC
What is needed for an online journal
2006-12-31 17:16 UTC
Announcement of Fields Workshop on Traced Monoidal Cats
2006-12-31 0:06 UTC
Correct address of the NUMDAM site for Cahiers
2006-12-28 15:49 UTC
Elsevier
2006-12-27 22:40 UTC
groupoids versus homotopy 1-types
2006-12-27 18:53 UTC
Elsevier
2006-12-25 3:14 UTC
Equitable Mathematics
2006-12-24 22:38 UTC
CT2007 - second announcement
2006-12-22 17:28 UTC
Elsevier
2006-12-21 19:40 UTC
conference announcement
2006-12-20 16:24 UTC
ArXiv and ethics
2006-12-20 12:41 UTC
Equitable Mathematics
2006-12-19 23:13 UTC
Elsevier
2006-12-19 18:32 UTC
Equitable Mathematics
2006-12-19 18:18 UTC
Equitable Mathematics
2006-12-19 16:19 UTC
Fair Mathematics
2006-12-19 16:15 UTC
Equitable Mathematics
2006-12-19 16:13 UTC
Elsevier
2006-12-19 15:02 UTC
Equitable Mathematics
2006-12-19 14:44 UTC (2+ messages)
Elsevier
2006-12-19 10:38 UTC
Fair Mathematics
2006-12-19 0:46 UTC
Equitable Mathematics
2006-12-19 0:18 UTC
Equitable Mathematics
2006-12-19 0:15 UTC
[esc-plus] Digitization - European Progress and more (fwd)
2006-12-18 23:16 UTC
Fair Mathematics
2006-12-18 20:17 UTC
Elsevier
2006-12-18 15:26 UTC
A double bicategory of cobordisms with boundary
2006-12-18 8:23 UTC
Elsevier
2006-12-17 14:16 UTC (2+ messages)
Gabor Lukacs in the Globe and Mail
2006-12-17 13:27 UTC
"Elsevier NOT about weapons trade"
2006-12-15 16:27 UTC
CALCO 2007 - Call for Papers
2006-12-15 13:17 UTC
Peronal webpage on Locale Theory/Topos Theory
2006-12-15 10:35 UTC
Gabor Lukacs in the Globe and Mail
2006-12-15 4:27 UTC
What was left out [Re: FW: Gabor Lukacs in the Globe and Mail]
2006-12-15 2:15 UTC
Gabor Lukacs in the Globe and Mail
2006-12-14 12:52 UTC
A question about extensive categories
2006-12-14 9:29 UTC
A canonical algebra
2006-12-13 22:28 UTC
A canonical algebra
2006-12-13 13:19 UTC
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
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).