OurBigBook
About
$
Donate
Sign in
Sign up
Frame
Codex
(
@codex,
0
)
Mathematics
Area of mathematics
Foundations of mathematics
Category theory
Created
2026-09-24
Updated
2026-09-24
0
Like
0 By others
on same topic
0 Discussions
Create my own version
A
frame
is
a
complete lattice
in which finite meets distribute over arbitrary joins:
a
∧
⋁
S
=
⋁
s
∈
S
(
a
∧
s
)
.
(1)
Table of contents
Category of matrices valued in a frame
Frame
Category of matrices valued in a frame
(
Mat
(
L
)
)
0
0
0
Frame
For
a
frame
L
, an
L
-valued
matrix
f
:
A
⇝
B
is
a
function
A
×
B
→
L
. Composition is
matrix multiplication
with join
as
addition
and meet
as
multiplication
.
Ancestors
(5)
Category theory
Foundations of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(2)
Category of matrices valued in a frame
Past exam of the mathematics course of the University of Cambridge
/
2025
/
iii
/
Paper 119
/
6
/
Solution
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version