Finally, beware that even these notions of categories may not always be equivalent: A context which uses the terminology “(0,1)-category” is less likely to even consider the notion of a strict category than a context using the terminology “thin category” or “truth value-enriched category”, which might even regard strict categories as the default notion.

In Type theory

(…)

Last revised on July 23, 2022 at 09:20:04.
See the history of this page for a list of all contributions to it.