Locally Cartesian Closed Categories and Type Theory

Mathematical Proceedings of the Cambridge Philosophical Society - United Kingdom
doi 10.1017/s0305004100061284
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Comparing Cartesian Closed Categories of (Core) Compactly Generated Spaces

Topology and its Applications
GeometryTopology
2004English

A Cartesian Presentation of Weakn–categories

Geometry and Topology
GeometryTopology
2010English

Cartesian Closed Subcategories of Topological Fuzzes

Algebraic Structures and their Applications
Applied MathematicsNumber TheoryAlgebra
2019English

Compactifications of Locally Compact Groups and Closed Subgroups

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1992English

Compactifications of Locally Compact Groups and Closed Subgroups

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1992English

KV-Theory of Categories

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1981English

PGRW-Locally Closed Sets in Bitopological Spaces

International Journal of Mathematics Trends and Technology
2017English

Nonlinear Evolution Equations on Locally Closed Graphs

Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas
AlgebraGeometryApplied MathematicsAnalysisNumber TheoryComputational MathematicsTopology
2010English

Locally Compact Groups Without Distinct Isomorphic Closed Subgroups

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1973English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy