Emily Riehl

icon indicating a website link emilyriehl.github.io

icon company Johns Hopkins University icon location Baltimore, MD

Results 13 comments of Emily Riehl

feat (Category Theory): redefine and extend mates

Note there is one (non-trivial) new definition in the latest version: `conjugateIsoEquiv`. I had to mark it non-computable since it uses asIso; can this be avoided? This was included to...

feat (Category Theory): redefine and extend mates

@jcommelin after our discussion today I realized I need to add deprecated alias tags. Should this be done for all the renamed theorems or just for the renamed definitions?

feat (Category Theory): redefine and extend mates

@jcommelin just added for the two key definitions. We're already using this version of mates in poly so that's all set.