Copertina

The free bifibration on a functor

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Clarke, Bryce, Scherer, Gabriel, Zeilberger, Noam
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Category Theory Logic in Computer Science 18N10, 18D30, 03B47, 03F05
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

On a fibrational construction for optics, lenses, and Dialectica categories
di: Capucci, Matteo, 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)

The biequivalence of path categories and axiomatic Martin-Löf type theories
di: Otten, Daniël, et al.
Pubblicazione: (2025)

Coherence for logicians
di: Petric, Zoran, et al.
Pubblicazione: (2024)

Generalised ultracategories and conceptual completeness of geometric logic
di: Hamad, Ali
Pubblicazione: (2025)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
di: Frey, Jonas
Pubblicazione: (2023)

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

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

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

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

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
di: Inoué, Takao
Pubblicazione: (2026)

Internal 1-topoi in 2-topoi
di: Helfer, Joseph
Pubblicazione: (2024)

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

Profunctorial algebras
di: Aristote, Quentin, et al.
Pubblicazione: (2026)

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

Logical Structure on Inverse Functor Categories
di: Fiore, Marcelo, et al.
Pubblicazione: (2024)

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

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
di: van Woerkom, Wijnand, et al.
Pubblicazione: (2024)

Toposes with enough points as categories of étale spaces
di: van Gool, Sam, et al.
Pubblicazione: (2025)

Generalized Chevalley criteria in simplicial homotopy type theory
di: Weinberger, Jonathan
Pubblicazione: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
di: Weinberger, Jonathan
Pubblicazione: (2022)

Smooth and Proper Maps
di: Anel, Mathieu, et al.
Pubblicazione: (2024)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
di: Benjamin, Thibaut, et al.
Pubblicazione: (2025)

A Completeness Theorem for Topological Doctrines
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)

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

Extensional concepts in intensional type theory, revisited
di: Kapulkin, Chris, et al.
Pubblicazione: (2023)

Internal sums for synthetic fibered $(\infty,1)$-categories
di: Weinberger, Jonathan
Pubblicazione: (2022)

Infinitary combinatorics in condensed math and strong homology
di: Bergfalk, Jeffrey, et al.
Pubblicazione: (2024)

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

Poset-enriched pretoposes and compact ordered spaces
di: Marquès, Jérémie, et al.
Pubblicazione: (2025)

From Copying to Corelations via Ancestry Partitions
di: Santacana, Andreu Ballus
Pubblicazione: (2025)

The Sup Connective in IMALL: A Categorical Semantics
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)