Copertina

The List Object Endofunctor is Polynomial

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Desrochers, Samuel
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Category Theory 18A40, 18B50, 03G30
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The elementary theory of the 2-category of small categories
di: Hughes, Calum, et al.
Pubblicazione: (2024)

Non-Standard Models of Homotopy Type Theory
di: Rasekh, Nima
Pubblicazione: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
di: Rasekh, Nima
Pubblicazione: (2025)

Arrow algebras
di: Berg, Benno van den, et al.
Pubblicazione: (2023)

The algebraic internal groupoid model of Martin-Löf type theory
di: Hughes, Calum
Pubblicazione: (2025)

Craig Interpolation for Subgeometric Logics
di: Di Liberti, Ivan, et al.
Pubblicazione: (2026)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
di: Maietti, Maria Emilia, et al.
Pubblicazione: (2025)

The cohomology objects of a semi-abelian variety are small
di: Mattenet, Sébastien, et al.
Pubblicazione: (2024)

Bi-directional models of `radically synthetic' differential geometry
di: Menni, Matías
Pubblicazione: (2024)

On the theories classified by an étendue
di: Wrigley, Joshua
Pubblicazione: (2025)

Logical Aspects of Virtual Double Categories
di: Nasu, Hayato
Pubblicazione: (2025)

Formalizing colimits in Cat
di: Carneiro, Mario, et al.
Pubblicazione: (2025)

Biased elementary doctrines and quotient completions
di: Cioffo, Cipriano Junior
Pubblicazione: (2023)

Algebraic Type Theory, Part 1: Martin-Löf algebras
di: Awodey, Steve
Pubblicazione: (2025)

Simplicial Perspectives on (Pseudo) Effect Algebras
di: Lachman, Dominik
Pubblicazione: (2025)

The history of the General Adjoint Functor Theorem
di: Porst, Hans-E.
Pubblicazione: (2023)

$(\infty,1)$-Categorical Comprehension Schemes
di: Stenzel, Raffael
Pubblicazione: (2020)

A Categorical Generalization of Counterpoint
di: Agustín-Aquino, Octavio A., et al.
Pubblicazione: (2018)

A topos for extended Weihrauch degrees
di: Maschio, Samuele, et al.
Pubblicazione: (2025)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
di: Spadetto, Matteo
Pubblicazione: (2025)

A category of arrow algebras for modified realizability
di: Tarantino, Umberto
Pubblicazione: (2024)

Topoi with enough points
di: Di Liberti, Ivan, et al.
Pubblicazione: (2024)

The snail lemma and the long homology sequence
di: González, Julia Ramos, et al.
Pubblicazione: (2025)

Type Theory for the Working Mathematical Music Theorist
di: Flieder, Drew
Pubblicazione: (2025)

Effective descent morphisms of ordered families
di: Clementino, Maria Manuel, et al.
Pubblicazione: (2024)

Dose-Escalation Trial Protocols that Extend Naturally to Admit Titration
di: Norris, David C.
Pubblicazione: (2025)

Stratified Toposes
di: Zwanziger, Colin
Pubblicazione: (2024)

Kripke-Joyal forcing for type theory and uniform fibrations
di: Awodey, S., et al.
Pubblicazione: (2021)

Homological Lemmas in a Non-pointed Context
di: Cappelletti, Andrea, et al.
Pubblicazione: (2024)

Tininess and right adjoints to exponentials
di: Hernández, Enrique Ruiz, et al.
Pubblicazione: (2026)

Very-Well-Behaved Epireflections for Categories of Models of Sketches
di: Xarez, João J.
Pubblicazione: (2025)

Cartesian double theories: A double-categorical framework for categorical doctrines
di: Lambert, Michael, et al.
Pubblicazione: (2023)

On extensivity of morphisms
di: Hoefnagel, Michael, et al.
Pubblicazione: (2025)

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
di: Kamio, Yuhi, et al.
Pubblicazione: (2024)

A comonad for Grothendieck fibrations
di: Emmenegger, Jacopo, et al.
Pubblicazione: (2023)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
di: Lambert, Michael J.
Pubblicazione: (2024)

Generalized Rank via Minimal Subposet
di: Brüstle, Thomas, et al.
Pubblicazione: (2025)

A $j$-translation with Kripke forcing relation
di: Nakata, Satoshi
Pubblicazione: (2026)

Sites and Grothendieck toposes: an introduction
di: Caramello, Olivia, et al.
Pubblicazione: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
di: Caramello, Olivia, et al.
Pubblicazione: (2025)