:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Agustín-Aquino, Octavio A., Arias, Juan Sebastián, Hernández, Enrique Ruiz
Format:	Preprint
Veröffentlicht:	2018
Schlagworte:	Category Theory 00A65, 18B05, 03G30
Online-Zugang:	https://arxiv.org/abs/1810.00312
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Tininess and right adjoints to exponentials
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2026)

Connectedness through decidable quotients
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2023)

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

The List Object Endofunctor is Polynomial
von: Desrochers, Samuel
Veröffentlicht: (2025)

Bi-directional models of `radically synthetic' differential geometry
von: Menni, Matías
Veröffentlicht: (2024)

Cyclic Sieving for Strong Dichotomy Enumeration
von: Agustín-Aquino, Octavio A.
Veröffentlicht: (2026)

A category of arrow algebras for modified realizability
von: Tarantino, Umberto
Veröffentlicht: (2024)

Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

Evolution systems: A framework for studying generic mathematical structures
von: Kubiś, Wiesław, et al.
Veröffentlicht: (2021)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Arrow algebras
von: Berg, Benno van den, et al.
Veröffentlicht: (2023)

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)

Blues for Alice: The Interplay of Neo-Riemannian and Cadential Viewpoints
von: Agustín-Aquino, Octavio A.
Veröffentlicht: (2026)

Stratified Toposes
von: Zwanziger, Colin
Veröffentlicht: (2024)

On a fibrational construction for optics, lenses, and Dialectica categories
von: Capucci, Matteo, et al.
Veröffentlicht: (2024)

A $j$-translation with Kripke forcing relation
von: Nakata, Satoshi
Veröffentlicht: (2026)

$(\infty,1)$-Categorical Comprehension Schemes
von: Stenzel, Raffael
Veröffentlicht: (2020)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
von: Frey, Jonas
Veröffentlicht: (2023)

Categorical Ambidexterity
von: Ben-Moshe, Shay
Veröffentlicht: (2024)

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)

A foundation for deductive mathematics
von: Quinn, Frank
Veröffentlicht: (2021)

Extending conceptual completeness via virtual ultracategories
von: Saadia, Gabriel
Veröffentlicht: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Cartesian double theories: A double-categorical framework for categorical doctrines
von: Lambert, Michael, et al.
Veröffentlicht: (2023)

A Completeness Theorem for Topological Doctrines
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Categorical structure in coherent theory of arithmetic
von: Ye, Lingyuan
Veröffentlicht: (2023)

Topoi with enough points and topological groupoids
von: Wrigley, Joshua
Veröffentlicht: (2024)

Frobenius reciprocity, modular connections, lattice isomorphism theorem and abstract principal ideals
von: Goswami, Amartya, et al.
Veröffentlicht: (2025)

Existentially closed models and locally zero-dimensional toposes
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

On the limits of comparing subset sizes within $\mathbb{N}$
von: Wenmackers, Sylvia
Veröffentlicht: (2024)

Skolem, Gödel, and Hilbert fibrations
von: Trotta, Davide, et al.
Veröffentlicht: (2024)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
von: Inoué, Takao
Veröffentlicht: (2026)

Categorical-algebraic aspects of Heyting semilattices
von: García-Martínez, Xabier, et al.
Veröffentlicht: (2025)

The free bifibration on a functor
von: Clarke, Bryce, et al.
Veröffentlicht: (2025)

Anchored Planar Algebras and 3-Categorical Graphical Calculus
von: Hungar, Brett
Veröffentlicht: (2025)

Biased elementary doctrines and quotient completions
von: Cioffo, Cipriano Junior
Veröffentlicht: (2023)

Cells, convexity and contractibility in general categories
von: Das, Suddhasattwa
Veröffentlicht: (2026)

Sites and Grothendieck toposes: an introduction
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)