categories - Category Theory list
 help / color / mirror / Atom feed
typed lambda calculus:cartesian closed :sorted pi calculus:?
 2009-08-25 17:40 UTC 

The Wikibook on Category Theory
 2009-08-23 20:11 UTC 

pushouts in REL
 2009-08-22 19:08 UTC 

[ALGTOP-L] history of ``twisted cohomology" and nonabelian cohomology
 2009-08-22 17:43 UTC 

pushouts in REL
 2009-08-22  9:00 UTC 

pushouts in REL
 2009-08-21 23:45 UTC 

pushouts in REL
 2009-08-21 22:02 UTC 

Reference on coverages
 2009-08-21 21:44 UTC 

pushouts in REL
 2009-08-21 21:36 UTC 

pushouts in REL
 2009-08-21 20:38 UTC 

workshop on commutativity of diagrams
 2009-08-21 20:24 UTC 

Reference on coverages
 2009-08-21 19:32 UTC 

list interruption
 2009-08-20 22:21 UTC 

pushouts in REL
 2009-08-20 21:38 UTC 

Reference on coverages
 2009-08-20 20:10 UTC 

Re: The Wikibook on Category Theory
 2009-08-20 18:48 UTC 

The Wikibook on Category Theory
 2009-08-20 18:26 UTC 

pushouts in REL
 2009-08-20 10:01 UTC 

The Wikibook on Category Theory
 2009-08-19 16:42 UTC 

The Wikibook on Category Theory
 2009-08-19 14:05 UTC 

The Wikibook on Category Theory
 2009-08-18 20:42 UTC 

The Wikibook on Category Theory
 2009-08-18 20:19 UTC 

[ALGTOP-L] history of ``twisted cohomology" and nonabelian cohomology
 2009-08-18 15:05 UTC 

Paper: On the asymptotic magnitude of subsets of Euclidean space
 2009-08-15 22:14 UTC 

The Wikibook on Category Theory
 2009-08-14 22:04 UTC 

The Wikibook on Category Theory
 2009-08-14 18:19 UTC 

The Wikibook on Category Theory
 2009-08-13 16:14 UTC 

Yoneda and density
 2009-08-10 16:45 UTC 

Yoneda and density
 2009-08-09 10:21 UTC 

PSSL 89
 2009-08-09  9:46 UTC 

LATA 2010: call for papers
 2009-08-06 18:02 UTC 

ICE09: CALL FOR PARTICIPATION
 2009-08-06 13:47 UTC 

making a cone universal in a faithful way
 2009-08-05  0:07 UTC 

Saunders is 100
 2009-08-04 21:26 UTC 

making a cone universal in a faithful way
 2009-08-04 10:41 UTC 

making a cone universal in a faithful way
 2009-08-04  9:15 UTC 

making a cone universal in a faithful way
 2009-08-04  7:38 UTC 

Saunders is 100
 2009-08-04  4:08 UTC 

making a cone universal in a faithful way
 2009-08-03 16:37 UTC 

FLoC 2010: Call For Workshops Deadline Extension
 2009-07-31  1:53 UTC 

preprint: Categories without structures
 2009-07-30  8:56 UTC 

(Pre)prints
 2009-07-29  1:38 UTC 

Paper available: Clone Theory and Algebraic Logic
 2009-07-28 18:36 UTC 

2 new presentations
 2009-07-28 16:09 UTC 

FICS'09 Call for participation - Fixed Points in Computer Science (CSL'09 workshop)
 2009-07-28 13:19 UTC 

Sheaf toposes and chain-complete posets
 2009-07-28  8:35 UTC 

Sheaf toposes and chain-complete posets
 2009-07-28  5:44 UTC 

Sheaf toposes and chain-complete posets
 2009-07-28  4:06 UTC 

Postdoctoral Positions 2010/2011
 2009-07-27 23:16 UTC 

Sheaf toposes and chain-complete posets
 2009-07-27 12:45 UTC 

Call for participation: Computability and complexity in analysis 2009
 2009-07-27 12:10 UTC 

CT2010
 2009-07-24 13:17 UTC 

Existence of very high categories
 2009-07-21  9:41 UTC 

Call for Papers: PLPV 2010
 2009-07-21  7:11 UTC 

Existence of very high categories
 2009-07-20 14:03 UTC 

Existence of very high categories
 2009-07-19 23:01 UTC 

Stacs 2010
 2009-07-19  9:37 UTC 

Hyland/Johnstone PSSL photos
 2009-07-17 11:39 UTC 

5th CLP Workshop, August 6, 2009, Imperial College, London
 2009-07-15  8:21 UTC 

Category Theory and So-Called Fundamental Results of Mathematics
 2009-07-14 14:50 UTC 

Call for papers: Mathematics of Program Construction
 2009-07-13 21:44 UTC 

FAST extension: 20 July (abstracts), 24 July (papers)
 2009-07-13  2:09 UTC 

flat topologies
 2009-07-11 15:41 UTC 

CFP: Workshop on Logical Aspects of Fault Tolerance (LAFT)
 2009-07-10 20:49 UTC  (2+ messages)
` Call for Participation: "

Category 2
 2009-07-10 20:00 UTC 

flat topologies
 2009-07-10 16:32 UTC 

Yoneda Theorem < Yoneda Lemma < Dense Yoneda Theorem
 2009-07-10 16:07 UTC 

Non-free cocompletions
 2009-07-10 15:09 UTC 

separable locale
 2009-07-10  3:32 UTC 

coherence for lax monoidal cats
 2009-07-09 22:39 UTC 

An abstracted matrix approach to category theory?
 2009-07-09 14:33 UTC 

separable locale
 2009-07-08 17:06 UTC 

Non-free cocompletions
 2009-07-06  8:08 UTC 

Yoneda Theorem < Yoneda Lemma < Dense Yoneda Theorem
 2009-07-06  0:31 UTC 

separable locale
 2009-07-05 20:54 UTC 

PhD place Available
 2009-07-03 11:02 UTC 

advanced course on TQFT
 2009-07-03  8:37 UTC 

realized by fibrations
 2009-07-01 15:43 UTC 

Postdoc and PhD position in Coalgebraic Logic
 2009-07-01  7:03 UTC 

separable locale
 2009-06-30 13:26 UTC 

Proofs from THE BOOK
 2009-06-29 14:49 UTC 

Yoneda Theorem < Yoneda Lemma < Dense Yoneda Theorem
 2009-06-29  4:11 UTC 

query
 2009-06-26 15:51 UTC 

no fundamental theorems please
 2009-06-26 13:51 UTC 

Proofs from THE BOOK
 2009-06-26 13:45 UTC 

Injective objects in topoi
 2009-06-26 10:59 UTC 

query
 2009-06-26 10:47 UTC 

Equideductive categories and their logic
 2009-06-26  8:54 UTC 

Can you spot a flaw in this argument?
 2009-06-26  8:32 UTC 

Can you spot a flaw in this argument?
 2009-06-25 19:48 UTC 

query
 2009-06-24 16:18 UTC 

no fundamental theorems please
 2009-06-24 15:17 UTC 

Proofs from THE BOOK
 2009-06-24 13:55 UTC 

no fundamental theorems please
 2009-06-24 13:52 UTC 

no fundamental theorems please
 2009-06-23 18:58 UTC 

monad: (k-Set \downarrow -): Set -->Set
 2009-06-23 16:19 UTC 

Triquotient assignments for geometric morphisms
 2009-06-23 15:40 UTC 

no fundamental theorems please
 2009-06-23 14:47 UTC 

Topology on cohomology groups
 2009-06-23 13:09 UTC 

no fundamental theorems please
 2009-06-23 11:46 UTC 

Lemmas and Theorems
 2009-06-23 10:48 UTC 

Triquotient assignments for geometric morphisms
 2009-06-23 10:40 UTC 

monad: (k-Set \downarrow -): Set -->Set
 2009-06-23 10:27 UTC 

no fundamental theorems please
 2009-06-23  9:28 UTC 

no fundamental theorems please
 2009-06-23  9:27 UTC 

Triquotient assignments for geometric morphisms
 2009-06-23  7:27 UTC 

Topology on cohomology groups
 2009-06-23  6:00 UTC 

monad: (k-Set \downarrow -): Set -->Set
 2009-06-23  4:43 UTC 

no fundamental theorems please
 2009-06-22 21:07 UTC 

monad: (k-Set \downarrow -): Set -->Set
 2009-06-22 16:54 UTC 

Triquotient assignments for geometric morphisms
 2009-06-22 15:48 UTC 

monad: (k-Set \downarrow -): Set -->Set
 2009-06-22 14:37 UTC 

Fundamental Theorem of Category Theory?
 2009-06-22 12:31 UTC 

monad: (k-Set \downarrow -): Set -->Set
 2009-06-22 11:56 UTC 

research positions
 2009-06-22 11:17 UTC 

monad: (k-Set \downarrow -): Set -->Set
 2009-06-21 21:38 UTC 

Topology on cohomology groups
 2009-06-21 21:20 UTC 

applications of the Yoneda embedding
 2009-06-20 15:45 UTC 

Topology on cohomology groups
 2009-06-20 10:32 UTC 

monad: (k-Set \downarrow -): Set -->Set
 2009-06-19 22:33 UTC 

Topology on cohomology groups
 2009-06-19 21:39 UTC 

Topology on cohomology groups
 2009-06-19 20:50 UTC 

Fundamental Theorem of Category Theory?
 2009-06-19 19:46 UTC 

Topology on cohomology groups
 2009-06-19  9:26 UTC 

Fundamental Theorem of Category Theory?
 2009-06-18  8:33 UTC 

Fundamental Theorem of Category Theory?
 2009-06-18  0:27 UTC 

Fundamental Theorem of Category Theory?
 2009-06-17 22:45 UTC 

Two Fully Funded PhD Positions at Oxford University Computing Laboratory
 2009-06-17 21:03 UTC 

universality
 2009-06-17 19:42 UTC 

Fundamental Theorem of Category Theory?
 2009-06-17 17:04 UTC 

FICS'09 2nd Call for papers - Fixed Points in Computer Science (CSL'09 workshop)
 2009-06-17  9:26 UTC 

FICS'09 2nd Call for papers - Fixed Points in Computer Science (CSL'09 workshop)
 2009-06-17  9:26 UTC 

Fundamental Theorem of Category Theory?
 2009-06-17  7:29 UTC 

Fundamental Theorem of Category Theory?
 2009-06-17  3:28 UTC 

Easik 2.0: categorical database design and manipulation
 2009-06-16 22:32 UTC 

Fundamental Theorem of Category Theory?
 2009-06-16 21:58 UTC 

Fundamental Theorem of Category Theory?
 2009-06-16 20:23 UTC 

Fundamental Theorem of Category Theory?
 2009-06-16 19:34 UTC 

Existence of very high categories
 2009-06-16  7:48 UTC 

Fundamental Theorem of Category Theory
 2009-06-15 22:35 UTC 

Fundamental Theorem of Category Theory?
 2009-06-15 22:02 UTC 

Fundamental Theorem of Category Theory?
 2009-06-15 21:58 UTC 

ICFEM 2009: Last Call for Papers - one month to go before the abstract submission deadline
 2009-06-15  1:11 UTC 

Fundamental Theorem of Category Theory?
 2009-06-14 15:08 UTC 

unsolved problems
 2009-06-11 21:17 UTC 

database theory based on Heyting algebra instead of Boolean algebra
 2009-06-11 13:03 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-11 11:30 UTC 

database theory based on Heyting algebra instead of Boolean algebra
 2009-06-11  6:39 UTC 

Makkaifest: banquet deadline
 2009-06-11  4:01 UTC 

Makkaifest: Deadline for student funding
 2009-06-11  3:34 UTC 

unsolved problems
 2009-06-10  9:39 UTC 

database theory based on Heyting algebra instead of Boolean algebra
 2009-06-10  8:42 UTC 

Fundamental Theorem of Category Theory?
 2009-06-10  2:29 UTC 

Categories, Quanta, Concepts talks now available
 2009-06-10  0:42 UTC 

aspects of locale theory
 2009-06-09 16:44 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-09 15:47 UTC 

Categorical problems
 2009-06-09 13:44 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-09 13:35 UTC 

New deadline - Special Volumes in honour of F. Borceux and D. Bourn
 2009-06-09 11:51 UTC 

Famous unsolved problems etc
 2009-06-09  9:52 UTC 

Fundamental Theorem of Category Theory?
 2009-06-08 20:33 UTC 

Categorical problems
 2009-06-08 18:30 UTC 

Fundamental Theorem of Category Theory?
 2009-06-08 11:44 UTC 

PhD position in Nottingham
 2009-06-08  9:08 UTC 

Re:Fundamental Theorem of Category Theory?
 2009-06-08  9:06 UTC 

categories fibered in small categories
 2009-06-08  5:13 UTC 

Famous unsolved problems in ordinary category theory‏
 2009-06-08  1:34 UTC 

preprint announcement
 2009-06-07 19:15 UTC 

Categorical problems
 2009-06-07  1:13 UTC 

Categorical problems
 2009-06-07  1:13 UTC 

Fundamental Theorem of Category Theory?
 2009-06-07  1:09 UTC 

categories fibered in small categories
 2009-06-06 23:37 UTC 

Re:Fundamental Theorem of Category Theory?
 2009-06-06 22:22 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-06  9:18 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-06  3:59 UTC 

Timeline of category theory and related mathematics
 2009-06-06  2:31 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-06  1:35 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-05 22:36 UTC 

Draft of book- apologies
 2009-06-05 21:13 UTC 

Fundamental Theorem of Category Theory?
 2009-06-05 20:36 UTC 

Nonabelian algebraic topology: full draft
 2009-06-05 16:39 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-05 14:17 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-05 11:07 UTC 

Decidability of the theory of a monad
 2009-06-05  8:58 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-05  8:41 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-05  4:10 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-05  2:54 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-05  2:42 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-05  1:53 UTC 

unsolved problems
 2009-06-05  1:25 UTC 

Decidability of the theory of a monad
 2009-06-04 10:59 UTC 

Decidability of the theory of a monad
 2009-06-04  9:52 UTC 

Decidability of the theory of a monad
 2009-06-03 22:29 UTC 

Decidability of the theory of a monad
 2009-06-03 22:08 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-03 20:30 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-03 16:45 UTC 

3 year Lectureship at Oxford in Categories/Quantum
 2009-06-03 14:41 UTC 

Decidability of the theory of a monad
 2009-06-03 11:10 UTC 

Famous unsolved problems in ordinary category theory
 2009-06-02 16:31 UTC 

patenting colimits?
 2009-06-02 10:38 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).