categories - Category Theory list
 help / color / mirror / Atom feed
CATS PhD Studentship at Edinburgh
 1998-02-13 15:05 UTC 

New list server
 1998-02-13  3:35 UTC 

decompositions of topoi
 1998-02-11 20:19 UTC 

Specification vs execution
 1998-02-09 21:28 UTC 

formal languages fibrationally
 1998-02-09 21:27 UTC 

Categorification
 1998-02-08 16:38 UTC 

NMR Workshop
 1998-02-06 21:54 UTC 

CSL98
 1998-02-06 21:53 UTC 

on the NYUT Sammy obit
 1998-02-06 18:45 UTC 

Montebello on Eilenberg
 1998-02-06 18:43 UTC 

Sammy obits
 1998-02-04 14:17 UTC 

sad news
 1998-02-02 14:11 UTC 

Friedman's challenge, and the ordinals
 1998-02-02 14:10 UTC 

sad news
 1998-01-31 14:56 UTC 

Friedman's challenge, and the ordinals
 1998-01-30 19:56 UTC 

Generic Programming Workshop: Final Call
 1998-01-30 19:56 UTC 

Challenge from Harvey Friedman
 1998-01-30 19:55 UTC 

Insights: adjunctions and languages
 1998-01-30 19:55 UTC 

Insights: adjunctions and languages
 1998-01-29 20:16 UTC 

Challenge from Harvey Friedman
 1998-01-29 20:14 UTC 

Terminology for Kan extensions
 1998-01-28 14:22 UTC 

Announcement of PhD Positions in Computing Science at Chalemrs
 1998-01-28 14:11 UTC 

67th PSSL
 1998-01-28 14:10 UTC 

Challenge from Harvey Friedman
 1998-01-28 14:09 UTC 

The Friedman/Flagg paper
 1998-01-28 14:08 UTC 

Challenge from Harvey Friedman
 1998-01-26 23:34 UTC 

Challenge from Harvey Friedman
 1998-01-26 19:01 UTC 

Challenge from Harvey Friedman
 1998-01-26 19:00 UTC 

Immodest proposal
 1998-01-26 18:59 UTC 

Challenge from Harvey Friedman
 1998-01-26 18:58 UTC 

Challenge from Harvey Friedman
 1998-01-24 17:34 UTC 

Challenge from Harvey Friedman
 1998-01-24 17:33 UTC 

Challenge from Harvey Friedman
 1998-01-23 23:37 UTC 

Challenge from Harvey Friedman
 1998-01-23 20:26 UTC 

Research position
 1998-01-23 18:51 UTC 

Perfect double negation
 1998-01-22 20:40 UTC 

CfP: ESSLLI-98 Workshop on Logical Abstract Machines
 1998-01-22 20:40 UTC 

coinduction papers
 1998-01-22 20:39 UTC 

TAC: Abstracts from Volume 3, 1997
 1998-01-21 19:07 UTC 

PSSL'66 Announcement and Registration
 1998-01-21 17:34 UTC 

Journals
 1998-01-21 17:34 UTC 

Combining monads and Pullback cats
 1998-01-20 21:33 UTC 

5th WoLLIC'98 - 2nd Call
 1998-01-20 21:32 UTC 

pullback categories
 1998-01-20 19:02 UTC 

PhD Studentships
 1998-01-20 19:00 UTC 

Lectureships in Computer Science
 1998-01-20 18:59 UTC 

ICM'98 Second Announcement
 1998-01-20 18:58 UTC 

Master Class in Mathematical Logic
 1998-01-19 13:46 UTC 

announcement
 1998-01-19 13:45 UTC 

Combining monads
 1998-01-16 18:20 UTC 

Report available
 1998-01-15 21:11 UTC 

Conference Announcement
 1998-01-15 21:11 UTC 

Combining monads
 1998-01-15 21:10 UTC 

oops
 1998-01-14 23:43 UTC 

Combining monads
 1998-01-14 23:38 UTC 

Non-well-powered
 1998-01-14 23:34 UTC 

Combining monads
 1998-01-14 19:10 UTC 

Research Position at Sussex
 1998-01-14 18:35 UTC 

Functor algebras
 1998-01-12 18:40 UTC 

iced categories
 1998-01-12 18:38 UTC 

iced categories
 1998-01-12 18:38 UTC 

iced categories
 1998-01-11 19:09 UTC 

MFCS'98 CFPW
 1998-01-09 13:54 UTC 

Workshop on Fixed Points
 1998-01-08 20:33 UTC 

Functor algebras
 1998-01-08 20:29 UTC 

Functor algebras
 1998-01-08 20:28 UTC 

FMCS 98
 1998-01-07 21:58 UTC 

Functor algebras
 1998-01-07 16:59 UTC 

2nd cfp: Workshop on Generic Programming 98
 1997-12-31  1:29 UTC 

job in Sydney Univ. School of Maths about to be advertised
 1997-12-24  1:43 UTC 

non-Abelian groups
 1997-12-23 14:23 UTC 

non-Abelian groups
 1997-12-22 14:49 UTC 

correction on category of groups
 1997-12-21 20:09 UTC 

non-Abelian categories
 1997-12-21 20:08 UTC 

non-Abelian categories
 1997-12-21 20:08 UTC 

abstract algebraic geometry
 1997-12-20 13:53 UTC 

non-Abelian categories
 1997-12-20 13:52 UTC 

ICALP '98: Announcement of Sattellite Events
 1997-12-20 13:51 UTC 

ICALP '98: Call for Papers (reminder)
 1997-12-20 13:50 UTC 

CfP: Workshop & Tutorial on Categorical Rewriting at RTA'98
 1997-12-20 13:50 UTC 

Triples down etc
 1997-12-17 17:53 UTC 

Congratulations!
 1997-12-17 17:51 UTC 

submission of papers in TeX source code
 1997-12-15 18:17 UTC 

unified electronic preprint archive for mathematics
 1997-12-15 18:17 UTC 

AI&Math'98 Conference
 1997-12-15 18:16 UTC 

eprint discussion - from moderator
 1997-12-09 20:35 UTC 

Injectives and choice
 1997-12-08 21:25 UTC 

Injectives and choice
 1997-12-08 19:41 UTC 

Algebraic Theories/Operads
 1997-12-08 17:42 UTC 

Free-Forgetful Adjunction for Vect
 1997-12-06 20:13 UTC 

e-prints
 1997-12-06 20:12 UTC 

Algebraic Theories/Operads
 1997-12-06 20:12 UTC 

e-prints
 1997-12-05 12:46 UTC 

e-prints
 1997-12-05 12:45 UTC 

CONCUR'98: 2nd cfp
 1997-12-05 12:44 UTC 

e-prints
 1997-12-04 20:43 UTC 

Sheaves and Logic
 1997-12-04 18:20 UTC 

e-prints
 1997-12-04 13:48 UTC 

preprints available
 1997-12-04 13:47 UTC 

Announcement PSSL'66
 1997-12-01 18:01 UTC 

Workshop announcement
 1997-12-01 18:00 UTC 

Algebraic Theories/Operads
 1997-11-27 20:04 UTC 

Algebraic Theories/Operads
 1997-11-27 20:04 UTC 

Algebraic Theories/Operads
 1997-11-27 20:03 UTC 

Big Omega available
 1997-11-27 20:01 UTC 

Algebraic Theories/Operads
 1997-11-26 17:43 UTC 

Cocompletions of Categories
 1997-11-26 17:42 UTC 

Adjoining intedeterminates to cartesian categories
 1997-11-25 18:18 UTC 

Adjoining intedeterminates to cartesian categories
 1997-11-25 13:17 UTC 

abstract algebraic geometry
 1997-11-22 12:56 UTC 

Request
 1997-11-22 12:55 UTC 

"weakened" operads
 1997-11-20 19:51 UTC 

PSSL - Announcement
 1997-11-20 17:58 UTC 

"weakened" operads
 1997-11-19  1:11 UTC 

cfp: Workshop on generic programming, WGP'98
 1997-11-19  1:10 UTC 

PhD Studentship
 1997-11-19  1:09 UTC 

Gentzen and Hilbert formulations of Linear logic
 1997-11-17 17:12 UTC 

last cfp MPC'98: Mathematics of Program Construction
 1997-11-17 17:12 UTC 

Limits in double categories, preprint
 1997-11-13 19:56 UTC 

preprints available
 1997-11-13 19:56 UTC 

On a remark of Barr
 1997-11-11 21:18 UTC 

BRICS Int. PhD School: Call for Admission and Grant Applications
 1997-11-11 21:16 UTC 

Automated Software Engineering 97 Panel on Categories for Software Engineering
 1997-11-10 21:09 UTC 

higher-dimensional multicategories and weak n-categories
 1997-11-09 18:20 UTC 

Abelian-topos (AT) categories
 1997-11-07 18:45 UTC 

Abelian-topos (AT) categories
 1997-11-06 20:36 UTC 

Abelian-topos (AT) categories
 1997-11-05 21:35 UTC 

abstract algebraic geometry
 1997-11-05 21:34 UTC 

Pratt slices
 1997-11-05 21:33 UTC 

CfP: ESSLLI-98 Workshop on Logical Abstract Machines
 1997-11-05 21:32 UTC 

LL Workshop in Utrecht
 1997-11-05 21:32 UTC 

Pratt slices
 1997-11-04 17:34 UTC 

local maps of toposes are always UIAO
 1997-11-04 12:18 UTC 

Abelian-topos (AT) categories
 1997-11-04 12:17 UTC 

Abelian-topos (AT) categories
 1997-11-03 19:44 UTC 

local maps of toposes are always UIAO
 1997-11-03 19:43 UTC 

Workshop announcement
 1997-11-03 19:42 UTC 

Abelian-topos (AT) categories
 1997-11-02 18:53 UTC 

pratt cat
 1997-10-31 19:39 UTC 

Topos-abelian categories that are neither
 1997-10-31 18:34 UTC 

pratt cat
 1997-10-31  2:32 UTC 

Topos-abelian categories that are neither
 1997-10-27 20:09 UTC 

logic jobs at Carnegie Mellon
 1997-10-27 19:59 UTC 

PSSL65 - Second Announcement
 1997-10-20 17:43 UTC 

Path Algebras
 1997-10-17 15:53 UTC 

abstract algebraic geometry
 1997-10-16 19:53 UTC 

Weak higher dimensional categories
 1997-10-16 19:52 UTC 

Operads, multicategories
 1997-10-13 12:17 UTC 

Induction and functors preserving Cartesian closure
 1997-10-13 12:16 UTC 

Research Positions at BRICS Research Centre and Int. PhD School
 1997-10-09 19:46 UTC 

query
 1997-10-07 11:30 UTC 

Montreal Category group new WWW address (URL)
 1997-10-06 12:14 UTC 

query
 1997-10-02 19:52 UTC 

resolutions as fractions, space complexity
 1997-10-02 19:46 UTC 

query
 1997-10-01 19:50 UTC 

vacant position
 1997-10-01 16:42 UTC 

Billfest
 1997-10-01 16:41 UTC 

2nd cfp MPC'98: Mathematics of Program Construction 98
 1997-09-30 22:30 UTC 

Billfest weather
 1997-09-25 23:00 UTC 

topology atlas
 1997-09-24 16:54 UTC 

Final Billfest timetable
 1997-09-24 12:12 UTC 

CfP Concur98
 1997-09-22 20:38 UTC 

Article by Lakoff and Nunez
 1997-09-20 18:33 UTC 

PSSL65 - First Announcement
 1997-09-19 20:55 UTC 

ICALP '98: Call for Papers and Workshops
 1997-09-19 20:55 UTC 

Categories for concurrency
 1997-09-18 21:55 UTC 

Lambekfest
 1997-09-18 21:54 UTC 

For Category Bulletin: New Preprint
 1997-09-08 18:06 UTC 

Barrfest proceedings (reminder)
 1997-09-05 20:02 UTC 

new preprint archive on scholarly communications
 1997-09-04 14:56 UTC 

preprint available: not yet :-(
 1997-09-03 18:28 UTC 

preprint available
 1997-09-02 12:19 UTC 

Applications for Category Theory
 1997-08-29 16:13 UTC 

Applications for Category Theory
 1997-08-28 18:44 UTC 

Reviews of books on category theory in c.s
 1997-08-28 16:19 UTC 

Reviews of books on category theory in c.s
 1997-08-28 12:20 UTC 

Applications for Category Theory
 1997-08-27 19:33 UTC 

e-address change
 1997-08-27 13:32 UTC 

Is cut semantical?
 1997-08-27 13:31 UTC 

Is cut semantical?
 1997-08-26 15:18 UTC 

Is cut semantical?
 1997-08-26 15:17 UTC 

Applications for Category Theory
 1997-08-25 19:49 UTC 

Applications for Category Theory
 1997-08-25 19:48 UTC 

Is cut semantical?
 1997-08-25 19:47 UTC 

Applications for Category Theory (Yoder)
 1997-08-25 19:47 UTC 

Chair in Computing Science at Uppsala University
 1997-08-25 19:46 UTC 

Applications for Category Theory
 1997-08-25 14:09 UTC 

Is cut semantical?
 1997-08-25 14:08 UTC 

Applications for Category Theory
 1997-08-25 14:07 UTC 

Applications for Category Theory
 1997-08-23 15:41 UTC 

alg-geom daily 9708010 received (over 1354 served) 976
 1997-08-10 19:28 UTC 

ICCL'98 Call For Papers
 1997-08-08 20:19 UTC 

Workshop on Internet Programming Languages: Call For Papers
 1997-08-08 20:19 UTC 

preprint
 1997-08-07 17:12 UTC 

Preprints available
 1997-08-06 11:46 UTC 

JOB OPENING: two post-doc positions rewriting and semantics
 1997-08-01 17:51 UTC 

My posting
 1997-08-01 17:48 UTC 

Pratt's construction
 1997-07-31 19:32 UTC 

CTCS'97 final CFP
 1997-07-31 19:31 UTC 

Preprint available
 1997-07-30 16:39 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).