contributions to the infinity-cosmos project?

Stream: Infinity-Cosmos

[Emily Riehl]

I'm preparing slides for LeanTogether2025 and want to make sure that my list of contributors to this project is up to date.

In fact, I have two slides on contributions, one listing work that is related to this project which has been PRed to mathlib. So far this includes:

* codiscrete categories (Alvaro Belmonte)
* reflexive quivers (Mario Carneiro, Pietro Monticone, Emily Riehl)
* the opposite category of an enriched category (Daniel Carranza)
* a closed monoidal category is enriched in itself (Daniel Carranza, Joël Riou)
* StrictSegal simplicial sets are 2-coskeletal (Mario Carneiro and Joël Riou)
* StrictSegal simplicial sets are quasicategories (Johan Commelin, Emily Riehl, Nick Ward)
* left and right lifting properties (Jack McKoen)
* SSet.hoFunctor, which constructs a category from a simplicial set (Mario Carneiro, Pietro Monticone, Emily Riehl, Joël Riou)
* SimplicialSet (co)skeleton properties (Mario Carneiro, Pietro Monticone, Emily Riehl, Joël Riou)

But I'm sure I'm missing things. What have I left out?

[Emily Riehl]

Our current contributors list is on the github page. If I've missed you, will you please let me know?

[Emily Riehl]

Slides are here.

Aside: I wasn't able to put them in their usual place because of a Jekyll error I don't understand

The current runner (ubuntu-24.04-x64) was detected as self-hosted because the platform does not match a GitHub-hosted runner image (or that image is deprecated and no longer supported).
In such a case, you should install Ruby in the $RUNNER_TOOL_CACHE yourself

If anyone knows how I can fix this, that would be great :)

[Pietro Monticone]

Opened PR updating the setup-ruby action version and adding the dependabot that will take care of that in the future.