Fibrations of algebras
Fuente:
arXiv
Saved in:
| Main Authors: | Ahman, Danel, Coraglia, Greta, Castelnovo, Davide, Loregian, Fosco, Martins-Ferreira, Nelson, Reimaa, Ülo |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Two-dimensional transducers
by: Loregian, Fosco
Published: (2025)
by: Loregian, Fosco
Published: (2025)
Automata and coalgebras in categories of species
by: Loregian, Fosco
Published: (2024)
by: Loregian, Fosco
Published: (2024)
Monads and limits in bicategories of circuits
by: Loregian, Fosco
Published: (2025)
by: Loregian, Fosco
Published: (2025)
Escrows are optics
by: Genovese, Fabrizio, et al.
Published: (2021)
by: Genovese, Fabrizio, et al.
Published: (2021)
Comodule Representations of Second-Order Functionals
by: Ahman, Danel, et al.
Published: (2024)
by: Ahman, Danel, et al.
Published: (2024)
Combinatory Completeness in Structured Multicategories
by: Kuzmin, Ivan, et al.
Published: (2025)
by: Kuzmin, Ivan, et al.
Published: (2025)
Doctrinal Semantics of Directed First-Order Logic
by: Laretto, Andrea, et al.
Published: (2025)
by: Laretto, Andrea, et al.
Published: (2025)
Homotopical algebra is not concrete
by: Loregian, Fosco, et al.
Published: (2017)
by: Loregian, Fosco, et al.
Published: (2017)
Accessibility and presentability in 2-categories
by: Di Liberti, Ivan, et al.
Published: (2018)
by: Di Liberti, Ivan, et al.
Published: (2018)
Completeness for categories of generalized automata
by: Boccali, Guido, et al.
Published: (2023)
by: Boccali, Guido, et al.
Published: (2023)
Context, Judgement, Deduction
by: Coraglia, Greta, et al.
Published: (2021)
by: Coraglia, Greta, et al.
Published: (2021)
Di- is for Directed: First-Order Directed Type Theory via Dinaturality
by: Laretto, Andrea, et al.
Published: (2024)
by: Laretto, Andrea, et al.
Published: (2024)
On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories
by: Castelnovo, Davide, et al.
Published: (2024)
by: Castelnovo, Davide, et al.
Published: (2024)
Fibrations in Directed Type Theory
by: Lossin, Benno
Published: (2026)
by: Lossin, Benno
Published: (2026)
A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)
by: Coraglia, Greta, et al.
Published: (2024)
Weak and Strong Fibrations of Functors
by: Carcacía-Campos, Isaac, et al.
Published: (2026)
by: Carcacía-Campos, Isaac, et al.
Published: (2026)
Operadic Fibrations and Unary Operadic 2-categories
by: Trnka, Dominik
Published: (2024)
by: Trnka, Dominik
Published: (2024)
Profunctor Optics, a Categorical Update
by: Clarke, Bryce, et al.
Published: (2020)
by: Clarke, Bryce, et al.
Published: (2020)
Adjoint functor theorems for lax-idempotent pseudomonads
by: Arkor, Nathanael, et al.
Published: (2023)
by: Arkor, Nathanael, et al.
Published: (2023)
A Fibrational Theory of First Order Differential Structures
by: Capucci, Matteo, et al.
Published: (2024)
by: Capucci, Matteo, et al.
Published: (2024)
Approximate Fibrations in Higher Topos Theory
by: Kremer, Christian, et al.
Published: (2025)
by: Kremer, Christian, et al.
Published: (2025)
EGGs are adhesive!
by: Biondo, Roberto, et al.
Published: (2025)
by: Biondo, Roberto, et al.
Published: (2025)
Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)
by: Baldan, Paolo, et al.
Published: (2024)
Applied Category Theory in the Wolfram Language using Categorica I: Diagrams, Functors and Fibrations
by: Gorard, Jonathan
Published: (2024)
by: Gorard, Jonathan
Published: (2024)
Fibrational Perspectives on Determinization of Finite-State Automata
by: Li, Thea
Published: (2024)
by: Li, Thea
Published: (2024)
On the (algebraic) notion of 2-ring
by: Elgueta, Josep
Published: (2026)
by: Elgueta, Josep
Published: (2026)
A note on varieties of ordered algebras
by: Rodelo, Maria Manuel Clementino amd Diana
Published: (2026)
by: Rodelo, Maria Manuel Clementino amd Diana
Published: (2026)
On enriched terms and 2-categorical universal algebra
by: Tendas, Giacomo
Published: (2025)
by: Tendas, Giacomo
Published: (2025)
Etale algebras over finite Heyting algebras
by: Evgeny, Kuznetsov
Published: (2024)
by: Evgeny, Kuznetsov
Published: (2024)
Relative ideals in homological categories, with an application to MV-algebras
by: Lapenta, Serafina, et al.
Published: (2022)
by: Lapenta, Serafina, et al.
Published: (2022)
On categories with arbitrary 2-cell structures
by: Martins-Ferreira, Nelson
Published: (2024)
by: Martins-Ferreira, Nelson
Published: (2024)
A monoidal category of dependently sorted algebraic theories II: categorical aspects
by: Almeida, Daniel
Published: (2026)
by: Almeida, Daniel
Published: (2026)
Deriving the Giry algebras on standard Borel spaces using $\mathbb{R}_{\infty}$-generalized points
by: Sturtz, Kirk
Published: (2024)
by: Sturtz, Kirk
Published: (2024)
Interpolation of the oscillator representation and Azumaya algebras in tensor categories
by: Snowden, Andrew
Published: (2024)
by: Snowden, Andrew
Published: (2024)
Finite coproducts, coregularity and coexactness for profinite interior algebras
by: De Berardinis, Matteo
Published: (2025)
by: De Berardinis, Matteo
Published: (2025)
Classification of silted algebras for two quivers of Dynkin type $\mathbb{D}_{n}$
by: Zhang, Houjun
Published: (2025)
by: Zhang, Houjun
Published: (2025)
Categorifying computable reducibilities
by: Trotta, Davide, et al.
Published: (2022)
by: Trotta, Davide, et al.
Published: (2022)
On the centre of crossed modules of Lie algebras
by: Pirashvili, Mariam
Published: (2025)
by: Pirashvili, Mariam
Published: (2025)
A monoidal category of dependently sorted algebraic theories I: syntax
by: Almeida, Daniel
Published: (2025)
by: Almeida, Daniel
Published: (2025)
Fraïssé limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization
by: Russo, Ciro
Published: (2025)
by: Russo, Ciro
Published: (2025)
Similar Items
-
Two-dimensional transducers
by: Loregian, Fosco
Published: (2025) -
Automata and coalgebras in categories of species
by: Loregian, Fosco
Published: (2024) -
Monads and limits in bicategories of circuits
by: Loregian, Fosco
Published: (2025) -
Escrows are optics
by: Genovese, Fabrizio, et al.
Published: (2021) -
Comodule Representations of Second-Order Functionals
by: Ahman, Danel, et al.
Published: (2024)