Nearby in the stack

Yoneda Lemma for Elementary Higher Toposes · arXivDesk

1809.01736Sep 5, 201810 Pages

Yoneda Lemma for Elementary Higher Toposes

Nima Rasekh

Category Theory Algebraic Topology

Abstract

We prove the Yoneda lemma inside an elementary higher topos, generalizing the Yonda lemma for spaces.

Briefing

What this paper is actually doing

Sign in and connect a model key to generate a briefing for this paper.

Claims

Methods

Limitations

Socratic margin

Ask the abstract

Questions are grounded in the title and abstract. If the PDF is required, arXivDesk will say so.

Sign in to ask questions about this paper.

Nearby in the stack

1805.03805

over 8 years ago

A Theory of Elementary Higher Toposes

Nima Rasekh

Category Theory Algebraic Topology

2103.17141

over 5 years ago

Yoneda's lemma for internal higher categories

Louis Martini

Category Theory Algebraic Topology

1108.4032

almost 15 years ago

Totally distributive toposes

Rory B. B. Lucyshyn-Wright

Category Theory Logic in Computer Science General Topology

2607.14016

about 1 month ago

The internal Yoneda lemma for locally Cartesian closed $\infty$ -categories

Virgile Constantin

Category Theory Algebraic Topology

0805.2187

over 18 years ago

Yoneda representations of flat functors and classifying toposes

Olivia Caramello

Category Theory Logic

2608.13165

3 days ago

Left properness of Moore flows

Philippe Gaucher

Category Theory Algebraic Topology