A finite algebraic presentation of Lawvere theories in the object-classifier topos
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Fiore, Marcelo, Ranchod, Sanjiv |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
A comparison between weakly protomodular and protomodular objects in unital categories
par: García-Martínez, Xabier, et autres
Publié: (2024)
par: García-Martínez, Xabier, et autres
Publié: (2024)
Ideally regular categories
par: Mantovani, Sandra, et autres
Publié: (2025)
par: Mantovani, Sandra, et autres
Publié: (2025)
The Lawvere condition
par: Martins-Ferreira, Nelson
Publié: (2025)
par: Martins-Ferreira, Nelson
Publié: (2025)
Birkhoff's variety theorem for relative algebraic theories
par: Kawase, Yuto
Publié: (2023)
par: Kawase, Yuto
Publié: (2023)
Comonadic approach to pretorsion theories
par: Caviglia, Elena, et autres
Publié: (2026)
par: Caviglia, Elena, et autres
Publié: (2026)
Relativized universal algebra via partial Horn logic
par: Kawase, Yuto
Publié: (2024)
par: Kawase, Yuto
Publié: (2024)
Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
par: Lucyshyn-Wright, Rory B. B., et autres
Publié: (2023)
par: Lucyshyn-Wright, Rory B. B., et autres
Publié: (2023)
A Polynomial Construction of Nerves for Higher Categories
par: Shapiro, Brandon T., et autres
Publié: (2024)
par: Shapiro, Brandon T., et autres
Publié: (2024)
Categories and functors of universal algebraic geometry. Automorphic equivalence of algebras
par: Tsurkov, A.
Publié: (2026)
par: Tsurkov, A.
Publié: (2026)
Dualities in the theory of accessible categories
par: Tendas, Giacomo
Publié: (2023)
par: Tendas, Giacomo
Publié: (2023)
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
par: Ko, Joanna
Publié: (2026)
par: Ko, Joanna
Publié: (2026)
Categories by Kan extension
par: Spivak, David I.
Publié: (2025)
par: Spivak, David I.
Publié: (2025)
Morita theory for quantales
par: Mesablishvili, Bachuki
Publié: (2025)
par: Mesablishvili, Bachuki
Publié: (2025)
Towards enriched universal algebra
par: Rosický, Jiří, et autres
Publié: (2023)
par: Rosický, Jiří, et autres
Publié: (2023)
A variety of co-quasivarieties
par: Clementino, Maria Manuel, et autres
Publié: (2024)
par: Clementino, Maria Manuel, et autres
Publié: (2024)
Partial Mal'tsevness and partial protomodularity
par: Bourn, Dominique
Publié: (2015)
par: Bourn, Dominique
Publié: (2015)
Additive Enrichment from Coderelictions
par: Lemay, Jean-Simon Pacaud
Publié: (2025)
par: Lemay, Jean-Simon Pacaud
Publié: (2025)
More on soundness in the enriched context
par: Tendas, Giacomo
Publié: (2024)
par: Tendas, Giacomo
Publié: (2024)
Gabriel-Ulmer duality for topoi and its relation with site presentations
par: Di Liberti, Ivan, et autres
Publié: (2019)
par: Di Liberti, Ivan, et autres
Publié: (2019)
Filtered colimit elimination from Birkhoff's variety theorem
par: Kawase, Yuto
Publié: (2023)
par: Kawase, Yuto
Publié: (2023)
Limits in dagger categories
par: Heunen, Chris, et autres
Publié: (2018)
par: Heunen, Chris, et autres
Publié: (2018)
On Naturally and Weakly Mal'tsev Categories
par: Martins-Ferreira, Nelson
Publié: (2025)
par: Martins-Ferreira, Nelson
Publié: (2025)
Hearts of set-generated t-structures have a set of generators
par: Saorín, Manuel
Publié: (2024)
par: Saorín, Manuel
Publié: (2024)
Ultracategories as colax algebras for a pseudo-monad on CAT
par: Hamad, Ali
Publié: (2025)
par: Hamad, Ali
Publié: (2025)
Parametric Distributive Laws: uniform monad composition
par: Perticone, Lorenzo
Publié: (2025)
par: Perticone, Lorenzo
Publié: (2025)
A syntactic characterization of weakly Mal'tsev varieties
par: Egner, Nadja, et autres
Publié: (2024)
par: Egner, Nadja, et autres
Publié: (2024)
Relative monadicity
par: Arkor, Nathanael, et autres
Publié: (2023)
par: Arkor, Nathanael, et autres
Publié: (2023)
Tangentads: a formal approach to tangent categories
par: Lanfranchi, Marcello
Publié: (2025)
par: Lanfranchi, Marcello
Publié: (2025)
Classifying localizing subcategories of a Grothendieck category
par: Sazeedeh, Reza
Publié: (2025)
par: Sazeedeh, Reza
Publié: (2025)
Revisiting Hugo Volger's paper Uber die Existenz der freien Algebren
par: Menni, Matias, et autres
Publié: (2024)
par: Menni, Matias, et autres
Publié: (2024)
Homological Lemmas in a Non-pointed Context
par: Cappelletti, Andrea, et autres
Publié: (2024)
par: Cappelletti, Andrea, et autres
Publié: (2024)
Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
par: Arkor, Nathanael, et autres
Publié: (2024)
par: Arkor, Nathanael, et autres
Publié: (2024)
Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
par: Kamio, Yuhi, et autres
Publié: (2024)
par: Kamio, Yuhi, et autres
Publié: (2024)
Monads in 2-categories
par: Fairbanks, Aaron David
Publié: (2026)
par: Fairbanks, Aaron David
Publié: (2026)
Sketches and Classifying Logoi
par: Di Liberti, Ivan, et autres
Publié: (2024)
par: Di Liberti, Ivan, et autres
Publié: (2024)
A recognition criterion for lax-idempotent pseudomonads
par: Bourke, John
Publié: (2025)
par: Bourke, John
Publié: (2025)
The nerve theorem for relative monads
par: Arkor, Nathanael, et autres
Publié: (2024)
par: Arkor, Nathanael, et autres
Publié: (2024)
Traced Monads and Hopf Monads
par: Hasegawa, Masahito, et autres
Publié: (2022)
par: Hasegawa, Masahito, et autres
Publié: (2022)
Parametrized equivalence relation on the global class of morphisms of a category and frame-theoretic examples
par: Idrissi, Nizar El
Publié: (2026)
par: Idrissi, Nizar El
Publié: (2026)
Unbiased multicategory theory
par: Pisani, Claudio
Publié: (2024)
par: Pisani, Claudio
Publié: (2024)
Documents similaires
-
A comparison between weakly protomodular and protomodular objects in unital categories
par: García-Martínez, Xabier, et autres
Publié: (2024) -
Ideally regular categories
par: Mantovani, Sandra, et autres
Publié: (2025) -
The Lawvere condition
par: Martins-Ferreira, Nelson
Publié: (2025) -
Birkhoff's variety theorem for relative algebraic theories
par: Kawase, Yuto
Publié: (2023) -
Comonadic approach to pretorsion theories
par: Caviglia, Elena, et autres
Publié: (2026)