Cover Image

Representing the language of a topos as quotient of the category of spans

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Golshani, M., Langari, A. Shiralinasab
Format:	Preprint
Published:	2022
Subjects:	Category Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Abelian quotients of categories of $n$-exangles
by: Zhou, Yutong
Published: (2025)

Various topos of types constructions
by: Kanalas, Kristóf
Published: (2025)

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

The internal languages of univalent categories
by: van der Weide, Niels
Published: (2024)

Dimension quotients as boundary limits
by: Mikhailov, Roman
Published: (2024)

Infinity-categorical universal properties of quotients and localizations of A-infinity-categories
by: Oh, Yong-Geun, et al.
Published: (2020)

Higher categories of push-pull spans, I: Construction and applications
by: Riva, Lorenzo
Published: (2024)

Cartesian differential categories as skew enriched categories
by: Garner, Richard, et al.
Published: (2020)

Quasitoposes as elementary quotient completions
by: Maietti, Maria Emilia, et al.
Published: (2021)

Normalization of a subgroup, in a topos, and of a word-congruence
by: Hora, Ryuya
Published: (2025)

Deconstructing span categories for profinite groups
by: Barnes, David, et al.
Published: (2026)

Monads on dagger categories
by: Heunen, Chris, et al.
Published: (2016)

Homotopical presentation of categories
by: Lee, Seunghun
Published: (2024)

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

Taming large categories
by: Kaledin, D.
Published: (2024)

On unification of categories associated with F -transforms and fuzzy pretopological spaces as Qua category
by: Tripathi, Abha, et al.
Published: (2025)

Regular categories, oligomorphic monoids, and tensor categories
by: Snowden, Andrew
Published: (2024)

Internal languages of locally cartesian closed $(\infty,1)$-categories
by: Cherradi, El Mehdi
Published: (2025)

Monobricks in extriangulated length categories
by: Mei, Yuxia, et al.
Published: (2025)

Pita factorisation in operadic categories
by: Batanin, Michael, et al.
Published: (2025)

The diagrammatic presentation of equations in categories
by: Arlin, Kevin, et al.
Published: (2024)

Reflective centers as categories of modules
by: Schauenburg, Peter
Published: (2025)

Para construction for double categories
by: Femić, Bojana
Published: (2025)

A convenient category of locales
by: Ghazel, Moncef, et al.
Published: (2025)

Abelian envelopes of exact categories and highest weight categories
by: Bodzenta, Agnieszka, et al.
Published: (2020)

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

Silting reduction and picture categories of 0-Auslander extriangulated categories
by: Børve, Erlend D.
Published: (2024)

The complicial model of $(\infty,ω)$-categories
by: Loubaton, Félix
Published: (2022)

Bi-accessible and bipresentable 2-categories
by: Di Liberti, Ivan, et al.
Published: (2022)

The category of formations of finite groups and topology
by: Garcia, Ismael Gutierrez, et al.
Published: (2026)

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

Abstract Kleisli Structures on 2-categories
by: Miranda, Adrian
Published: (2024)

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

Universal categories
by: Schoutens, Hans
Published: (2025)

Computads for weak $ω$-categories as an inductive type
by: Dean, Christopher J., et al.
Published: (2022)

Higher categories of push-pull spans, II: Matrix factorizations
by: Riva, Lorenzo
Published: (2024)

Revisiting colimits in $\mathbf{Cat}$ and homotopy category
by: Mann, Varinderjit
Published: (2026)

Quasi-resolving subcategories and dimensions in extriangulated categories
by: He, Zhenggang, et al.
Published: (2025)

A causal Markov category with Kolmogorov products
by: Moss, Sean, et al.
Published: (2025)

Homotopic morphisms and diagram theorems in extriangulated categories
by: Zhang, Chencheng, et al.
Published: (2026)