categories - Category Theory list
 help / color / mirror / Atom feed
"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:  |  | 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).