Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: theory: category theory

Topic: lifted limits as a lifting property

Naïm Camille Favier (Jan 14 2025 at 14:23):

Has anyone ever seen lifted limits defined as a literal lifting property like this:
screenshot-2025-01-14-151344.png
where $I^\triangleright$ is $I$ with an adjoined terminal object, and the bottom and diagonal functors are assumed to be limiting? Of course, there's the question of whether the diagram should commute strictly or up to natural isomorphism.