* a question
@ 2015-11-18 13:51 Vladimir Voevodsky
0 siblings, 0 replies; 3+ messages in thread
From: Vladimir Voevodsky @ 2015-11-18 13:51 UTC (permalink / raw)
To: categories
Hello,
could anyone point me out to a proof that the category F whose objects are natural numbers and morphisms are morphisms of finite sets is a free category with coproducts where the associativity and unity isomorphisms are identities generated by one object?
Thank you in advance,
Vladimir.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: a question
@ 2015-11-19 13:09 Marco Grandis
0 siblings, 0 replies; 3+ messages in thread
From: Marco Grandis @ 2015-11-19 13:09 UTC (permalink / raw)
To: categories, Vladimir Voevodsky
On 18 Nov 2015, at 14:51, Vladimir Voevodsky wrote:
> Hello,
> could anyone point me out to a proof that the category F whose
> objects are natural numbers and morphisms are morphisms of finite
> sets is a free category with coproducts where the associativity and
> unity isomorphisms are identities generated by one object?
> Thank you in advance,
> Vladimir.
In this paper
M. Grandis, Finite sets and symmetric simplicial sets, Theory Appl.
Categ. 8 (2001), No. 8, 244-252
the following results are proved, and point (a') should be related to
what you want:
The category of finite cardinals, equivalent to the category of
finite sets and the site of augmented symmetric simplicial sets, is:
(a') the free strict monoidal category with an assigned symmetric
monoid;
(b') the subcategory of Set generated by finite cardinals, their
faces, degeneracies and main transpositions;
(c') the category generated by faces, degeneracies and main
transpositions, under the symmetric cosimplicial relations.
The properties above are related to well-known (see Mac Lane)
characterisations of the category of finite ordinals, the site of
augmented simplicial sets:
(a) the free strict monoidal category with an assigned internal monoid;
(b) the subcategory of Set generated by finite ordinals, their faces
and degeneracies;
(c) the category generated by faces and degeneracies, under the
cosimplicial relations.
Regards, Marco
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 3+ messages in thread
* a question
@ 2011-07-10 13:24 André Joyal
0 siblings, 0 replies; 3+ messages in thread
From: André Joyal @ 2011-07-10 13:24 UTC (permalink / raw)
To: categories
Dear all,
The following question was privately raised by one of my correspondant:
>In Set we have a large (but exponentiable) canonical category of
finite sets.
>Question: What is the relation of (any) of the small (= internal)
>categories S_f with the notions of finite object in a topos ?.
Let me try to answer it:
The internal stack of finite sets S_f is classifying finite objects
exactly like the Lawvere object is classifying monomorphisms.
Is there another answer?
Best,
André
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2015-11-19 13:09 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-11-18 13:51 a question Vladimir Voevodsky
-- strict thread matches above, loose matches on Subject: below --
2015-11-19 13:09 Marco Grandis
2011-07-10 13:24 André Joyal
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).