Results 201 to 210 of about 2,242 (239)
Some of the next articles are maybe not open access.
Algebra Universalis, 1985
Besides categories of M-sets, where M is a monoid, the categories of Jonsson-Tarski algebras seem to be the only other known examples of varieties, which are also topoi. The (binary) Jonsson-Tarski variety was first observed to be a topos by P. Freyd. This example was generalized, first by the reviewer and then by Z. Barel.
openaire +2 more sources
Besides categories of M-sets, where M is a monoid, the categories of Jonsson-Tarski algebras seem to be the only other known examples of varieties, which are also topoi. The (binary) Jonsson-Tarski variety was first observed to be a topos by P. Freyd. This example was generalized, first by the reviewer and then by Z. Barel.
openaire +2 more sources
Globular perspective for Grothendieck ∞-topos and Grothendieck (∞,n)-topos
2016In this short talk we first briefly recall how to build, for each integers n0, monads Tn on the category Glob of globular sets which algebras are globular models of (1; n)-categories, which have the virtue to be weak 1-categories of Penon and thus also to be weak 1-categories of Batanin.
openaire +1 more source
The Unification of Mathematics via Topos Theory
Studies in Universal Logic, 2022Olivia Caramello
exaly
A Topological Groupoid Representing the Topos of Presheaves on a Monoid
Applied Categorical Structures, 2020Jens Hemelaer
exaly
Nanocluster analysis of intermetallic structures with the program package TOPOS
Structural Chemistry, 2012Vladislav Blatov, Blatov V A
exaly