Copertina

Polynomial functors in π-clans for the semantics of type theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hua, Joseph, Xu, Yiming
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Category Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Polynomials in homotopy type theory as a Kleisli category
di: Harington, Elies, et al.
Pubblicazione: (2024)

Polynomial functors over free nilpotent groups
di: Kim, Minkyu
Pubblicazione: (2025)

Ricci flow as functor
di: Plakhotnikov, Alexander
Pubblicazione: (2026)

Mackey functors from the viewpoint of double category theories
di: Wu, Mawei
Pubblicazione: (2025)

Taut functors and the difference operator
di: Paré, Robert
Pubblicazione: (2024)

PROPs associated to Lawvere theories and their relation to polynomial functors
di: Kim, Minkyu
Pubblicazione: (2024)

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

The root functor
di: Pratali, Francesca
Pubblicazione: (2025)

Monadic aspects of the ideal lattice functor on the category of distributive lattices
di: Razafindrakoto, Ando
Pubblicazione: (2024)

On the straightening of every functor
di: Blom, Thomas
Pubblicazione: (2024)

Every theory is eventually of presheaf type
di: Espíndola, Christian, et al.
Pubblicazione: (2023)

Cohomological Mackey 2-functors
di: Balmer, Paul, et al.
Pubblicazione: (2021)

Kleisli semantics and hypergraph composition for Greimasian narrative programs
di: Fowler, Michael
Pubblicazione: (2026)

The spectrum of excisive functors
di: Arone, Gregory, et al.
Pubblicazione: (2024)

Replacing functors with enriched ones
di: Blom, Thomas
Pubblicazione: (2022)

Singular equivalences of functor categories via Auslander-Buchweitz approximations
di: Ogawa, Yasuaki
Pubblicazione: (2018)

Flat functors in the context of fibration categories
di: Cherradi, El Mehdi
Pubblicazione: (2026)

Internal geometry and functors between sites
di: Waldorf, Konrad
Pubblicazione: (2024)

On the normal functor in the category of smooth vector bundles
di: Kohal, Quentin Karegar Baneh
Pubblicazione: (2026)

The Born rule as a natural transformation of functors
di: Yang, Boyu, et al.
Pubblicazione: (2025)

Fully faithful functors and pushouts of $\infty$-categories
di: Haine, Peter J., et al.
Pubblicazione: (2025)

Relative fixed points of functors
di: Schoen, Ezra, et al.
Pubblicazione: (2023)

Brown functors of directed graphs
di: Liao, Hsuan-Yi, et al.
Pubblicazione: (2025)

Generalization of formal monad theory to lax functors
di: Hirata, Kengo
Pubblicazione: (2023)

Homological epimorphisms in functor categories and singularity categories
di: Gutiérrez, Juan Andrés Orozco, et al.
Pubblicazione: (2025)

Permutation modules, Mackey functors, and Artin motives
di: Balmer, Paul, et al.
Pubblicazione: (2021)

Internalizations of decorated bicategories via $π_2$-indexings
di: Orendain, Juan, et al.
Pubblicazione: (2023)

Homological full-and-faithfulness of comodule inclusion and contramodule forgetful functors
di: Positselski, Leonid
Pubblicazione: (2023)

A point-free approach to the Nakaoka spectrum of a Tambara functor
di: Heard, Drew
Pubblicazione: (2026)

Grothendieck-Verdier module categories, Frobenius algebras and relative Serre functors
di: Fuchs, Jürgen, et al.
Pubblicazione: (2024)

Six-Functor Formalisms I : Constructing functors using category of simplices
di: Chowdhury, Chirantan
Pubblicazione: (2023)

Comparing dg category models for path spaces via $A_\infty$-functors
di: Rivera, Manuel, et al.
Pubblicazione: (2025)

Mixed graded structure on Chevalley-Eilenberg functors
di: Pavia, Emanuele
Pubblicazione: (2022)

$R\text{-}\mathrm{Mod}$-enriched categories are left $\underline{R}$-module objects of $Cat(\mathbb{A}\mathrm{b})$ and $Cat(\mathbb{A}\mathrm{b})$-enriched functors
di: Doni, Matteo
Pubblicazione: (2024)

Discrete differential geometry in homotopy type theory
di: Langmead, Greg
Pubblicazione: (2025)

Higher-Order DisCoCat (Peirce-Lambek-Montague semantics)
di: Toumi, Alexis, et al.
Pubblicazione: (2023)

Homomorphisms of topological rings and change-of-scalar functors
di: Positselski, Leonid
Pubblicazione: (2026)

The category of $π$-finite spaces
di: Anel, Mathieu
Pubblicazione: (2021)

Continuous six-functor formalism on locally compact Hausdorff spaces
di: Zhu, Qingchong
Pubblicazione: (2025)

Discrete equational theories
di: Rosický, Jiří
Pubblicazione: (2022)