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 structure necessarily preserved timeline answer guaranteed https://mathoverflow.net/posts/492354/timeline Timeline for Categorical structure guaranteed to exist, but not necessarily preserved - MathOverflow categorical structure necessarily preserved timeline guaranteed exist 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 theory categorical structure necessarily preserved guaranteed exist