Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

higher category theory · Vinony

Home
Foundations of mathematics
higher category theory

🌐English

English Deutsch Français Português Türkçe 한국어 中文日本語

EntityQ5758318· pop 6· linked from 181 articles

higher category theory

generalization of category theory for higher-order morphisms

Available in 6 languages

Français
Deutsch
中文
Português
Greek

via Wikidata sitelinks · CC0

Connections

strict 2-category

Categories

Foundations of mathematics Higher category theory

Sources

wikipedia.externallinksexternallink

quasi-category

Entity

universal property

International Standard Book Number

mathematical proof

mathematical logic

mathematical induction

Cartesian product

topological space

algebraic topology

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.39

Kleisli category

Entitydist 0.41

Entitydist 0.46

Entitydist 0.48

Entitydist 0.49

Category:Theorems in projective geometry

Entitydist 0.51

Category:Kankanaey lemmas

Entitydist 0.56

Category:Multilinear algebra

Entitydist 0.56

Category:Aiton lemmas

Entitydist 0.58

Category:Yonaguni lemmas

Entitydist 0.59

Category:Hilbert spaces

Entitydist 0.59

Category:Proto-Indo-European lemmas

Entitydist 0.60

What links here181 pages

strict 2-category

category theory

abelian category

equivalence of categories

representable functor

symmetric monoidal category

natural transformation

initial and terminal objects

enriched category

functor category

product category (math)

exponential object