categories - Category Theory list
 help / color / mirror / Atom feed
From: Ross Street <ross.street@mq.edu.au>
To: categories list <categories@mta.ca>
Subject: Re: Simplicial versus (cubical with connections)
Date: Fri, 21 Oct 2011 09:08:25 +1100	[thread overview]
Message-ID: <E1RHaU0-0001c4-2Y@mlist.mta.ca> (raw)
In-Reply-To: <E1RGrPh-0003WW-KS@mlist.mta.ca>

> Perhaps the example I learned from Dominic Verity that I gave in my CT
> 1995 Halifax talk will suffice for this.
> Using strings, we derive a model for the free monoidal category
> containing a cointerval.
> Cubical sets are functors from this to Set.

Further to my last message: That CT1995 talk was very much part of a
three-man show: Street, Verity, Trimble. In particular, for the
example I
am referring to above, the original combinatorial model came from
Verity,
the string derivation of the model was Trimble, and all I did was draw
the
diagrams using MacDraw.

Apparently there is material on this example in the nLab
http://nlab.mathforge.org/nlab/show/cube+category

Ross

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


       reply	other threads:[~2011-10-20 22:08 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <E1RGrPh-0003WW-KS@mlist.mta.ca>
2011-10-20 22:08 ` Ross Street [this message]
2011-10-29  1:08 Simplicial versus (cubical) " F William Lawvere
  -- strict thread matches above, loose matches on Subject: below --
2011-10-22 13:07 Simplicial versus (cubical " Todd Trimble
2011-10-26 21:27 ` F. William Lawvere
     [not found] <33D5C4F9-416F-47E2-9CB3-C0109F977475@gmail.com>
2011-09-14 10:04 ` Ronnie Brown
     [not found] ` <E1R4GgT-0007ej-Hq@mlist.mta.ca>
2011-09-15 19:06   ` Urs Schreiber
2011-09-16 13:24     ` Fernando Muro
2011-10-18 13:27       ` Urs Schreiber
2011-10-19  8:35         ` Marco Grandis
2011-10-19 17:09           ` Vaughan Pratt
2011-10-20 10:39             ` Ronnie Brown
2011-09-12  0:30 Simplicial groups are Kan Michael Barr
2011-09-12  9:35 ` Ronnie Brown
2011-09-13 15:12   ` Simplicial versus (cubical with connections) Marco Grandis
     [not found]   ` <BDF51495-03DB-4725-8372-094AD1608A11@dima.unige.it>
2011-09-13 16:58     ` Ronnie Brown
2011-09-14  7:08       ` Jonathan CHICHE 齊正航

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1RHaU0-0001c4-2Y@mlist.mta.ca \
    --to=ross.street@mq.edu.au \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).