Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

higher category theory · Vinony

EntityQ5758318· pop 6· linked from 181 articles

higher category theory

Sign in to save

generalization of category theory for higher-order morphisms

Connections

strict 2-category

universal property

International Standard Book Number

mathematical proof

mathematical logic

mathematical induction

Cartesian product

topological space

algebraic topology

Categories

Foundations of mathematics Higher category theory

Sources

wikipedia.externallinksexternallink

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