:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Michie, Cameron, Tomasic, Ivan
Format:	Preprint
Publié:	2024
Sujets:	Category Theory Logic Rings and Algebras 18B25, 13D03
Accès en ligne:	https://arxiv.org/abs/2403.08087
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Sites and Grothendieck toposes: an introduction
par: Caramello, Olivia, et autres
Publié: (2025)

Existentially closed models and locally zero-dimensional toposes
par: Kamsma, Mark, et autres
Publié: (2024)

Expanding Čech cohomology for quantales
par: Tenório, Ana Luiza, et autres
Publié: (2024)

Coherent and ideal actions in ideally exact categories
par: Mancini, Manuel, et autres
Publié: (2025)

Approximation Theory and Elementary Submodels
par: Cox, Sean
Publié: (2024)

A topos for extended Weihrauch degrees
par: Maschio, Samuele, et autres
Publié: (2025)

On abstract and concrete minions
par: Juhrich, Lukas
Publié: (2025)

Bochvar algebras: A categorical equivalence and the generated variety
par: Bonzio, Stefano, et autres
Publié: (2024)

The Gamified Katětov order is not linear (in fact, very much not so)
par: Kihara, Takayuki, et autres
Publié: (2026)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
par: Gilson, Frank
Publié: (2025)

A category of arrow algebras for modified realizability
par: Tarantino, Umberto
Publié: (2024)

Dualizations of approximations, $\aleph_1$-projectivity, and Vopěnka's Principles
par: Yassine, Asmae Ben, et autres
Publié: (2024)

The Game-Theoretic Katětov Order and Idealised Effective Subtoposes
par: Kihara, Takayuki, et autres
Publié: (2026)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
par: Lambert, Michael J.
Publié: (2024)

Arrow algebras
par: Berg, Benno van den, et autres
Publié: (2023)

Logic and Concepts in the 2-category of Topoi
par: Di Liberti, Ivan, et autres
Publié: (2025)

Quantization of infinitesimal braidings and pre-Cartier quasi-bialgebras
par: Esposito, Chiara, et autres
Publié: (2025)

A $j$-translation with Kripke forcing relation
par: Nakata, Satoshi
Publié: (2026)

Connectedness through decidable quotients
par: Hernández, Enrique Ruiz, et autres
Publié: (2023)

Non-singular maps in toposes with a local state classifier
par: Menni, Matí as
Publié: (2025)

Globalization and the biactegory of partial modules
par: Batista, Eliezer, et autres
Publié: (2025)

Abelian objects in categories with normal projections
par: Hoefnagel, Michael, et autres
Publié: (2025)

Atomic Toposes with Co-Well-Founded Categories of Atoms
par: Marquès, Jérémie
Publié: (2024)

Generation of Grothendieck topologies, provability and operations on subtoposes
par: Caramello, Olivia, et autres
Publié: (2025)

Internal 1-topoi in 2-topoi
par: Helfer, Joseph
Publié: (2024)

The algebraic internal groupoid model of Martin-Löf type theory
par: Hughes, Calum
Publié: (2025)

The elementary theory of the 2-category of small categories
par: Hughes, Calum, et autres
Publié: (2024)

On actions and split extensions in varieties of hoops: the case of strong section
par: Mancini, Manuel, et autres
Publié: (2025)

A Gelfand duality for continuous lattices
par: Chen, Ruiyuan
Publié: (2023)

On the theories classified by an étendue
par: Wrigley, Joshua
Publié: (2025)

Craig Interpolation for Subgeometric Logics
par: Di Liberti, Ivan, et autres
Publié: (2026)

The representing localic groupoid for a geometric theory
par: Manuell, Graham, et autres
Publié: (2023)

The cohomology objects of a semi-abelian variety are small
par: Mattenet, Sébastien, et autres
Publié: (2024)

Pre-Lie deformation theory
par: Dotsenko, Vladimir, et autres
Publié: (2015)

Topoi with enough points
par: Di Liberti, Ivan, et autres
Publié: (2024)

Logical Structure on Inverse Functor Categories
par: Fiore, Marcelo, et autres
Publié: (2024)

The free bifibration on a functor
par: Clarke, Bryce, et autres
Publié: (2025)

Hopf formulae for homology of skew braces
par: Gran, M., et autres
Publié: (2024)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
par: Inoué, Takao
Publié: (2026)

Modules (co)reduced relative to another module
par: Abebaw, Tilahun, et autres
Publié: (2024)