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
patenting colimits?
2009-06-02 8:51 UTC
preprint announcement
2009-06-01 13:15 UTC
postdoc position in Paris
2009-05-31 10:57 UTC
patenting colimits?
2009-05-30 12:07 UTC
patenting colimits?
2009-05-29 19:57 UTC
patenting colimits?
2009-05-29 1:24 UTC
patenting colimits?
2009-05-28 21:07 UTC
patenting colimits?
2009-05-28 15:49 UTC
patenting colimits?
2009-05-28 7:15 UTC
Tutorial: Categories for the practicing physicist
2009-05-27 22:09 UTC
patenting colimits?
2009-05-27 19:33 UTC
patenting colimits?
2009-05-27 19:22 UTC
patenting colimits?
2009-05-27 16:18 UTC
patenting colimits?
2009-05-27 16:12 UTC
patenting colimits?
2009-05-27 16:08 UTC
ICE09: LAST CALL FOR PAPERS
2009-05-27 12:40 UTC
patenting colimits?
2009-05-27 11:29 UTC
patenting colimits?
2009-05-27 7:28 UTC
patenting colimits?
2009-05-27 6:21 UTC
patenting colimits?
2009-05-27 3:29 UTC
patenting colimits?
2009-05-27 2:53 UTC
FMCS 2009 SCHEDULE
2009-05-27 1:10 UTC
Applying Category Theory to Improve
2009-05-26 21:56 UTC
patenting colimits?
2009-05-26 4:46 UTC
patenting colimits?
2009-05-26 1:20 UTC
patenting colimits?
2009-05-26 0:04 UTC
patenting colimits?
2009-05-26 0:04 UTC
patenting colimits?
2009-05-25 23:53 UTC
sketch theory
2009-05-25 22:09 UTC
patenting colimits?
2009-05-25 21:11 UTC
patenting colimits?
2009-05-25 18:53 UTC
Diagammes, Ehresmann Supplements to Cahiers
2009-05-25 16:52 UTC
Diagammes, Ehresmann Supplements to Cahiers
2009-05-25 16:13 UTC
More about Diagrammes
2009-05-25 14:53 UTC
Diagammes, Ehresmann Supplements to Cahiers
2009-05-25 14:51 UTC
patenting colimits?
2009-05-25 13:35 UTC
postdoc position in Paris
2009-05-25 10:25 UTC
sketch theory
2009-05-25 5:03 UTC
LCC Extension/CfP
2009-05-25 3:02 UTC
sketch theory
2009-05-25 0:18 UTC
sketch theory
2009-05-24 23:21 UTC
Diagammes, Ehresmann Supplements to Cahiers
2009-05-24 21:10 UTC
Makkaifest Workshop 18 June 09 (McGill)
2009-05-23 23:20 UTC
Famous unsolved problems in ordinary category theory
2009-05-23 20:14 UTC
call for papers, constructive math meeting
2009-05-23 14:13 UTC
sketch theory
2009-05-23 2:30 UTC
sketch theory
2009-05-23 0:44 UTC
sketch theory
2009-05-22 14:58 UTC
sketch theory
2009-05-22 14:38 UTC
sketch theory
2009-05-22 14:29 UTC
Prof
2009-05-22 14:20 UTC
Reminder: Deadline for Special Issue of IMLA approaching (31st May 2009)
2009-05-22 5:33 UTC
[isabelle] Reminder: Deadline for Special Issue of IMLA approaching (31st May 2009)
2009-05-22 5:33 UTC
Prof
2009-05-21 19:55 UTC
sketch theory
2009-05-21 19:43 UTC
What is classified by cohomology?
2009-05-21 18:04 UTC
paper: Partial Combinatory Algebras of Functions
2009-05-21 14:12 UTC
paper: Partial Combinatory Algebras of Functions
2009-05-21 14:12 UTC
Enrichment over a monoidal bicategory
2009-05-21 3:52 UTC
What is classified by cohomology?
2009-05-20 23:09 UTC
Prof
2009-05-20 22:26 UTC
sketch theory
2009-05-20 21:23 UTC
Site internet de Andree C. Ehresmann
2009-05-20 14:19 UTC
Post-doc position at Birmingham: toposes and quantum theory
2009-05-20 14:16 UTC
Enrichment over a monoidal bicategory
2009-05-20 14:12 UTC
LASER summer school on software testing -- Elba, 6-12 September 2009
2009-05-20 8:43 UTC
Enrichment over a monoidal bicategory
2009-05-20 3:10 UTC
Lawvere papers
2009-05-19 23:04 UTC
Lawvere papers
2009-05-19 21:50 UTC (2+ messages)
Lawvere papers
2009-05-19 6:27 UTC
FICS'09 Call for papers - Fixed Points in Computer Science (CSL'09 workshop)
2009-05-18 16:28 UTC
MakkaiFest, 18 - 20 June (Montreal)
2009-05-17 18:35 UTC
Axioms for elementary probability
2009-05-15 22:49 UTC
Axioms of elementary probability
2009-05-15 19:35 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).