:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Almeida, Daniel
Format:	Preprint
Publié:	2025
Sujets:	Category Theory Logic
Accès en ligne:	https://arxiv.org/abs/2511.13547
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A monoidal category of dependently sorted algebraic theories II: categorical aspects
par: Almeida, Daniel
Publié: (2026)

Unbiasing symmetric monoidal categories in Lean
par: Carlier, Robin
Publié: (2026)

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

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

A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories
par: Vienney, Jean-Baptiste
Publié: (2023)

Universal categories
par: Schoutens, Hans
Publié: (2025)

A type theory for invertibility in weak $ω$-categories
par: Benjamin, Thibaut, et autres
Publié: (2026)

The category of propositional deductive systems
par: Russo, Ciro
Publié: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
par: Spadetto, Matteo
Publié: (2023)

Monoidal weak omega-categories as models of a type theory
par: Benjamin, Thibaut
Publié: (2021)

Globular weak $ω$-categories as models of a type theory
par: Benjamin, Thibaut, et autres
Publié: (2021)

Etale algebras over finite Heyting algebras
par: Evgeny, Kuznetsov
Publié: (2024)

Formalization of dependent type theory: The example of CaTT
par: Benjamin, Thibaut
Publié: (2021)

Double-functorial representation of regular monoidal structures
par: Siqueira, José
Publié: (2025)

Finite coproducts, coregularity and coexactness for profinite interior algebras
par: De Berardinis, Matteo
Publié: (2025)

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

Higher presentable categories and limits
par: Aoki, Ko
Publié: (2025)

Invertible cells in $ω$-categories
par: Benjamin, Thibaut, et autres
Publié: (2024)

The internal languages of univalent categories
par: van der Weide, Niels
Publié: (2024)

A type-theoretic approach to semistrict higher categories
par: Rice, Alex
Publié: (2025)

Fraïssé limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization
par: Russo, Ciro
Publié: (2025)

Stable first order theories as simplicial profinite sets
par: Gavrilovich, Misha
Publié: (2025)

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

A category of arrow algebras for modified realizability
par: Tarantino, Umberto
Publié: (2024)

De Morgan's law in toposes I
par: Caramello, Olivia, et autres
Publié: (2025)

Elementary $\infty$-toposes from type theory
par: Apol, Daniël, et autres
Publié: (2025)

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

Formalizing two-level type theory with cofibrant exo-nat
par: Uskuplu, Elif
Publié: (2023)

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

Internal languages of locally cartesian closed $(\infty,1)$-categories
par: Cherradi, El Mehdi
Publié: (2025)

Between Markov and restriction: Two more monads on categories for relations
par: Cioffo, Cipriano Junior, et autres
Publié: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
par: Rogozin, Daniel
Publié: (2025)

An extension of Priestley duality to fuzzy topologies and positive MV-algebras
par: Ortiz, Marby Zuley Bolaños, et autres
Publié: (2025)

homotopy.io: a proof assistant for finitely-presented globular $n$-categories
par: Corbyn, Nathan, et autres
Publié: (2024)

Logical relations for call-by-push-value models, via internal fibrations in a 2-category
par: de Amorim, Pedro H. Azevedo, et autres
Publié: (2025)

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

An algebra modality admitting countably many deriving transformations
par: Vienney, Jean-Baptiste
Publié: (2025)

Combining fixpoint and differentiation theory
par: Galal, Zeinab, et autres
Publié: (2024)

Higher geometric sheaf theories
par: Stenzel, Raffael
Publié: (2022)

Division algebras in monoidal categories
par: Kesten, Jacob, et autres
Publié: (2025)