募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
28.5% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings
Springer International Publishing;Springer
Daniela Petrişan
,
Jurriaan Rot
functor
coalgebra
ϕ
theorem
category
automata
inl
algorithm
doi.org
algebras
definition
proposition
lifting
define
finite
games
bisimilarity
defined
sect
row
initial
coalgebraic
coalgebras
lemma
universal
first
fσ
injective
map
codensity
automaton
categorical
modal
preserves
strategy
frames
consider
morphism
functors
maps
function
sets
νf
winning
assume
limit
systems
exists
liftings
monad
年:
2020
语言:
english
文件:
PDF, 4.22 MB
您的标签:
0
/
0
english, 2020
2
Kan extensions in Enriched Category Theory
Springer
Eduardo J. Dubuc
functor
category
proposition
diagram
functors
rans
exists
limits
adjoint
categories
limit
continuous
isomorphism
theorem
pointwise
cotensors
faithful
monad
transformations
commutes
formula
commutative
consider
codensity
preserves
unique
diagrams
monomorphism
morphism
suppose
extensions
completion
correspondence
existence
equivalent
codense
commutativity
cotensor
observe
preserved
representables
cotensored
naturality
ordinary
remark
dual
equal
isomorphisms
prove
representable
年:
1970
语言:
english
文件:
DJVU, 999 KB
您的标签:
0
/
0
english, 1970
3
Kan Extensions in Enriched Category Theory
Springer
Eduardo J. Dubuc
functor
rans
category
proposition
diagram
functors
exists
limit
limits
adjoint
categories
theorem
continuous
isomorphism
pointwise
monad
cotensors
faithful
commutes
transformations
formula
consider
commutative
morphism
unique
codensity
diagrams
extensions
preserves
commutativity
monomorphism
suppose
completion
equivalent
codense
correspondence
existence
ranr
representables
observe
preserved
cotensor
cotensored
naturality
remark
dual
equal
isomorphisms
ordinary
prove
年:
1970
语言:
english
文件:
DJVU, 1.02 MB
您的标签:
0
/
0
english, 1970
4
Kan Extensions in Enriched Category Theory(en)(172s)
Dubuc E.J.
functor
rans
category
proposition
functors
diagram
exists
limits
adjoint
limit
categories
continuous
theorem
isomorphism
pointwise
faithful
monad
cotensors
transformations
formula
commutes
morphism
consider
monomorphism
commutative
diagrams
preserves
unique
codensity
extensions
suppose
commutativity
completion
monomorphisms
existence
codense
correspondence
equivalent
representables
cotensor
cotensored
observe
preserved
lira
ordinary
remark
representable
dual
equal
isomorphisms
语言:
english
文件:
DJVU, 2.27 MB
您的标签:
0
/
0
english
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×