<--- Back to Details
First PageDocument Content
Functors / Algebraic topology / Sheaf theory / Higher category theory / Equivalence of categories / Adjoint functors / Limit / Universal property / Sheaf / Category theory / Abstract algebra / Mathematics
Date: 2005-10-05 17:53:19
Functors
Algebraic topology
Sheaf theory
Higher category theory
Equivalence of categories
Adjoint functors
Limit
Universal property
Sheaf
Category theory
Abstract algebra
Mathematics

Add to Reading List

Source URL: vbm-ehr.pagesperso-orange.fr

Download Document from Source Website

File Size: 123,93 KB

Share Document on Facebook

Similar Documents

Noah Snyder: Research Statement Quantum Algebra and Quantum Topology I work in an area at the intersection of representation theory, low-dimensional topology, higher category theory, and operator algebras which is often

DocID: 1uTPa - View Document

Mathematics / Academia / Physics / Category theory / Theory / Conceptual system / Dimension / Mathematical logic / Mathematical analysis / Algebra / Emmy Noether / Foundations of mathematics

Higher-Dimensional Category Theory The architecture of mathematics Eugenia Cheng November 2000

DocID: 1qQLf - View Document

Algebra / Abstract algebra / Mathematics / Homological algebra / Category theory / Homotopy theory / K-theory / Functors / Universal property / Triangulated category / Algebraic K-theory / Natural transformation

657 Documenta Math. A Simple Criterion for Extending Natural Transformations to Higher K -Theory

DocID: 1qMmi - View Document

Mathematics / Algebra / Abstract algebra / Homotopy theory / Category theory / Algebraic topology / Functors / Higher category theory / Simplicial set / Nerve / Model category / Monoidal category

HIGHER CATEGORIES IN A NUT-SHELL These are notes for a talk at the Max Planck Institute for Mathematics in SpringThe goal was to convince the audience that the necessary definitions for a good model of (symmetric

DocID: 1qtnZ - View Document

Constructible universe

Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel

DocID: 1qqWP - View Document