:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Russo, Ciro
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic Category Theory
Online-Zugang:	https://arxiv.org/abs/2508.19426
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

Universal categories
von: Schoutens, Hans
Veröffentlicht: (2025)

A monoidal category of dependently sorted algebraic theories I: syntax
von: Almeida, Daniel
Veröffentlicht: (2025)

The $\infty$-category of $\infty$-categories in simplicial type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2026)

Higher presentable categories and limits
von: Aoki, Ko
Veröffentlicht: (2025)

Invertible cells in $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2024)

The internal languages of univalent categories
von: van der Weide, Niels
Veröffentlicht: (2024)

Hofmann-Streicher lifting of fibred categories
von: Slattery, Andrew, et al.
Veröffentlicht: (2025)

Unbiasing symmetric monoidal categories in Lean
von: Carlier, Robin
Veröffentlicht: (2026)

Monoidal categories graded by partial commutative monoids
von: Earnshaw, Matthew, et al.
Veröffentlicht: (2026)

A type-theoretic approach to semistrict higher categories
von: Rice, Alex
Veröffentlicht: (2025)

A type theory for invertibility in weak $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2026)

Internal languages of locally cartesian closed $(\infty,1)$-categories
von: Cherradi, El Mehdi
Veröffentlicht: (2025)

Between Markov and restriction: Two more monads on categories for relations
von: Cioffo, Cipriano Junior, et al.
Veröffentlicht: (2025)

Monoidal weak omega-categories as models of a type theory
von: Benjamin, Thibaut
Veröffentlicht: (2021)

Globular weak $ω$-categories as models of a type theory
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2021)

homotopy.io: a proof assistant for finitely-presented globular $n$-categories
von: Corbyn, Nathan, et al.
Veröffentlicht: (2024)

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

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

Presentation of finite Reedy categories as localizations of finite direct categories
von: Sato, Genki
Veröffentlicht: (2025)

Various topos of types constructions
von: Kanalas, Kristóf
Veröffentlicht: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
von: Reizi, Higuchi Joaquim
Veröffentlicht: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
von: Rogozin, Daniel
Veröffentlicht: (2025)

A constructive approach to the double-categorical small object argument
von: Berg, Benno van den, et al.
Veröffentlicht: (2025)

Stable first order theories as simplicial profinite sets
von: Gavrilovich, Misha
Veröffentlicht: (2025)

De Morgan's law in toposes I
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Finite coproducts, coregularity and coexactness for profinite interior algebras
von: De Berardinis, Matteo
Veröffentlicht: (2025)

What can Topology tell us about Logical Complexity?
von: Kihara, Takayuki, et al.
Veröffentlicht: (2026)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
von: Abramsky, Samson, et al.
Veröffentlicht: (2022)

Pure maps are strict monomorphisms
von: Kanalas, Kristóf
Veröffentlicht: (2024)

Weak saturation and weak amalgamation property
von: Di Liberti, Ivan
Veröffentlicht: (2017)

Formal Model Theory & Higher Topology
von: Di Liberti, Ivan
Veröffentlicht: (2020)

Quasitoposes as elementary quotient completions
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2021)

Adding a constant and an axiom to a doctrine
von: Guffanti, Francesca
Veröffentlicht: (2023)

A note on computable étale spaces
von: de Brecht, Matthew
Veröffentlicht: (2026)

Duality for coalgebras for Vietoris and monadicity
von: Abbadini, Marco, et al.
Veröffentlicht: (2023)

Positively closed $Sh(B)$-valued models
von: Kanalas, Kristóf
Veröffentlicht: (2024)

Rich doctrines and Henkin's Theorem
von: Guffanti, Francesca
Veröffentlicht: (2023)

Condensed Sets and the Solovay Model
von: Bannister, Nathaniel, et al.
Veröffentlicht: (2026)