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

Topology and groupoids, by Ronald Brown
 2006-05-09 21:00 UTC 

Whatever happened to Doug Gurr?
 2006-05-09 14:26 UTC 

strict symmetric monoidal
 2006-05-08 22:29 UTC 

Choice and algebraic closure
 2006-05-08 10:15 UTC 

Construction of a real closure
 2006-05-07 20:28 UTC 

Remark on: Re: gr-stacks (revised)
 2006-05-06 22:13 UTC 

Construction of a real closure
 2006-05-06 13:53 UTC 

gr-stacks (revised)
 2006-05-06  4:09 UTC 

Construction of a real closure
 2006-05-06  2:24 UTC 

Construction of a real closure
 2006-05-05 20:34 UTC 

Construction of a real closure
 2006-05-05 14:55 UTC 

Spring School in Theoretical Computer Science
 2006-05-05 13:59 UTC 

Construction of a real closure
 2006-05-05 13:45 UTC 

Construction of a real closure
 2006-05-05 13:30 UTC 

Construction of a real closure
 2006-05-05 12:22 UTC 

algebraic closure
 2006-05-05  9:28 UTC 

Construction of a real closure
 2006-05-05  2:14 UTC 

Construction of a real closure
 2006-05-04 23:28 UTC 

Construction of a real closure
 2006-05-04 22:20 UTC 

Construction of a real closure
 2006-05-04 22:20 UTC 

Construction of a real closure
 2006-05-04 15:22 UTC 

Choice and algebraic closure
 2006-05-04 12:13 UTC 

dualities
 2006-05-04  6:39 UTC 

2-Chu
 2006-05-03 18:45 UTC 

dualities
 2006-05-03 16:40 UTC 

MAP summer school. Call for participation
 2006-05-03 13:58 UTC 

ad for postdoc at Ottawa U
 2006-05-03 12:42 UTC 

duality
 2006-05-03  9:44 UTC 

dualities
 2006-05-02 22:05 UTC 

FMCS'06 reminder
 2006-05-02 16:47 UTC 

dualities
 2006-05-02  5:39 UTC 

dualities
 2006-05-01 20:02 UTC 

dualities
 2006-05-01 19:06 UTC 

dualities
 2006-05-01 11:46 UTC 

Does duality categorify?
 2006-05-01  8:53 UTC 

gr-stacks in the literature
 2006-05-01  4:26 UTC 

dualities
 2006-04-30 19:28 UTC 

dualities
 2006-04-30 16:56 UTC 

gr-stacks in the literature
 2006-04-30 12:17 UTC 

gr-stacks in the literature
 2006-04-29 17:52 UTC 

Does duality categorify?
 2006-04-29 17:37 UTC 

dualities
 2006-04-29 14:14 UTC 

gr-stacks in the literature
 2006-04-29  3:57 UTC 

Does duality categorify?
 2006-04-28  3:00 UTC 

Products in a compact closed category
 2006-04-27 17:19 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).