evil
2010-09-14 7:50 UTC
Illusion and Forthrightness in Wikipedia
2010-09-14 7:46 UTC
Evil in bicategories
2010-09-14 6:28 UTC
errata
2010-09-14 1:02 UTC
Evil in bicategories
2010-09-13 22:28 UTC (12+ messages)
Illusion and Forthrightness in Wikipedia
2010-09-13 22:02 UTC (6+ messages)
Canonical quotients
2010-09-13 18:56 UTC (3+ messages)
CALCO 2011: First Call for Papers
2010-09-13 15:04 UTC
Dual of a monoidal closed category
2010-09-13 14:19 UTC
Canonical quotients
2010-09-13 14:09 UTC
Announcement of workshop on categorical information flow in quantum physics and linguistics
2010-09-10 14:01 UTC
Grothendieck: more complete URL
2010-09-10 12:26 UTC (8+ messages)
Octoberfest: 2nd announcement (upcoming deadlines)
2010-09-09 23:16 UTC
EPEW 2010 -- last call for participation
2010-09-09 8:45 UTC
Corrections to Grothendieck
2010-09-08 16:54 UTC
Another question on Grothendieck
2010-09-06 17:53 UTC (8+ messages)
` "
Makkai's suggestion
2010-09-06 17:08 UTC (6+ messages)
String diagrams, adjunction and autonomous categories
2010-09-06 16:20 UTC
Grothendieck translation
2010-09-06 9:38 UTC (2+ messages)
String diagrams, adjunction and autonomous categories
2010-09-06 2:05 UTC (2+ messages)
Dual category and dual object
2010-09-05 2:30 UTC (8+ messages)
Equality as an adjunction
2010-09-05 2:26 UTC (8+ messages)
First erratum
2010-09-05 0:43 UTC
Makkai's suggestion
2010-09-04 17:16 UTC (2+ messages)
String diagrams, adjunction and autonomous categories
2010-09-04 16:44 UTC (4+ messages)
Foundations?
2010-09-03 6:49 UTC (2+ messages)
` Quality & Quantity
Category-theory demonstrations on the Web
2010-09-02 4:43 UTC
Symposium Philosophy of the Logic of Sheaves - Call for Participation
2010-08-31 12:53 UTC
21 September: Workshop on Categories, Logic and Physics, Birmingham UK
2010-08-31 9:41 UTC
additive 2-categories and related structures?
2010-08-31 7:47 UTC (4+ messages)
String diagrams, adjunction and autonomous categories
2010-08-30 2:31 UTC (2+ messages)
even more on inclusion maps
2010-08-29 21:21 UTC
Question on choosing subobjects consistently
2010-08-29 13:32 UTC (3+ messages)
more on inclusion maps
2010-08-28 15:31 UTC
Question on choosing subobjects consistently
2010-08-28 10:10 UTC (2+ messages)
Generalizing Comma Categories
2010-08-22 21:24 UTC (2+ messages)
EPEW 2010 -- second call for participation (early registration Aug 31)
2010-08-21 9:31 UTC
product for free
2010-08-20 2:16 UTC (5+ messages)
postdoc vacancy in security & formal methods
2010-08-19 19:48 UTC
new paper: First-Order Logical Duality
2010-08-19 18:33 UTC
Software Verification and Testing at ACM SAC 2011: Deadline extended
2010-08-19 16:26 UTC
"Databases are Categories"
2010-08-18 6:14 UTC (6+ messages)
` "
ECEASST-Volume on Graph Transformation and Visual Modeling Techniques 2010
2010-08-16 11:06 UTC
Games Call for Participation
2010-08-13 8:00 UTC
"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 (3+ 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).