Robuta

Sponsor of the Day: Jerkmate
https://mathoverflow.net/posts/492366/timeline Timeline for answer to Categorical structure guaranteed to exist, but not necessarily preserved by... categorical structurenecessarily preservedtimelineanswerguaranteed https://mathoverflow.net/posts/492354/timeline Timeline for Categorical structure guaranteed to exist, but not necessarily preserved - MathOverflow categorical structurenecessarily preservedtimelineguaranteedexist https://mathoverflow.net/questions/492354/categorical-structure-guaranteed-to-exist-but-not-necessarily-preserved ct.category theory - Categorical structure guaranteed to exist, but not necessarily preserved -... Background I'm currently studying arithmetic universes (AUs), which are defined to be list-arithmetic pretoposes (see "Joyal's arithmetic universe as... ct category theorycategorical structurenecessarily preservedguaranteedexist