Cover Image

A monoidal category of dependently sorted algebraic theories I: syntax

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Almeida, Daniel
Format:	Preprint
Published:	2025
Subjects:	Category Theory Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A monoidal category of dependently sorted algebraic theories II: categorical aspects
by: Almeida, Daniel
Published: (2026)

Unbiasing symmetric monoidal categories in Lean
by: Carlier, Robin
Published: (2026)

Monoidal categories graded by partial commutative monoids
by: Earnshaw, Matthew, et al.
Published: (2026)

The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)

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

Universal categories
by: Schoutens, Hans
Published: (2025)

The category of propositional deductive systems
by: Russo, Ciro
Published: (2025)

A type theory for invertibility in weak $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2026)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

Etale algebras over finite Heyting algebras
by: Evgeny, Kuznetsov
Published: (2024)

Monoidal weak omega-categories as models of a type theory
by: Benjamin, Thibaut
Published: (2021)

Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)

Formalization of dependent type theory: The example of CaTT
by: Benjamin, Thibaut
Published: (2021)

Finite coproducts, coregularity and coexactness for profinite interior algebras
by: De Berardinis, Matteo
Published: (2025)

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

Stable first order theories as simplicial profinite sets
by: Gavrilovich, Misha
Published: (2025)

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

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

De Morgan's law in toposes I
by: Caramello, Olivia, et al.
Published: (2025)

Higher presentable categories and limits
by: Aoki, Ko
Published: (2025)

Invertible cells in $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2024)

The internal languages of univalent categories
by: van der Weide, Niels
Published: (2024)

A type-theoretic approach to semistrict higher categories
by: Rice, Alex
Published: (2025)

Hofmann-Streicher lifting of fibred categories
by: Slattery, Andrew, et al.
Published: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
by: Rogozin, Daniel
Published: (2025)

Elementary $\infty$-toposes from type theory
by: Apol, Daniël, et al.
Published: (2025)

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

Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)

Yet another cubical type theory, but via a semantic approach
by: Kapulkin, Chris, et al.
Published: (2025)

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

Between Markov and restriction: Two more monads on categories for relations
by: Cioffo, Cipriano Junior, et al.
Published: (2025)

An extension of Priestley duality to fuzzy topologies and positive MV-algebras
by: Ortiz, Marby Zuley Bolaños, et al.
Published: (2025)

A category of arrow algebras for modified realizability
by: Tarantino, Umberto
Published: (2024)

homotopy.io: a proof assistant for finitely-presented globular $n$-categories
by: Corbyn, Nathan, et al.
Published: (2024)

Enriched Morita theory of monoids in a closed symmetric monoidal category
by: Lee, Jaehyeok, et al.
Published: (2023)

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

Division algebras in monoidal categories
by: Kesten, Jacob, et al.
Published: (2025)

A note on computable étale spaces
by: de Brecht, Matthew
Published: (2026)

Strict universes for Grothendieck topoi
by: Gratzer, Daniel, et al.
Published: (2022)

A constructive approach to the double-categorical small object argument
by: Berg, Benno van den, et al.
Published: (2025)