PofoliaShared via Pofolia

Medical Entomology and Zoology· 2018

Sheaves in Geometry and Logic: A First Introduction to Topos Theory

Saunders MacLane Galdós, Ieke Moerdijk

Short summary

This text introduces topos theory, a field originating from the study of sheaves in geometry and logic, as a unified framework for diverse mathematical concepts.

AI-generated from the title and abstract; the full text is not read.

TakeawaysIn the app
Key pointsIn the app
Ask the paperIn the app

The rest is in the Pofolia app

Takeaways, key points and questions to the paper; new summaries every day for your field. Free.

Sign in on the web to open

Field: Theoretical Computer Science

Theoretical Computer ScienceMathematics