Copertina

Clones, closed categories, and combinatory logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Saville, Philip
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Category Theory 18D15
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads
di: Paquet, Hugo, et al.
Pubblicazione: (2023)

Monoidal bicategories, differential linear logic, and analytic functors
di: Fiore, M., et al.
Pubblicazione: (2024)

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

Logic and Concepts in the 2-category of Topoi
di: Di Liberti, Ivan, et al.
Pubblicazione: (2025)

Monads in 2-categories
di: Fairbanks, Aaron David
Pubblicazione: (2026)

Many-valued coalgebraic logic over semi-primal varieties
di: Kurz, Alexander, et al.
Pubblicazione: (2023)

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

LNL polycategories and doctrines of linear logic
di: Shulman, Michael
Pubblicazione: (2021)

Higher inductive types in $(\infty,1)$-categories
di: Uemura, Taichi
Pubblicazione: (2024)

Bicategories of algebras for relative pseudomonads
di: Arkor, Nathanael, et al.
Pubblicazione: (2025)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
di: Nunes, Fernando Lucatelli, et al.
Pubblicazione: (2024)

Fixpoint constructions in focused orthogonality models of linear logic
di: Fiore, Marcelo, et al.
Pubblicazione: (2023)

Substructural fixed-point theorems and the diagonal argument: theme and variations
di: Roberts, David Michael
Pubblicazione: (2021)

Hereditarily indecomposable continua as generic mathematical structures
di: Bartoš, Adam, et al.
Pubblicazione: (2022)

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

The internal languages of univalent categories
di: van der Weide, Niels
Pubblicazione: (2024)

Hom $ω$-categories of a computad are free
di: Benjamin, Thibaut, et al.
Pubblicazione: (2024)

A categorical account of composition methods in logic (extended version)
di: Jakl, Tomáš, et al.
Pubblicazione: (2024)

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

Unbiasing symmetric monoidal categories in Lean
di: Carlier, Robin
Pubblicazione: (2026)

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

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

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

Introductory notes on real-enriched categories
di: Zhang, Dexue
Pubblicazione: (2024)

Monoidal Context Theory
di: Román, Mario
Pubblicazione: (2024)

Effectful Mealy Machines
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)

Timing via Pinwheel Double Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2025)

Partial Markov Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2025)

Limits in dagger categories
di: Heunen, Chris, et al.
Pubblicazione: (2018)

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

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

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

Exponentiable virtual double categories and presheaves for double categories
di: Arkor, Nathanael
Pubblicazione: (2025)

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

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

Gödel coding on fibrations and geminal categories
di: Ikeda, Yuto
Pubblicazione: (2026)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
di: Malbos, Philippe, et al.
Pubblicazione: (2024)

A note on the definition of derived functors
di: Schwarz, João
Pubblicazione: (2025)

First-order homotopical logic
di: Helfer, Joseph
Pubblicazione: (2019)