Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. an identity-on-objects functor is not a functor, also explaining its historical roots.

Anonymous

• CommentRowNumber2.
• CommentAuthorHurkyl
• CommentTimeAug 30th 2022
• (edited Aug 30th 2022)

An identity-on-objects functor is not a functor in the same sense that Cat is not the 1-category of categories and functors.

As such, I don’t think it belongs as an example on this page, since it depends on an uncommon interpretation of the terminology.

• CommentRowNumber3.
• CommentAuthormaxsnew
• CommentTimeAug 30th 2022

remove identity-on-objects functor, which is not at all the kind of thing this page is describing.