Outer Web | Explore

Explore >> Select a destination

You are here		ncatlab.org co-Yoneda lemma in nLab
\|	\|	bartoszmilewski.com Limits and Colimits \| Bartosz Milewski's Programming Cafe	4.2 parsecs away Travel
\|	\|	This is part 12 of Categories for Programmers. Previously: Declarative Programming. See the Table of Contents. It seems like in category theory everything is related to everything and everything can be viewed from many angles. Take for instance the universal construction of the product. Now that we know more about functors and natural transformations, can...	4.2 parsecs away Travel
\|	\|	grossack.site Life in Johnstone's Topological Topos 2 -- Topological Algebras \| Chris Grossack's Blog	4.2 parsecs away Travel
\|	\|	Chris Grossack's math blog and professional website.	4.2 parsecs away Travel
\|	\|	homotopytypetheory.org A type theoretical Yoneda lemma \| Homotopy Type Theory	3.1 parsecs away Travel
\|	\|	In this blog post I would like to approach dependendent types from a presheaf point of view. This allows us to take the theory of presheaves as an inspiration for results in homotopy type theory. The first result from this direction is a type theoretical variant of the Yoneda lemma, stating that the fiber $latex...	3.1 parsecs away Travel
\|	\|	rstraub.com Object-Oriented vs Functional Programming-Why Not Both?	27.2 parsecs away Travel
\|		Learn how Object-Oriented and Functional Programming stand apart, and more crucially how to make them coexist.	27.2 parsecs away Travel