Results 51 to 60 of about 141 (99)

Étale groupoids and their quantales

, 2007
We establish close and previously unknown relations between quantales and groupoids. In particular, to each étale groupoid, either localic or topological, there is associated a unital involutive quantale.
Resende, Pedro
core   +1 more source

The lattice of smooth sublocales as a Bruns-Lakser completion

v3: revised version, to appear in Applied Categorical ...
Arrieta, Igor, Suarez, Anna Laura
openaire   +2 more sources

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. [PDF]

J Autom Reason, 2018
Blanchette JC, Fleury M, Lammich P, Weidenbach C.   +3 more
europepmc   +1 more source

Partitioning of the 2-microm circle plasmid of Saccharomyces cerevisiae. Functional coordination with chromosome segregation and plasmid-encoded rep protein distribution. [PDF]

J Cell Biol, 2000
Velmurugan S, Yang XM, Chan CS, Dobson M, Jayaram M.   +4 more
europepmc   +1 more source

Closure and compactness in frames [PDF]

, 2010
Thesis (MSc (Mathematics))--University of Stellenbosch, 2010.ENGLISH ABSTRACT: As an introduction to point-free topology, we will explicitly show the connection between topology and frames (locales) and introduce an abstract notion, which in the point ...
Masuret, Jacques
core  

Some point-free aspects of connectedness

, 2013
In this thesis we present the Stone representation theorem, generally known as Stone duality in the point-free context. The proof is choice-free and, since we do not have to be concerned with points, it is by far simpler than the original.
Jakl, Tomáš
core  

Tightness relative to some (co)reflections in topology

, 2016
We address what might be termed the reverse reflection problem: given a monoreflection from a category A onto a subcategory B, when is a given object B ∈ B the reflection of a proper subobject? We start with a well known specific instance of this problem,
Walters-Wayland, Joanne, Banaschewski, Bernhard, Jakl, Tomáš, Pultr, Aleš, Ball, Richard N.   +4 more
core  

Some point-free aspects of connectedness

, 2016
In this thesis we present the Stone representation theorem, generally known as Stone duality in the point-free context. The proof is choice-free and, since we do not have to be concerned with points, it is by far simpler than the original.
Jakl, Tomáš
core  

Spatial and Single-Cell Analyses Reveal Heterogeneity of DNAM-1 Receptor-Ligand Interactions That Instructs Intratumoral γδT-cell Activity. [PDF]

Cancer Res
Wang X, Wang H, Lu Z, Liu X, Chai W, Wang W, Feng J, Yang S, Yang W, Cheng H, Chen C, Zhang S, Sun N, Liu Q, Li Q, Song W, Jin F, Zeng Q, Wang S, Su Y, Wang H, Ni X, Gui J.   +22 more
europepmc   +1 more source