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.

cartesian closed category · Vinony

🌐English

English Deutsch Español Français Português Русский 한국어 中文日本語

EntityQ1725874· pop 9· linked from 177 articles

cartesian closed category

Also known as Cartesian closed

Type of category in category theory

Available in 9 languages

Español
Français
Deutsch
中文
日本語
Русский
Ukrainian
한국어

via Wikidata sitelinks · CC0

Connections

initial and terminal objects

Categories

Closed categories Lambda calculus

Sources

wikipedia.externallinksexternallink

strict 2-category

Entity

universal property

Scott continuity

category of modules

higher category theory

René Descartes

computer science

International Standard Book Number

digital object identifier

International Standard Serial Number

mathematical logic

Sign in to save

Similar entities

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

Category:Types of accounting

Entitydist 0.53

Entitydist 0.55

Category:Types of thoroughfares

Entitydist 0.56

Category:Types of university or college

Entitydist 0.57

Category:Odissi exponents

Entitydist 0.58

Category:Women physicists

Entitydist 0.59

Category:Dutch women economists

Entitydist 0.60

Category:Dutch women physicists

Entitydist 0.60

Category:Women economists

Entitydist 0.60

Category:Academic institutions by type

Entitydist 0.60

Category:Capital (economics)

Entitydist 0.61

Category:Carbon finance

Entitydist 0.61

What links here177 pages

exponential object

initial and terminal objects

Scott continuity

lambda calculus

simply typed lambda calculus

higher category theory

enriched category

strict 2-category

preadditive category

natural transformation

intuitionistic type theory

first-class functions

product category (math)

function-level programming