Zulip Chat Archive

Stream: Is there code for X?

Topic: initial / final functors


view this post on Zulip Scott Morrison (Aug 12 2020 at 10:27):

@Bhavik Mehta, @Markus Himmel, @Reid Barton, do any of you have initial / final functors developed somewhere?

view this post on Zulip Reid Barton (Aug 12 2020 at 11:43):

initial meaning?

view this post on Zulip Scott Morrison (Aug 12 2020 at 11:47):

https://ncatlab.org/nlab/show/final+functor

view this post on Zulip Reid Barton (Aug 12 2020 at 12:37):

ah, I usually call this one cofinal. I had a version long ago

view this post on Zulip Bhavik Mehta (Aug 12 2020 at 13:33):

I haven't got this


Last updated: May 07 2021 at 23:11 UTC