Cover Image

Measuring data types

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mulder, Lukas, North, Paige Randall, Péroux, Maximilien
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic in Computer Science Algebraic Topology Primary: 18C50, 68Q25, 16T15. Secondary: 18D20, 03B70
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Rigidification of connective comodules
by: Péroux, Maximilien
Published: (2020)

Day algebras
by: Robinson, Edmund, et al.
Published: (2025)

The Simplicial Model of Univalent Foundations (after Voevodsky)
by: Kapulkin, Chris, et al.
Published: (2012)

A monoidal Dold-Kan correspondence for comodules
by: Péroux, Maximilien
Published: (2021)

Trace methods for coHochschild homology
by: Klanderman, Sarah, et al.
Published: (2023)

An Internal Logic of Virtual Double Categories
by: Nasu, Hayato
Published: (2024)

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

First-order homotopical logic
by: Helfer, Joseph
Published: (2019)

Exponentiable functors between synthetic $\infty$-categories
by: Bardomiano-Martínez, César
Published: (2024)

Hochschild cohomology and extensions of triangulated categories
by: Lehmann, Alessandro, et al.
Published: (2025)

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

Multiplicative structures on comodules in higher categories
by: Torii, Takeshi
Published: (2025)

A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)

Universal truth of operator statements via ideal membership
by: Hofstadler, Clemens, et al.
Published: (2022)

Functor calculus via non-cubes
by: Stoll, Robin
Published: (2022)

On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)

Measure theory via Locales
by: Lehner, Georg
Published: (2025)

On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022)

2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)

Term rewriting on nestohedra
by: Curien, Pierre-Louis, et al.
Published: (2024)

$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)

Some Properties of Internal Locale Morphisms Externalised
by: Wrigley, Joshua
Published: (2023)

On abstract and concrete minions
by: Juhrich, Lukas
Published: (2025)

Coalgebraic $K$-theory
by: Gerhardt, Teena, et al.
Published: (2025)

Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)

Absolute algebras, contramodules, and duality squares
by: Lucio, Victor Roca i
Published: (2022)

On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)

Atomic Toposes with Co-Well-Founded Categories of Atoms
by: Marquès, Jérémie
Published: (2024)

Obstructions for Associativity in Stable Homotopy Theory
by: Willumsgaard, Sophus Valentin
Published: (2026)

Definable functors and Brown--Adams representability
by: Bird, Isaac
Published: (2026)

Modular operads, iterated distributive laws and a nerve theorem for circuit algebras
by: Raynor, Sophie
Published: (2024)

On topological groupoids that represent theories
by: Wrigley, Joshua
Published: (2023)

Universal property of the Bousfield--Kuhn functor
by: Shi, Yuqing
Published: (2024)

Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)

Templicial nerve of an A-infinity category
by: Marques, Violeta Borges, et al.
Published: (2024)

Homotopical commutative rings and bispans
by: Cnossen, Bastiaan, et al.
Published: (2024)

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

A minimal model for prestacks and morphisms of operadic algebras via Koszul duality for box operads
by: Hermans, Lander
Published: (2023)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
by: Inoué, Takao
Published: (2026)

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)