Quantcast
Channel: Strict toposes as a finite limit theory - MathOverflow
Browsing latest articles
Browse All 2 View Live

Answer by varkor for Strict toposes as a finite limit theory

The original reference for the essential algebraicity of elementary toposes is Freyd's Aspects of topoi (in which the notion of essentially algebraic theory, which is equivalent to a finite limit...

View Article


Strict toposes as a finite limit theory

For some motivation I have been wondering about generalizing the topos of coalgebras theorem to relative monads in my previous question. This brought me to wonder about topos objects.NLab on specifying...

View Article

Browsing latest articles
Browse All 2 View Live