:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Schwarz, João
Format:	Preprint
Published:	2025
Subjects:	Category Theory Logic 18A15, 18E10, 18G10
Online Access:	https://arxiv.org/abs/2501.15779
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Non-additive derived functors via chain resolutions
by: Culot, Maxime, et al.
Published: (2024)

Recollements, coproducts and products in extriangulated categories
by: Argudín-Monroy, Alejandro, et al.
Published: (2025)

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

Closing the category of finitely presented functors under images made constructive
by: Posur, Sebastian
Published: (2019)

Model structures on triangulated categories with proper class of triangles
by: Cui, Jian, et al.
Published: (2025)

A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)

An elementary proof of a criterion for subfunctors of Ext to be closed
by: Cala, Juan Camilo
Published: (2024)

Galois theory and homology in quasi-abelian functor categories
by: Egner, Nadja
Published: (2024)

Sketches and Classifying Logoi
by: Di Liberti, Ivan, et al.
Published: (2024)

Injectivity paucity in AB5 categories of oversize chains
by: Chirvasitu, Alexandru
Published: (2026)

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

The resolving completion of an exact category
by: Lawson, Marianne, et al.
Published: (2026)

Definable functors between triangulated categories
by: Bird, Isaac, et al.
Published: (2023)

Localization of triangulated categories with respect to extension-closed subcategories
by: Ogawa, Yasuaki
Published: (2022)

Generalization of formal monad theory to lax functors
by: Hirata, Kengo
Published: (2023)

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

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

Transport of structure in higher homological algebra
by: Bennett-Tennenhaus, Raphael, et al.
Published: (2020)

Comonadic approach to pretorsion theories
by: Caviglia, Elena, et al.
Published: (2026)

Projective crossed modules in semi-abelian categories
by: Culot, Maxime
Published: (2025)

Hearts of set-generated t-structures have a set of generators
by: Saorín, Manuel
Published: (2024)

Exact weights and path metrics for triangulated categories and the derived category of persistence modules
by: Bubenik, Peter, et al.
Published: (2024)

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

Gorensteinness from duality pairs induced via Foxby equivalences
by: Becerril, Víctor, et al.
Published: (2025)

Double categories of relations relative to factorisation systems
by: Hoshino, Keisuke, et al.
Published: (2023)

Homotopical algebra is not concrete
by: Loregian, Fosco, et al.
Published: (2017)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

Hopf algebras are determined by their monoidal derived categories
by: Xu, Yuying, et al.
Published: (2025)

Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)

Entwined comodules and contramodules over coalgebras with several objects: Frobenius, separability and Maschke theorems
by: Banerjee, Abhishek, et al.
Published: (2024)

Homotopy Languages
by: Martínez, César Bardomiano, et al.
Published: (2025)

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
by: Mesiti, Luca
Published: (2023)

Stratifying systems and Jordan-Hölder extriangulated categories
by: Brüstle, Thomas, et al.
Published: (2022)

Quotients, pure existential completions and arithmetic universes
by: Maietti, Maria Emilia, et al.
Published: (2023)

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

Relativized universal algebra via partial Horn logic
by: Kawase, Yuto
Published: (2024)

Birkhoff's variety theorem for relative algebraic theories
by: Kawase, Yuto
Published: (2023)

Bicategories of Lax Fractions
by: Manuell, Graham, et al.
Published: (2025)

Profinite Cosheaves Valued in Pro-regular Categories
by: Tang, Jiacheng
Published: (2026)

A note on the bicategory of Landau-Ginzburg models (LGk)
by: Fomatati, Yves Baudelaire
Published: (2023)