Dagur Asgeirsson issues

Repositories
Issues
Comments

Results 14 issues of


                                            Dagur Asgeirsson

feat:(Condensed): properties of the functor from `TopCat` to `CondensedSet`

--- [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

WIP

feat(CategoryTheory): add some instances for essentially small sites

This PR proves that the properties `PreservesSheafification` and `WEqualsLocallyBijective` hold for an essentially small site if they hold for an equivalent small site. --- [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

awaiting-review

t-category-theory

feat(CategoryTheory/Monoidal): Day's reflection theorem

--- [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

delegated

t-category-theory

Dagur Asgeirsson

feat:(Condensed): properties of the functor from `TopCat` to `CondensedSet`

feat(CategoryTheory): add some instances for essentially small sites

feat(CategoryTheory/Monoidal): Day's reflection theorem

chore: clarify criteria for 'easy' label