Related papers: Representing geometric morphisms using power local…
We discuss how triposes may be understood as generalizations of localic geometric morphisms.
We establish a duality between monads and monadic morphisms in any $(\infty,2)$-category and characterize monadic morphisms in a wide class of examples. This duality unifies several dualities between algebraic structures and their…
A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…
A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…
The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…
We prove that there is a monadic adjunction between the category of bounded posets with involution and the category of orthomodular posets.
A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. In \cite{DR2} we gave characterizations of monomorphisms (resp. epimorphisms) in arbitrary pro-categories, pro-(C), where (C) has…
We prove that there is a monadic adjunction between the category of bounded posets and the category of pseudo effect algebras.
We investigate several categories related to transition structures, using a mixture of algebraic and topological methods. We show how two such categories are connected by a contravariant adjunction. This is the most detailed of a family of…
Let $D, \Omega_1, ..., \Omega_m$ be irreducible bounded symmetric domains. We study local holomorphic maps from $D$ into $\Omega_1 \times... \Omega_m$ preserving the invariant $(p, p)$-forms induced from the normalized Bergman metrics up to…
The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…
We extend the classical (connected, etale) factorization of locally connected geometric morphisms into a (terminally connected, pro-etale) factorization for all geometric morphisms between Grothendieck topoi. We discuss properties of both…
We illustrate the generative power of the lifting property (orthogonality of morphisms in a category) as means of defining natural elementary mathematical concepts by giving a number of examples in various categories, in particular showing…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
In a category $\mathcal{C}$ with a proper $(\mathcal{E}, \mathcal{M})$-factorization system, we study the notions of strict, co-strict, initial and final morphisms with respect to a topogenous order. Besides showing that they allow…
We introduce a notion of distributor of sites, involving suited analogs of flatness and cover-preservation, and show that this notion jointly generalizes those of morphism and comorphism of sites. Given two sites, we exhibit an adjunction…
We describe a construction that to each algebraically specified notion of higher-dimensional category associates a notion of homomorphism which preserves the categorical structure only up to weakly invertible higher cells. The construction…
The Topological Representation Theorem for (oriented) matroids states that every (oriented) matroid can be realized as the intersection lattice of an arrangement of codimension one homotopy spheres on a homotopy sphere. In this paper, we…
We give a structural characterisation of linear operators from one $C^\ast$% -algebra into another whose adjoints map extreme points of the dual ball onto extreme points. We show that up to a $\ast$-isomorphism, such a map admits of a…
The category of all monads over many-sorted sets (and over other "set-like" categories) is proved to have coequalizers and strong cointersections. And a general diagram has a colimit whenever all the monads involved preserve monomorphisms…