infinity category

Definition

Let 20240404-simplicial_set_as_infinity_category_2206995cea5a4f16d5e946f14cc7a7b8685c90b8.svg be a simplicial set.
Then 20240404-simplicial_set_as_infinity_category_2206995cea5a4f16d5e946f14cc7a7b8685c90b8.svg is said to be an 20240404-simplicial_set_as_infinity_category_86ebeaff3698934e1e09fc4b5bbdeadff4926114.svg-category if it has the extension property for all inner horn inclusions

20240404-simplicial_set_as_infinity_category_e1b4997379f87ca5849cd1647eeeffc4d71d21af.svg

for 20240404-simplicial_set_as_infinity_category_1947dd5a1b17e3cce3e26cac81d01f48d3b416c2.svg

20240404-simplicial_set_as_infinity_category_31ad6470cf69c70253f5db13637a673fb17eab6a.svg

Remark

It seems reasonable to name 20240404-simplicial_set_as_infinity_category_2206995cea5a4f16d5e946f14cc7a7b8685c90b8.svg as

  1. infinity category, if one thinks about it in the context of the infinity category of infinity categories
  2. quasicategory, if one thinks about it in the 20240404-simplicial_set_as_infinity_category_de20cccca6ba5c9f9273546190f092cdc717d5bf.svg-category category of Quasicategories

But I'm not consistent :/

Date: nil

Author: Anton Zakrewski

Created: 2024-12-06 Fr 07:30