:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Prezado, Rui
Format:	Preprint
Published:	2025
Subjects:	Category Theory
Online Access:	https://arxiv.org/abs/2502.09337
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On effective descent $\mathcal V$-functors and familial descent morphisms
by: Prezado, Rui
Published: (2023)

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

Generalized multicategories: change-of-base, embedding, and descent
by: Prezado, Rui, et al.
Published: (2023)

Lax comma categories: cartesian closedness, extensivity, topologicity, and descent
by: Clementino, Maria Manuel, et al.
Published: (2024)

A monoidal category of dependently sorted algebraic theories II: categorical aspects
by: Almeida, Daniel
Published: (2026)

The theory and applications of anticolimits
by: Tataru, Calin, et al.
Published: (2024)

$(\infty,2)$-Topoi and descent
by: Abellán, Fernando, et al.
Published: (2024)

Some topological aspects of a general spectra construction of Matsui and Takahashi
by: Yu, Xuan
Published: (2025)

Enriched aspects of calculus of relations and $2$-permutability
by: Clementino, Maria Manuel, et al.
Published: (2024)

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

Enriched categorical aspects of homological perturbation theory
by: Vokřínek, Lukáš
Published: (2024)

Galois descent for motivic theories
by: Kahn, Bruno
Published: (2023)

Discrete equational theories
by: Rosický, Jiří
Published: (2022)

Diagrammatic category theory
by: Nakahira, Kenji
Published: (2023)

Building pretorsion theories from torsion theories
by: Campanini, Federico, et al.
Published: (2023)

Plus constructions, plethysm, and unique factorization categories with applications to graphs and operad-like theories
by: Kaufmann, Ralph M., et al.
Published: (2022)

Distributive laws for Lawvere theories
by: Cheng, Eugenia
Published: (2011)

Discrete Lawvere theories and monads
by: Rosický, Jiří
Published: (2024)

Relative cluster tilting theory and $τ$-tilting theory
by: Liu, Yu, et al.
Published: (2024)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Calculating monad transformers with category theory
by: Manzyuk, Oleksandr
Published: (2025)

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

Cyclic polytopes, orientals, and correspondences: some aspects of higher Segal spaces
by: Dyckerhoff, Tobias
Published: (2025)

Towards a double operadic theory of systems
by: Libkind, Sophie, et al.
Published: (2025)

Relative ideals in homological categories, with an application to MV-algebras
by: Lapenta, Serafina, et al.
Published: (2022)

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

Polynomial functors in π-clans for the semantics of type theory
by: Hua, Joseph, et al.
Published: (2026)

Bass-Serre theory for groupoids
by: Verme, Giulia dal, et al.
Published: (2021)

Lambda-pure global dimension of Grothendieck categories and some applications
by: Wang, Xi, et al.
Published: (2024)

Parametrised noncommutative motives and equivariant cubical descent in algebraic K-theory
by: Hilman, Kaif
Published: (2022)

Clock systems for stochastic and non-deterministic categorical systems theories
by: Lynch, Owen, et al.
Published: (2026)

Enriched Morita theory of monoids in a closed symmetric monoidal category
by: Lee, Jaehyeok, et al.
Published: (2023)

Many-valued aspects of tense an related operators
by: Botur, Michal, et al.
Published: (2025)

Extriangulated length categories: torsion classes and $τ$-tilting theory
by: Wang, Li, et al.
Published: (2025)

Deformations of homotopy theories via algebraic theories
by: Balderrama, William
Published: (2021)

Stable first order theories as simplicial profinite sets
by: Gavrilovich, Misha
Published: (2025)

Duplicial functors, descent categories and generalized Hopf modules
by: Bartulović, Ivan, et al.
Published: (2025)

A monoidal category of dependently sorted algebraic theories I: syntax
by: Almeida, Daniel
Published: (2025)

Functors Preserving Effective Descent Morphisms
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Internal higher topos theory
by: Martini, Louis, et al.
Published: (2023)