Image de couverture de livre

When is the partial map classifier a Sierpiński cone?

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Pugh, Leoni, Sterling, Jonathan
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Programming Languages Category Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The Synthetic Sierpiński Cone
par: Bakke, Fredrik, et autres
Publié: (2026)

Reflexive graph lenses in univalent foundations
par: Sterling, Jonathan
Publié: (2024)

Tensorial structure of the lifting doctrine in constructive domain theory
par: Sterling, Jonathan
Publié: (2023)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
par: Kaye, George
Publié: (2025)

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)

Strict universes for Grothendieck topoi
par: Gratzer, Daniel, et autres
Publié: (2022)

Hofmann-Streicher lifting of fibred categories
par: Slattery, Andrew, et autres
Publié: (2025)

Towards a Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2022)

From Semantics to Syntax: A Type Theory for Comprehension Categories
par: Najmaei, Niyousha, et autres
Publié: (2025)

A Unified Framework for Initial Semantics
par: Lamiaux, Thomas, et autres
Publié: (2025)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
par: Mangel, Éléonore, et autres
Publié: (2025)

The Hidden Strength of Costrong Functors
par: Balan, Adriana, et autres
Publié: (2025)

Scoped Effects as Parameterized Algebraic Theories
par: Matache, Cristina, et autres
Publié: (2024)

Foundations of Substructural Dependent Type Theory
par: Aberlé, C. B.
Publié: (2024)

Parametricity via Cohesion
par: Aberlé, C. B.
Publié: (2024)

Syntax and Semantics of Linear Dependent Types
par: Vákár, Matthijs
Publié: (2014)

Stone Duality for Monads
par: Garner, Richard, et autres
Publié: (2026)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
par: Ghica, Dan R., et autres
Publié: (2022)

String Diagrams for $λ$-calculi and Functional Computation
par: Ghica, Dan, et autres
Publié: (2023)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
par: Carette, TItouan, et autres
Publié: (2022)

For Generalised Algebraic Theories, Two Sorts Are Enough
par: Avrillon, Samy, et autres
Publié: (2026)

Non-Cartesian Guarded Recursion with Daggers
par: Lemonnier, Louis
Publié: (2024)

Concurrent Games over Relational Structures: The Origin of Game Comonads
par: Montacute, Yoàv, et autres
Publié: (2024)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
par: Lemonnier, Louis
Publié: (2024)

Polynomial Universes in Homotopy Type Theory
par: Aberlé, C. B., et autres
Publié: (2024)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
par: Aberlé, C. B.
Publié: (2026)

Domains and Classifying Topoi
par: Sterling, Jonathan, et autres
Publié: (2025)

Compositional imprecise probability
par: Liell-Cock, Jack, et autres
Publié: (2024)

Proto-Quipper with Reversing and Control
par: Fu, Peng, et autres
Publié: (2024)

A Type Theory with a Tiny Object
par: Riley, Mitchell
Publié: (2024)

Monoidal categories graded by partial commutative monoids
par: Earnshaw, Matthew, et autres
Publié: (2026)

Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
par: Haynes, Houston
Publié: (2026)

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
par: Bonchi, Filippo, et autres
Publié: (2024)

The $\infty$-category of $\infty$-categories in simplicial type theory
par: Gratzer, Daniel, et autres
Publié: (2026)

Homotopy type theory as a language for diagrams of $\infty$-logoses
par: Uemura, Taichi
Publié: (2022)

Yet another cubical type theory, but via a semantic approach
par: Kapulkin, Chris, et autres
Publié: (2025)

Distributive Laws of Monadic Containers
par: Purdy, Chris, et autres
Publié: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

Comodule Representations of Second-Order Functionals
par: Ahman, Danel, et autres
Publié: (2024)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
par: de Jong, Tom, et autres
Publié: (2026)