Índice de conceptos

Índice del tratado

Las voces principales se ordenan alfabéticamente. Las entradas de definiciones remiten a su primera formulación formal; las demás, al uso central.

Concepto	Localizador principal
Aplicación parcial	6.1.1
Categoría de elementos de un prehaz	16.1.3
Categoría de endomorfismos totales computables	13.5.1
Categoría de prehaces	16.1.1
Clasificador de aplicaciones parciales con codominio \(B\)	8.1.1
Clasificador de subobjetos	3.3.1
Co-Yoneda	16.3.2
Cociente de índices por denotación	14.4.1
Coincidencia en elementos globales	2.1.1
Comparación canónica entre suma y levantamiento	8.4.1
Complementación y decidibilidad interna de un dominio	7.5.1
Composición categórica	4.3.1
Composición de aplicaciones parciales	6.2.1
Composición de relaciones en \(\mathbf{Set}\)	3.5.1
Comprensión relativa frente a comprensión irrestricta	12.5.1
Conjuntos semidecidibles y decidibles	9.1.2
Contrato de correspondencia fundacional	13.1.1
Contrato de equivalencia de funciones	14.1.1
Denominación débilmente sobreyectiva por puntos	11.2.1
Densidad de Yoneda	16.2.3
Diagonalización	11.1.2
Diagrama de representables y cocono elemental	16.2.1
Dominio efectivo y totalidad parcial	6.1.3
El terminal como generador	2.1.2
Elección regular	5.2.5
Elección única	5.3.3
Elemento exponencial asociado a una flecha	2.5.1
Elemento generalizado	2.4.1
Elemento global	1.2.2
Epimorfismo regular	4.1.2
Equivalencia semántica de índices totales	12.3.1
Espacio representado y realizador	9.4.1
Evaluación tipada de un exponencial	12.1.4
Evaluador universal parcial efectivo	11.3.1
Extensión total computable	9.2.1
Extensionalidad	2.1.3
Familia con índices y argumentos de tipos distintos	12.2.1
Familia conjuntista y sección sobre una base	13.4.1
Familia de observadores y separación	14.5.1
Familia evaluable y sus secciones	11.1.1
Familia generadora de sondas	15.3.1
Función parcial computable sobre los naturales	9.1.1
Función parcial etiquetada y composición de Kleisli	14.2.1
Función y flecha	1.1.1
Funtor covariante y contravariante	15.1.1
Funtor de elementos globales	2.2.1
Funtores Hom representables	15.2.1
Gráfica	1.3.3
Idempotente de dominio	6.3.3
Igualdad de objetos bajo representación y nombres rápidos	10.5.1
Igualdad extensional y decisión	10.1.1
Igualdad sintáctica y equivalencia extensional	10.1.1
Imagen directa de subobjetos	4.4.1
Imagen y estabilidad	4.2.3
Interpretación del fragmento funcional simplemente tipado	13.2.1
Interpretación existencial por imagen	7.4.1
Isomorfismo	1.1.4
Monomorfismo	1.3.2
Numeración aceptable y especialización efectiva	12.4.1
Objeto de subsingletons \(L(B)\)	8.2.1
Objeto inyectivo respecto de monomorfismos	6.4.1
Objeto potencia, cuando existe	3.4.2
Objeto proyectivo respecto de coberturas regulares	5.2.3
Orden de extensión	6.3.1
Predicado característico del dominio	7.1.1
Predicado de coincidencia	7.3.1
Preimagen de un subobjeto	3.2.2
Presentación finita certificada	10.4.1
Presentación por coextremo conjuntista	16.3.1
Problema de equivalencia de índices y semidecisión	10.2.1
Propiedad extensional de índices	10.3.2
Punto fijo de Lawvere	11.2.2
Reducibilidad y equivalencia computable de representaciones	14.3.2
Relación de \(A\) en \(B\)	3.1.3
Representabilidad	16.4.3
Restricción a un subobjeto	7.2.1
Selector de una relación	5.2.1
Sistema de nombres naturales	14.3.1
Sondas representables y familias naturales	13.3.1
Subobjeto	3.1.1
Teorema de recursión de Kleene	12.4.2
Teorema de Rice	10.3.3
Testigo dependiente frente a existencia proposicional	13.4.3
Tipos simples y juicio de tipado	12.1.1
Totalidad regular	5.1.1
Traductor computable entre representaciones	9.4.3
Transformación natural	15.1.2
Univaluación	5.1.2
Yoneda contravariante	15.2.2
Yoneda covariante	15.2.3

← Anterior · Índice del tratado · Siguiente →