Buchumschlag

Discrete equational theories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rosický, Jiří
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Category Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Discrete Lawvere theories and monads
von: Rosický, Jiří
Veröffentlicht: (2024)

Enriched purity and presentability in Banach spaces
von: Rosický, Jiří
Veröffentlicht: (2022)

Enriched concepts of regular logic
von: Rosický, Jiří, et al.
Veröffentlicht: (2024)

Are chain-complete posets co-wellpowered?
von: Jurka, Jan, et al.
Veröffentlicht: (2020)

Unstable independence from the categorical point of view
von: Kamsma, Mark, et al.
Veröffentlicht: (2023)

Enriched Locally Generated Categories
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2020)

Fibrantly generated weak factorization systems
von: Cox, Sean, et al.
Veröffentlicht: (2022)

Enriched positive logic
von: Rosický, Jiří, et al.
Veröffentlicht: (2025)

Lifting independence along functors
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Towards enriched universal algebra
von: Rosický, Jiří, et al.
Veröffentlicht: (2023)

Notions of enriched purity
von: Rosický, Jiří, et al.
Veröffentlicht: (2023)

Discrete differential geometry in homotopy type theory
von: Langmead, Greg
Veröffentlicht: (2025)

Diagrammatic category theory
von: Nakahira, Kenji
Veröffentlicht: (2023)

The theory and applications of anticolimits
von: Tataru, Calin, et al.
Veröffentlicht: (2024)

Categories which are varieties of classical or ordered algebras
von: Adamek, Jiri
Veröffentlicht: (2024)

Distributive laws for Lawvere theories
von: Cheng, Eugenia
Veröffentlicht: (2011)

Calculating monad transformers with category theory
von: Manzyuk, Oleksandr
Veröffentlicht: (2025)

Some aspects of descent theory and applications
von: Prezado, Rui
Veröffentlicht: (2025)

Every theory is eventually of presheaf type
von: Espíndola, Christian, et al.
Veröffentlicht: (2023)

Building pretorsion theories from torsion theories
von: Campanini, Federico, et al.
Veröffentlicht: (2023)

The diagrammatic presentation of equations in categories
von: Arlin, Kevin, et al.
Veröffentlicht: (2024)

Towards a double operadic theory of systems
von: Libkind, Sophie, et al.
Veröffentlicht: (2025)

Relative cluster tilting theory and $τ$-tilting theory
von: Liu, Yu, et al.
Veröffentlicht: (2024)

Polynomials in homotopy type theory as a Kleisli category
von: Harington, Elies, et al.
Veröffentlicht: (2024)

Polynomial functors in π-clans for the semantics of type theory
von: Hua, Joseph, et al.
Veröffentlicht: (2026)

Clock systems for stochastic and non-deterministic categorical systems theories
von: Lynch, Owen, et al.
Veröffentlicht: (2026)

Enriched Morita theory of monoids in a closed symmetric monoidal category
von: Lee, Jaehyeok, et al.
Veröffentlicht: (2023)

A monoidal category of dependently sorted algebraic theories II: categorical aspects
von: Almeida, Daniel
Veröffentlicht: (2026)

Bass-Serre theory for groupoids
von: Verme, Giulia dal, et al.
Veröffentlicht: (2021)

Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory
von: Ikebuchi, Mirai
Veröffentlicht: (2026)

Extriangulated length categories: torsion classes and $τ$-tilting theory
von: Wang, Li, et al.
Veröffentlicht: (2025)

Deformations of homotopy theories via algebraic theories
von: Balderrama, William
Veröffentlicht: (2021)

Terminal Coalgebras in Countably Many Steps
von: Adámek, Jiří, et al.
Veröffentlicht: (2023)

Stable first order theories as simplicial profinite sets
von: Gavrilovich, Misha
Veröffentlicht: (2025)

Discreteness and completeness for $Θ_n$-models of $(\infty,n)$-categories
von: Bergner, Julia E.
Veröffentlicht: (2022)

Varieties of quantitative algebras as categories
von: Adamek, Jiri
Veröffentlicht: (2024)

A monoidal category of dependently sorted algebraic theories I: syntax
von: Almeida, Daniel
Veröffentlicht: (2025)

Overlap Algebras as Almost Discrete Locales
von: Ciraulo, Francesco
Veröffentlicht: (2016)

Internal higher topos theory
von: Martini, Louis, et al.
Veröffentlicht: (2023)

Sweedler theory for double categories
von: Aravantinos-Sotiropoulos, Vasileios, et al.
Veröffentlicht: (2024)