270 search results - page 2 / 54 » Directed Algebraic Topology, Categories and Higher Categorie... |
ACS
2007
13 years 5 months ago
2007
In this article we carry on the study of the fundamental category (Goubault and Raussen, 2002; Goubault, 2003) of a partially ordered topological space (Nachbin, 1965; Johnstone, 1...
ACS
2004
13 years 5 months ago
2004
Abstract. In this paper we investigate effective descent morphisms in categories of reflexive and transitive lax algebras. We show in particular that open and proper maps are effec...
DAGSTUHL
2006
13 years 6 months ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...
ISQED
2011
IEEE
12 years 9 months ago
2011
IEEE
The extent to which the 6T SRAM bit cell can be perpetuated through continued scaling is of enormous technological and economic importance. Understanding the growing limitations i...
ENTCS
2007
13 years 5 months ago
2007
Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being esta...