categories - Category Theory list
 help / color / mirror / Atom feed
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 

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 

page:  |  | 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).