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

final CFP - Computing: The 4th Australiasian Theory Symposium (CATS98)
 1997-07-29 18:24 UTC 

functions Omega->Omega
 1997-07-14 23:25 UTC 

Interesting item for categories
 1997-07-12 17:56 UTC 

functions Omega->Omega
 1997-07-12 17:55 UTC 

Tuesday evening at CT97, future of publication
 1997-07-11 18:42 UTC 

European School on Graph Transformation
 1997-07-11 18:34 UTC 

What is q-alg ????????????????????
 1997-07-11 18:33 UTC 

un peu de r'eclame
 1997-07-10 13:23 UTC 

CT97 PROGRAM
 1997-07-10 13:21 UTC 

actions of groupes on categories
 1997-07-10 13:20 UTC 

actions of groupes on categories
 1997-07-09 13:22 UTC 

actions of groupes on categories
 1997-07-09 13:20 UTC 

CT97 PROGRAM
 1997-07-09 13:19 UTC 

Research positions in formal methods at Kestrel Institute
 1997-07-08 23:17 UTC 

2nd CFP - Computing: The Australiasian Theory Symposium (CATS98)
 1997-07-08 23:15 UTC 

Signed associahedra
 1997-07-08 17:21 UTC 

announcement of preprint
 1997-07-08 17:19 UTC 

actions of groupes on categories
 1997-07-08 17:19 UTC 

addendum to announcement
 1997-07-08 17:17 UTC 

announcement
 1997-07-04  1:12 UTC 

WoLLIC'97 - Call for Participation
 1997-07-03 21:27 UTC 

research position available at Cambridge
 1997-07-02 16:48 UTC 

functions Omega->Omega
 1997-07-02 16:33 UTC 

Query
 1997-07-01 18:14 UTC 

comma categories
 1997-07-01 18:13 UTC 

Preprint available
 1997-07-01 18:12 UTC 

my formula again
 1997-07-01 18:11 UTC 

algebraic logic via arrows
 1997-07-01  2:42 UTC 

Query
 1997-07-01  2:41 UTC 

AMAST '97 - Call for TOOL AND SYSTEM DEMOS
 1997-07-01  2:40 UTC 

Query
 1997-07-01  2:39 UTC 

functions Omega->Omega
 1997-07-01  2:37 UTC 

Timetable for Billfest
 1997-07-01  2:37 UTC 

PSSL65 - Preliminary Announcement
 1997-07-01  2:36 UTC 

Query
 1997-06-29 14:39 UTC 

algebraic logic via arrows
 1997-06-29 14:37 UTC 

pushouts in toposes
 1997-06-29 14:36 UTC 

REMINDER: MATHFIT Summer School and Workshop
 1997-06-27  3:20 UTC 

CSL'97: Programme and Call for Participation
 1997-06-27  3:17 UTC 

CTCS'97 - support for participants
 1997-06-27  3:16 UTC 

Tentative shcedule, take 2
 1997-06-27  3:15 UTC 

CT97 Lists
 1997-06-27  3:14 UTC 

pushouts in toposes
 1997-06-18  2:52 UTC 

pushouts in toposes
 1997-06-18  2:51 UTC 

pushouts in toposes
 1997-06-17 11:32 UTC 

Announcement: paper on linear functors available
 1997-06-11 14:53 UTC 

Workshop
 1997-06-11 14:51 UTC 

CT97
 1997-06-11 14:51 UTC 

BarrFest "entertainments"
 1997-06-09 15:39 UTC 

Call for papers - BarrFest
 1997-06-09 15:38 UTC 

Tentative timetable, Billfest
 1997-06-09 15:36 UTC 

New versions of papers available
 1997-06-03 14:05 UTC 

CTCS'97 - Call for Participation
 1997-06-02 12:10 UTC 

ANNOUNCING: Xy-pic version 3.5 released!
 1997-06-02 12:09 UTC 

injectivity
 1997-05-29 17:33 UTC 

equilogical spaces
 1997-05-27 16:46 UTC 

BarrFest Schedule
 1997-05-24 19:41 UTC 

PhD-Studentships in Theoretical Computer Science
 1997-05-21 17:03 UTC 

Last Call
 1997-05-21 17:02 UTC 

ANNOUNCING: Xy-pic version 3.4 released!
 1997-05-21  0:18 UTC 

Scott is Phoa, locally
 1997-05-19 12:19 UTC 

CT97
 1997-05-18 20:47 UTC 

Final CFP: Third Special Australasian Issue of Theoretical Computer Science
 1997-05-18 20:46 UTC 

correction
 1997-05-16  1:19 UTC 

An introduction to n-categories
 1997-05-16  1:18 UTC 

injectivity
 1997-05-16  1:17 UTC 

injectivity
 1997-05-09 16:11 UTC 

Change of Address
 1997-05-08 16:16 UTC 

Change of address
 1997-05-06 20:15 UTC 

Ad (correction)
 1997-05-06 13:27 UTC 

cfp: Mathematics of Program Construction '98
 1997-05-06 13:25 UTC 

Ad
 1997-05-05  1:32 UTC 

Notes of two lectures
 1997-04-30 23:00 UTC 

weak \omega-categories
 1997-04-29 23:23 UTC 

IC-EATCS Annual Advanced School
 1997-04-29 18:23 UTC 

AMAST'97 CFP
 1997-04-28 10:58 UTC 

weak \omega-categories
 1997-04-28 10:28 UTC 

Call for contributions
 1997-04-24 18:30 UTC 

Notes of two lectures
 1997-04-24 18:28 UTC 

preprint available
 1997-04-24 18:24 UTC 

TCS Special Issue: Proof-search in Type-theoretic Languages
 1997-04-24 18:22 UTC 

Summer School on Games and Computation
 1997-04-20 21:16 UTC 

4th WoLLIC'97 - third call
 1997-04-16 20:23 UTC 

ICCL'98: Preliminary Call For Papers
 1997-04-16 20:21 UTC 

protected files
 1997-04-16 20:19 UTC 

new preprint available
 1997-04-12 19:01 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).