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
[isabelle] Reminder: Deadline for Special Issue of IMLA approaching (31st May 2009)
2009-05-22 5:33 UTC
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
Retry on variables
2009-05-15 13:43 UTC
FLoC 2010: First Announcement
2009-05-14 23:24 UTC
Variables
2009-05-14 20:13 UTC
Variables
2009-05-14 20:13 UTC
FMCS 2009: Registration and Accommodation
2009-05-14 0:26 UTC
Axioms of elementary probability
2009-05-13 19:59 UTC
Re: Correspondence between TQFT and state sum models?
2009-05-13 19:53 UTC
Correspondence between TQFT and state sum models?
2009-05-13 15:49 UTC
Axioms of elementary probability
2009-05-13 13:52 UTC
STACS 2010
2009-05-13 13:19 UTC
Correspondence between TQFT and state sum models?
2009-05-12 21:31 UTC
Axioms of elementary probability
2009-05-12 17:52 UTC
Axioms of elementary probability
2009-05-12 15:34 UTC (2+ messages)
Axioms of elementary probability
2009-05-12 1:53 UTC
Fw: Category bulletin: Higher dimensional algebroids and crossed complexes
2009-05-11 21:27 UTC
Elementary concepts of map objects
2009-05-08 17:41 UTC
[FMICS 2009] Call for Posters
2009-05-08 6:52 UTC
Lie algebras and failure of PBW
2009-05-07 20:39 UTC
Axioms for elementary probability
2009-05-07 2:44 UTC
Lie algebras and failure of PBW
2009-05-07 1:44 UTC
MALOA network in Mathematical Logic: 18 PhD student positions (Leeds, Manchester, Oxford, Lyon, Paris, Muenster, Muenchen, Prague)
2009-05-06 21:42 UTC
Lie algebras and failure of PBW
2009-05-06 20:33 UTC
Preprint: Limits in symmetric cubical categories
2009-05-04 12:46 UTC
EPTCS, a new open access proceedings series
2009-04-30 12:50 UTC
EPTCS, a new open access proceedings series
2009-04-30 12:50 UTC
list interruption / gmane archive
2009-04-30 11:51 UTC
(unknown)
2009-04-29 15:27 UTC
(unknown)
2009-04-29 15:27 UTC
(unknown)
2009-04-29 15:27 UTC
(unknown)
2009-04-29 15:26 UTC
omega cocontinuity of bifunctors
2009-04-29 15:12 UTC
preprint available
2009-04-29 14:59 UTC
Classifying Space
2009-04-27 21:27 UTC
Classifying Space
2009-04-25 6:54 UTC
Classifying Space
2009-04-24 19:25 UTC
Workshop at McGill, 18 June 09
2009-04-24 16:13 UTC
2 PhD positions at Onera Toulouse, France
2009-04-24 7:09 UTC
2 PhD positions at Onera Toulouse, France
2009-04-23 15:41 UTC
2nd CFP: Special Issue on Hybrid Logics of the LJ-IGPL
2009-04-23 13:16 UTC
Classifying Space
2009-04-23 12:02 UTC
Category of categories with pullbacks is cartesian closed
2009-04-23 11:02 UTC
Preprint available: Close categories vs. closed multicategories
2009-04-23 4:53 UTC
Ottawa Workshop on Smooth Structures: Final Call
2009-04-23 3:22 UTC
Preprint available: Close categories vs. closed multicategories
2009-04-22 19:36 UTC
Category of categories with pullbacks is cartesian closed
2009-04-22 14:29 UTC
FMCS 2009 Housing
2009-04-22 0:37 UTC
Post-doc position at Birmingham: toposes and quantum theory
2009-04-21 14:47 UTC
pasting along an adjunction
2009-04-18 13:42 UTC
pasting along an adjunction
2009-04-18 4:54 UTC
pasting along an adjunction
2009-04-17 18:06 UTC
Category of categories with pullbacks is cartesian closed
2009-04-17 1:22 UTC
Graphical Category Theory Demonstrations
2009-04-16 15:22 UTC
Smooth and proper functors
2009-04-16 13:46 UTC
A theorem from Herrlich and Strecker
2009-04-15 19:35 UTC
Smooth and proper functors
2009-04-15 18:44 UTC
Smooth and proper functors
2009-04-15 13:45 UTC
PhD vacancy at Nijmegen
2009-04-15 9:35 UTC
Workshop on Quantum Logic Insipred by Quantum Computation
2009-04-14 22:53 UTC
Monoids in functor categories [was: Re: Where does the term monad come from?]
2009-04-13 15:35 UTC
Where does the term monad come from?
2009-04-12 1:30 UTC
Where does the term monad come from?
2009-04-11 15:43 UTC
Monads over a subcategory
2009-04-09 23:19 UTC
iBourbaki in constructive type theory? [Fwd: 1 Postdoc and 1 PhD vacancy in the MathWiki project]
2009-04-08 8:44 UTC
Where does the term monad come from?
2009-04-07 16:50 UTC
L'Aquila category theorists?
2009-04-07 16:33 UTC
a workshop on commutativity of diagrams, Toulouse
2009-04-07 16:05 UTC
virtual special session
2009-04-07 15:44 UTC
Where does the term monad come from?
2009-04-07 15:10 UTC
L'Aquila category theorists?
2009-04-07 13:57 UTC
L'Aquila category theorists?
2009-04-07 12:27 UTC
L'Aquila category theorists?
2009-04-07 11:40 UTC
L'Aquila category theorists?
2009-04-07 7:50 UTC
Where does the term monad come from?
2009-04-07 7:32 UTC
Where does the term monad come from?
2009-04-07 2:06 UTC
Where does the term monad come from?
2009-04-06 20:24 UTC
Where does the term monad come from?
2009-04-06 4:52 UTC
Monads
2009-04-06 4:33 UTC
Monads
2009-04-04 15:45 UTC
Monads
2009-04-04 3:31 UTC
Monads
2009-04-03 23:47 UTC
Monads
2009-04-03 14:07 UTC
Monads
2009-04-03 13:56 UTC
Where does the term monad come from?
2009-04-03 13:55 UTC
Where does the term monad come from?
2009-04-03 4:33 UTC
Where does the term monad come from?
2009-04-03 4:28 UTC
Where does the term monad come from?
2009-04-02 13:31 UTC
Monads
2009-04-02 12:51 UTC
Where does the term monad come from?
2009-04-01 21:19 UTC
Where does the term monad come from?
2009-04-01 19:47 UTC
Where does the term monad come from?
2009-04-01 18:45 UTC
Where does the term monad come from?
2009-04-01 18:13 UTC
Lecturer in Computer Science, University of Leicester
2009-04-01 16:48 UTC
Where does the term monad come from?
2009-04-01 11:24 UTC
FMCS09 - VANCOUVER
2009-04-01 0:08 UTC
Categories, Quanta, Concepts (CQC) at Perimeter Institute
2009-03-31 13:04 UTC
Quantum Physics and Logic - Oxford April 8-9
2009-03-30 21:26 UTC
Quantum Physics and Logic - Oxford April 8-9
2009-03-30 21:26 UTC
Cfc: CALCO-jnr 2009: CALCO Young Researchers Workshop, Udine, Italy
2009-03-30 10:19 UTC
naive questions about sets
2009-03-28 1:07 UTC
naive questions about sets
2009-03-28 0:35 UTC
naive questions about sets
2009-03-27 22:55 UTC
2nd call for papers: CFV'09, deadline April 22
2009-03-27 20:38 UTC
PhD studentships - Dublin
2009-03-26 15:56 UTC
PhD studentships - Dublin
2009-03-26 15:56 UTC
"Senior postdoc" research positions (5 years)
2009-03-26 12:19 UTC
job opening in Nijmegen
2009-03-26 11:20 UTC
naive questions about sets
2009-03-24 17:57 UTC
Grothendieck's legacy videos
2009-03-24 15:58 UTC
postdoc position in Paris
2009-03-23 10:17 UTC
Re: Functions in programming
2009-03-22 14:22 UTC
Functions in programming
2009-03-21 16:06 UTC
Functions in programming
2009-03-20 21:18 UTC
MFPS 25 Program
2009-03-20 20:20 UTC
laziness in functional programming
2009-03-20 18: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).