Buchumschlag

Type Theory for the Working Mathematical Music Theorist

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Flieder, Drew
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Category Theory 03B38 (Primary), 18C40, 18C50, 18C10 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Algebraic Type Theory, Part 1: Martin-Löf algebras
von: Awodey, Steve
Veröffentlicht: (2025)

On logical parameterizations and functional representability in local set theories
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2021)

Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
von: Quigley, Daniel
Veröffentlicht: (2024)

Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)

On duality and model theory for polyadic spaces
von: van Gool, Sam, et al.
Veröffentlicht: (2022)

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
von: Kamio, Yuhi, et al.
Veröffentlicht: (2024)

2-Segal sets and pseudomonoids in the bicategory of spans
von: Marx, Sophia E, et al.
Veröffentlicht: (2025)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2025)

Ultracategories via Kan extensions of relative monads
von: Tarantino, Umberto, et al.
Veröffentlicht: (2025)

Cofibrant generation of pure monomorphisms in presheaf categories
von: Cox, Sean, et al.
Veröffentlicht: (2025)

Double Orthogonal Factorization Systems
von: Aberlé, C. B., et al.
Veröffentlicht: (2025)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
von: Lambert, Michael J.
Veröffentlicht: (2024)

Sketches and Classifying Logoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

A 2-categorical analysis of context comprehension
von: Coraglia, Greta, et al.
Veröffentlicht: (2024)

Topoi with enough points
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

Atomic Toposes with Co-Well-Founded Categories of Atoms
von: Marquès, Jérémie
Veröffentlicht: (2024)

Logical Aspects of Virtual Double Categories
von: Nasu, Hayato
Veröffentlicht: (2025)

Coherent span-valued 2D TQFTs
von: Marx, Sophia E, et al.
Veröffentlicht: (2025)

Lifting independence along functors
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Computads for generalised signatures
von: Markakis, Ioannis
Veröffentlicht: (2023)

Freely adding one layer of quantifiers to a Boolean doctrine
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Existential completions and Herbrand's theorem
von: Wrigley, Joshua L.
Veröffentlicht: (2025)

Dose-Escalation Trial Protocols that Extend Naturally to Admit Titration
von: Norris, David C.
Veröffentlicht: (2025)

Quantifier-free formulas and quantifier alternation depth in doctrines
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

$Sh(B)$-valued models of $(κ,κ)$-coherent categories
von: Kanalas, Kristóf
Veröffentlicht: (2023)

Day algebras
von: Robinson, Edmund, et al.
Veröffentlicht: (2025)

Exponentiable Virtual Double Categories and Representability of Exponentials
von: Carlson, Kevin D., et al.
Veröffentlicht: (2026)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

Categories by Kan extension
von: Spivak, David I.
Veröffentlicht: (2025)

Differential bundles as functors from free modules
von: Schwarz, Florian
Veröffentlicht: (2025)

Tininess and right adjoints to exponentials
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2026)

Ultracategories as colax algebras for a pseudo-monad on CAT
von: Hamad, Ali
Veröffentlicht: (2025)

The Simplicial Model of Univalent Foundations (after Voevodsky)
von: Kapulkin, Chris, et al.
Veröffentlicht: (2012)

Biased elementary doctrines and quotient completions
von: Cioffo, Cipriano Junior
Veröffentlicht: (2023)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)

Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
von: Ko, Joanna
Veröffentlicht: (2026)

Profunctorial algebras
von: Aristote, Quentin, et al.
Veröffentlicht: (2026)