Image de couverture de livre

Enriched concepts of regular logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rosický, Jiří, Tendas, Giacomo
Format:	Preprint
Publié:	2024
Sujets:	Category Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Enriched positive logic
par: Rosický, Jiří, et autres
Publié: (2025)

Towards enriched universal algebra
par: Rosický, Jiří, et autres
Publié: (2023)

Notions of enriched purity
par: Rosický, Jiří, et autres
Publié: (2023)

Enriched purity and presentability in Banach spaces
par: Rosický, Jiří
Publié: (2022)

Enriched Locally Generated Categories
par: Di Liberti, Ivan, et autres
Publié: (2020)

On enriched terms and 2-categorical universal algebra
par: Tendas, Giacomo
Publié: (2025)

Discrete Lawvere theories and monads
par: Rosický, Jiří
Publié: (2024)

Discrete equational theories
par: Rosický, Jiří
Publié: (2022)

Are chain-complete posets co-wellpowered?
par: Jurka, Jan, et autres
Publié: (2020)

Unstable independence from the categorical point of view
par: Kamsma, Mark, et autres
Publié: (2023)

Fibrantly generated weak factorization systems
par: Cox, Sean, et autres
Publié: (2022)

More on soundness in the enriched context
par: Tendas, Giacomo
Publié: (2024)

Dualities in the theory of accessible categories
par: Tendas, Giacomo
Publié: (2023)

Lifting independence along functors
par: Kamsma, Mark, et autres
Publié: (2024)

Enriched bi(co)ends
par: Carissimi, Nicola
Publié: (2025)

Enriched aspects of calculus of relations and $2$-permutability
par: Clementino, Maria Manuel, et autres
Publié: (2024)

Tricategorical Universal Properties Via Enriched Homotopy Theory
par: Miranda, Adrian
Publié: (2024)

Enriched Morita theory of monoids in a closed symmetric monoidal category
par: Lee, Jaehyeok, et autres
Publié: (2023)

Canonical Extensions of Quantale-Enriched Categories
par: Kurz, Alexander, et autres
Publié: (2026)

Univalent Enriched Categories and the Enriched Rezk Completion
par: van der Weide, Niels
Publié: (2024)

Enriched monoidal categories I: centers
par: Kong, Liang, et autres
Publié: (2021)

Enriched coverages and sheaves under change of base
par: Rosenfield, Ariel E.
Publié: (2024)

Naturality of the $\infty$-Categorical Enriched Yoneda Embedding
par: Ben-Moshe, Shay
Publié: (2023)

Enriched $\infty$-categories as marked module categories
par: Reutter, David, et autres
Publié: (2025)

Functoriality of Enriched Data Types
par: Mulder, Lukas, et autres
Publié: (2025)

HilbMult: A Banach-Enriched Multicategory for Operator Algebras
par: Chang, Shih-Yu
Publié: (2025)

Categories which are varieties of classical or ordered algebras
par: Adamek, Jiri
Publié: (2024)

Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm
par: Pugh, Matthew, et autres
Publié: (2023)

LNL polycategories and doctrines of linear logic
par: Shulman, Michael
Publié: (2021)

Enriching Disentanglement: From Logical Definitions to Quantitative Metrics
par: Zhang, Yivan, et autres
Publié: (2023)

Fixpoint constructions in focused orthogonality models of linear logic
par: Fiore, Marcelo, et autres
Publié: (2023)

A categorical account of composition methods in logic (extended version)
par: Jakl, Tomáš, et autres
Publié: (2024)

Tensor Enriched Categorical Generalization of the Eilenberg-Watts Theorem
par: Lee, Jaehyeok
Publié: (2023)

Residual regularity in tensor triangular geometry
par: Van Rooy, Emmy
Publié: (2026)

Terminal Coalgebras in Countably Many Steps
par: Adámek, Jiří, et autres
Publié: (2023)

Varieties of quantitative algebras as categories
par: Adamek, Jiri
Publié: (2024)

The Rouquier dimension of the category of perfect complexes over a regular ring
par: Letz, Janina C.
Publié: (2025)

Many-valued coalgebraic logic over semi-primal varieties
par: Kurz, Alexander, et autres
Publié: (2023)

Clones, closed categories, and combinatory logic
par: Saville, Philip
Publié: (2024)

Eulerian magnitude homology: diagonality, injective words, and regular path homology
par: Caputi, Luigi, et autres
Publié: (2025)