Zulip Chat Archive

Stream: Is there code for X?

Topic: initial / final functors

Scott Morrison (Aug 12 2020 at 10:27):

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

Reid Barton (Aug 12 2020 at 11:43):

initial meaning?

Scott Morrison (Aug 12 2020 at 11:47):

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

Reid Barton (Aug 12 2020 at 12:37):

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

Bhavik Mehta (Aug 12 2020 at 13:33):

I haven't got this

Last updated: Dec 20 2023 at 11:08 UTC