"Databases are Categories" (again)
2010-08-12 7:04 UTC (3+ messages)
"Databases are Categories" (again)
2010-08-12 5:44 UTC (2+ messages)
PhD positions in Leicester
2010-08-11 21:04 UTC
Last Cfp: Software Verification and Testing at ACM SAC 2011
2010-08-11 0:22 UTC
Tensor of monads
2010-08-09 20:26 UTC (24+ messages)
` Eckmann-Hilton (Was: Tensor of monads)
"Databases are Categories"
2010-08-09 16:12 UTC
What else do simplicial sets classify?
2010-08-08 12:11 UTC (4+ messages)
` "etirement morphique"
MAP 2010: Mathematics, Algorithms, Proofs, Logrono (Spain), 8-12 Nov 2010
2010-08-06 9:58 UTC
Phd Scholarship to study Category Theory in Sydney
2010-08-03 8:25 UTC
the two 'nerves' of crossed complexes
2010-08-03 7:45 UTC
Spans in Bicategories
2010-08-03 1:10 UTC
Homomorphisms that are pullbacks
2010-08-02 13:20 UTC
Homomorphisms that are pullbacks
2010-08-02 11:31 UTC
EPEW 2010 -- first call for participation
2010-07-29 22:04 UTC
New email address
2010-07-27 9:37 UTC
Can one define a "category of all mathematical objects"?
2010-07-25 7:42 UTC
Can one define a "category of all mathematical objects"?
2010-07-24 15:48 UTC (2+ messages)
Categorical model of temporal sequencing in neural memory
2010-07-21 20:32 UTC
Reducibility
2010-07-21 6:06 UTC (2+ messages)
MSFT C9 video on a monadic approach to location
2010-07-20 2:22 UTC (4+ messages)
call for papers
2010-07-15 9:07 UTC
Are mathematical proofs incomparable with proofs in other disciplines?
2010-07-15 7:31 UTC (6+ messages)
Principle and Practice
2010-07-11 2:44 UTC
Grothendieck's relative point of view
2010-07-09 16:03 UTC (4+ messages)
Are mathematical proofs incomparable with proofs in other disciplines?
2010-07-09 15:29 UTC
FM 2011: 17th International Symposium on Formal Methods
2010-07-09 14:27 UTC
non-Hausdoff topology
2010-07-09 14:10 UTC (2+ messages)
non-Hausdoff topology
2010-07-08 16:45 UTC (9+ messages)
MSFT C9 video on a monadic approach to location
2010-07-08 15:41 UTC
Some strict higher homotopy groupoids: intuitions, examples, applications, prospects
2010-07-08 13:35 UTC
Preprint: "The unification of Mathematics via Topos Theory"
2010-07-07 20:57 UTC
The humility topos
2010-07-07 14:16 UTC (12+ messages)
JPAA Special Issue "CT2010"
2010-07-06 23:59 UTC
The humility topos
2010-07-06 12:02 UTC
Day on Higher Category Theory in Utrecht
2010-07-05 16:41 UTC
Theory and Applications of Categories in Thomson ISI
2010-07-05 15:21 UTC
2nd Cfp: Software Verification and Testing at ACM SAC 2011
2010-07-04 18:54 UTC
The humility topos
2010-07-02 12:28 UTC (3+ messages)
Lecture Series by John Power
2010-06-30 20:51 UTC
Lecture Series by John Power
2010-06-30 20:51 UTC
latex code for connections in double groupoids
2010-06-30 16:31 UTC
(unknown)
2010-06-29 7:29 UTC
The humility topos
2010-06-29 4:33 UTC
The humility topos
2010-06-29 2:06 UTC
Call for Participation: ESSLLI 2010
2010-06-22 12:29 UTC
Paper on \Delta-sets
2010-06-21 14:25 UTC
Category Theory Octoberfest 2010
2010-06-19 21:04 UTC
list interruption
2010-06-18 10:45 UTC
research positions
2010-06-17 18:58 UTC
Fully-funded PhD in programming languages at Oxford
2010-06-17 15:53 UTC
pullback of locally presentable categories
2010-06-17 5:38 UTC
pullback of locally presentable categories
2010-06-16 14:35 UTC (4+ messages)
co-algebra literature suggestion
2010-06-15 11:33 UTC (2+ messages)
FICS 2010 : submission deadline extension (June 20)
2010-06-14 16:07 UTC
Two preprints on Second-Order Algebraic Structure
2010-06-14 13:49 UTC
Traces of higher categories
2010-06-09 12:25 UTC
covering spaces and groupoids
2010-06-09 10:35 UTC
Isomorphisms of categories
2010-06-08 21:18 UTC (15+ messages)
` covering spaces and groupoids
BOUNCE categories@mta.ca: Approval required: Non-member submission from ["Fred E.J. Linton" <fejlinton@usa.net>] (fwd)
2010-06-08 12:38 UTC
Fredericton CMS Talk URL
2010-06-05 0:49 UTC
Scott in Scotland: Tuesday 29th June, Edinburgh
2010-06-04 13:48 UTC
Cfp: Software Verification and Testing at ACM SAC 2011
2010-06-03 16:11 UTC
isomorphisms
2010-06-02 9:34 UTC (6+ messages)
` Equality and fibration
Fwd: New appointment
2010-06-02 1:38 UTC
Re terminology:
2010-06-01 18:22 UTC (24+ messages)
` terminology
` we do meet isomorphisms of categories
` Equality again
` Re: terminology
Deadline Approaching - SBMF 2010 - 13th BRAZILIAN SYMPOSIUM ON FORMAL METHODS
2010-06-01 13:13 UTC
CT 2010 - Preliminary Program and Last Call for Registration
2010-06-01 10:40 UTC
filtered monads? [resent]
2010-06-01 1:11 UTC (6+ messages)
` filtered monads?
Types Meeting 2010
2010-05-31 14:02 UTC
GAMES 2010 - Second call for Papers
2010-05-30 14:33 UTC
Announcement: Florence category Day - June 16. 2010
2010-05-29 10:06 UTC
Straw man terminology
2010-05-27 22:30 UTC (4+ messages)
` "
terminology
2010-05-27 18:31 UTC
Preprint: Local fibered right adjoints are polynomial
2010-05-27 11:53 UTC
Straw man terminology
2010-05-27 8:44 UTC
Straw man terminology
2010-05-27 3:31 UTC
filtered monads?
2010-05-27 3:06 UTC
FICS 2010, last call for contributions
2010-05-26 21:41 UTC
Straw man terminology
2010-05-26 13:48 UTC (3+ messages)
presentable vs. locally presentable
2010-05-25 18:15 UTC
presentable vs. locally presentable
2010-05-25 18:10 UTC (2+ messages)
algebraic models of homotopy types, crossed modules and the free loop space
2010-05-25 13:48 UTC
lax V-functors
2010-05-24 18:09 UTC (2+ messages)
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).