categories - Category Theory list
 help / color / mirror / Atom feed
CNRS postdoctoral position in Paris
 2007-04-10 10:37 UTC 

FMCS 2007 - Call for Participation
 2007-04-07 21:21 UTC 

John Robinson
 2007-04-07  9:19 UTC 

Co-algebraic structure of the typed lambda-calculus
 2007-04-03 21:21 UTC 

"Mathematical Applications of Category Theory"
 2007-04-03 20:48 UTC 

Full and faithful
 2007-04-03 12:31 UTC 

Alexandroff-Urysohn paper
 2007-04-02 20:36 UTC 

Alexandroff-Urysohn paper
 2007-04-02 19:55 UTC 

ICTAC 2007: Final call for papers
 2007-04-02  6:10 UTC 

Alexandroff-Urysohn paper
 2007-04-02  2:30 UTC 

Full and faithful
 2007-03-30 17:44 UTC 

functions not polynomials
 2007-03-29  3:47 UTC 

SOS 2007 - Final Call for Papers
 2007-03-29  1:05 UTC 

A preprint on Weak cubical categories
 2007-03-27  9:30 UTC 

functions not polynomials
 2007-03-26 19:26 UTC 

2cfc: CALCO-jnr 2007: CALCO Young Researchers Workshop, Bergen, Norway
 2007-03-23 10:37 UTC 

functions not polynomials
 2007-03-22  5:56 UTC 

Thesis Fellowship in Theoretical Computer Science
 2007-03-21 16:53 UTC 

functions not polynomials
 2007-03-21 16:39 UTC 

functions and polynomials
 2007-03-21 11:06 UTC 

Out of Line
 2007-03-17 17:52 UTC 

CiE 2007 - Call for informal presentations
 2007-03-16 22:52 UTC 

Postdoctoral Fellowship in France
 2007-03-14  8:33 UTC 

Programming Languages and Mechanized Mathematics Workshop
 2007-03-12 21:14 UTC 

MFPS 23 Call for Participation
 2007-03-12 19:41 UTC 

Post Doc Position in Paris
 2007-03-12 14:38 UTC 

further on Garner's question
 2007-03-12  9:23 UTC 

monic epics
 2007-03-11 22:37 UTC 

further on Garner's question
 2007-03-10 15:58 UTC 

Garner's question
 2007-03-10 11:49 UTC 

Position announcement in Paris 7 University
 2007-03-10 10:49 UTC 

relations on graphs
 2007-03-09 22:40 UTC 

Early CT problems that are still open
 2007-03-09 22:22 UTC 

relations on graphs
 2007-03-09 19:10 UTC 

relations on graphs
 2007-03-09 17:49 UTC 

relations on graphs
 2007-03-09 17:02 UTC 

relations on graphs
 2007-03-09 15:33 UTC 

relations on graphs
 2007-03-09 10:01 UTC 

dagger?
 2007-03-09  3:31 UTC 

Tricategories
 2007-03-08 18:37 UTC 

Final Announcement-Traces Workshop
 2007-03-08 17:31 UTC 

Addendum re epis in cat
 2007-03-08 15:17 UTC 

relations on graphs
 2007-03-08 15:15 UTC 

Re: monic epics
 2007-03-08 15:13 UTC 

monic epics
 2007-03-07 20:53 UTC 

monic epics
 2007-03-07 20:23 UTC 

pullback 
 2007-03-07 20:18 UTC 

Assoc. Professorship Opening
 2007-03-07 19:31 UTC 

epic monics
 2007-03-07 18:45 UTC 

dagger vs involutive
 2007-03-07 15:13 UTC 

monic epics
 2007-03-07 12:40 UTC  (2+ messages)

monic epics
 2007-03-07 11:47 UTC 

monic epics
 2007-03-07  5:30 UTC 

more dagger problems
 2007-03-07  4:44 UTC 

dagger?
 2007-03-07  3:51 UTC 

monic epics
 2007-03-07  3:41 UTC 

bigger dagger problems
 2007-03-07  3:06 UTC 

pullback 
 2007-03-07  2:09 UTC 

more dagger problems
 2007-03-07  1:21 UTC 

Details
 2007-03-06 23:55 UTC 

the term "pushout"
 2007-03-06 22:12 UTC 

dagger vs involutive
 2007-03-06 19:37 UTC 

meaningful and formalistic names
 2007-03-06 10:05 UTC 

dagger vs involutive
 2007-03-05 23:06 UTC 

Mac Lane
 2007-03-05 22:58 UTC 

dagger vs involutive
 2007-03-05 22:19 UTC 

FMCS 2007 - Call for Participation
 2007-03-05 20:58 UTC 

dagger vs involutive
 2007-03-05 12:38 UTC 

Workshop (Dedicated to J-Y. Girard)
 2007-03-05 12:14 UTC 

dagger and involution
 2007-03-04 18:49 UTC 

terminology: dagger and involution
 2007-03-03  5:15 UTC 

dagger and involution
 2007-03-03  2:52 UTC 

terminology: dagger and involution
 2007-03-02 21:53 UTC 

terminology: dagger and involution
 2007-03-02  3:34 UTC 

terminology: dagger and involution
 2007-03-01  9:21 UTC 

Yuri Matiyasevich - 60! Call for papers
 2007-02-28 16:52 UTC 

SECA4
 2007-02-28  9:55 UTC 

terminology: dagger and involution
 2007-02-28  8:19 UTC 

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 

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