<--- Back to Details
First PageDocument Content
Topological space / Alexandrov topology / Connected space / Product topology / Homotopy / Continuous function / Compact-open topology / Scott continuity / Digital topology / Topology / General topology / Finite topological space
Date: 2008-12-30 12:00:59
Topological space
Alexandrov topology
Connected space
Product topology
Homotopy
Continuous function
Compact-open topology
Scott continuity
Digital topology
Topology
General topology
Finite topological space

Add to Reading List

Source URL: www.fmi.uni-sofia.bg

Download Document from Source Website

File Size: 73,41 KB

Share Document on Facebook

Similar Documents

LYT7503-7504 LYTSwitch-7 Family Phase-Cut Dimmable Single-Stage LED Driver IC with Combined PFC and Constant Current Output for Buck Topology Product Highlights

DocID: 1tvWh - View Document

Mathematical analysis / Mathematics / Measure theory / Homotopy theory / Differential topology / Analysis / Boolean algebra / Probability theory / Sigma-algebra / Generalised Whitehead product

Improved approximation for Fr´echet distance on c-packed curves matching conditional lower bounds (extended abstract) Karl Bringmann∗ Marvin K¨

DocID: 1rqIU - View Document

Mathematics / Algebra / Topology / Homotopy theory / Category theory / Algebraic topology / Differential topology / Sheaf theory / Pullback / Fibration / Cartesian closed category / Product

Internal Completeness of Categories of Domains Paul Taylor 1985 This paper was presented at Category Theory and Computer Programming bf 1, University of Surrey (Guildford), SeptemberIt was published in Springer-Ve

DocID: 1rqwq - View Document

Category theory / Mathematics / Abstract algebra / Functors / Limit / Adjoint functors / Universal property / Diagram / Natural transformation / Coproduct / Product / Grothendieck topology

Cartesian Closure for Stable Categories (draft) Paul Taylor

DocID: 1rpTZ - View Document

Mathematics / Logic / Proof theory / Mathematical logic / Deductive reasoning / Natural deduction / Symbol / Differential topology / Generalised Whitehead product / CurryHoward correspondence

Herbrand-Confluence for Cut Elimination in Classical First Order Logic Stefan Hetzl1 and Lutz Straßburger2 1 2

DocID: 1rkb2 - View Document