Fwd: Terminology problem with monoidal adjunctions
2009-10-04 15:07 UTC
Scottish Category Theory Seminar
2009-10-02 15:14 UTC
'Directed Algebraic Topology'
2009-09-29 11:42 UTC
Congratulations to Steve
2009-09-28 23:40 UTC
Congratulations to Steve
2009-09-28 21:06 UTC
'Directed Algebraic Topology'
2009-09-28 18:43 UTC
2 new papers on higher category theory
2009-09-28 10:45 UTC
PSSL 89
2009-09-25 14:19 UTC
CMCS 2010 Pre-announcement/call for papers
2009-09-25 12:09 UTC
infty-categories
2009-09-25 0:33 UTC
Comma categories
2009-09-24 22:37 UTC
Comma categories
2009-09-24 20:23 UTC
AC and equivalences
2009-09-24 15:09 UTC
question
2009-09-23 14:17 UTC
question
2009-09-23 10:00 UTC
'Directed Algebraic Topology'
2009-09-22 21:01 UTC
'Directed Algebraic Topology'
2009-09-22 13:12 UTC
'Directed Algebraic Topology'
2009-09-22 13:05 UTC
question
2009-09-22 12:26 UTC
question
2009-09-22 11:56 UTC
'Directed Algebraic Topology'
2009-09-22 9:00 UTC
'Directed Algebraic Topology'
2009-09-22 8:37 UTC
question
2009-09-22 7:04 UTC
question
2009-09-22 2:14 UTC
'Directed Algebraic Topology'
2009-09-21 23:15 UTC
Re: 'Directed Algebraic Topology'
2009-09-21 18:02 UTC
'Directed Algebraic Topology'
2009-09-21 15:56 UTC
question
2009-09-21 14:54 UTC
'Directed Algebraic Topology'
2009-09-21 9:44 UTC
question
2009-09-20 13:21 UTC
World Congress and School of Universal Logic, Lisbon 2010
2009-09-19 15:46 UTC
"Conceptual Mathematics"
2009-09-19 7:53 UTC
Updates of two old papers
2009-09-18 23:55 UTC
'Directed Algebraic Topology'
2009-09-18 15:23 UTC
World Congress and School of Universal Logic, Lisbon 2010
2009-09-17 4:25 UTC
NovemberFest Information
2009-09-16 16:37 UTC
Advertisement for a Professor of Pure Mathematics at the University of Adelaide
2009-09-16 9:44 UTC
news from Sheffield
2009-09-14 23:30 UTC
professor position again
2009-09-14 8:48 UTC
categories and linguistic?
2009-09-13 21:51 UTC
Multi-allegories
2009-09-13 20:48 UTC
Prochain SIC
2009-09-12 19:48 UTC
categories and linguistic?
2009-09-12 1:33 UTC
categories and formal verification
2009-09-12 1:25 UTC
Categories and linguistics
2009-09-12 1:12 UTC
categories and linguistic?
2009-09-11 22:38 UTC
Combinatorics and statistics
2009-09-11 17:51 UTC
categories and linguistic?
2009-09-11 17:45 UTC
categories and inguistic?
2009-09-11 17:07 UTC
Prochain SIC
2009-09-11 16:52 UTC
categories and linguistic?
2009-09-11 16:48 UTC
categories and linguistic?
2009-09-11 16:24 UTC
Re Categories_and_linguistic?
2009-09-11 16:24 UTC
categories: Catégories and linguistic
2009-09-10 20:25 UTC
categories and formal verification
2009-09-10 16:18 UTC
categories and linguistic
2009-09-09 17:55 UTC
enrichment over augmented simplicial sets
2009-09-09 9:04 UTC
Catégories and linguistic
2009-09-09 1:09 UTC
categories and formal verification
2009-09-08 13:53 UTC
categories and formal verification
2009-09-08 7:20 UTC
typed lambda calculus:cartesian closed :sorted pi calculus:?
2009-09-05 2:06 UTC
Ph.D. scholarships at the IT University of Copenhagen
2009-09-04 7:57 UTC
Ph.D. scholarships at the IT University of Copenhagen
2009-09-04 7:57 UTC
papers
2009-09-01 16:11 UTC
Wikibook
2009-08-29 20:22 UTC
typed lambda calculus:cartesian closed :sorted pi calculus:?
2009-08-29 17:52 UTC
typed lambda calculus:cartesian closed :sorted pi calculus:?
2009-08-29 17:27 UTC
Novemberfest
2009-08-28 22:54 UTC
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
page: next (older) | prev (newer) | 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).