Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
formal category theory (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/198)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Adjoint functor theorems for lax-idempotent pseudomonads
Arkor, Nathanael
;
Di Liberti, Ivan
;
Loregian, Fosco
Theory and Applications of Categories
2024
/
p. 667-685
http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
The formal theory of relative monads
Arkor, Nathanael
;
McDermott, Dylan
Journal of pure and applied algebra
2024
/
art. 107676, 107 p. : ill
https://doi.org/10.1016/j.jpaa.2024.107676
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 2, displaying
1 - 2
keyword
198
1.
formal category theory
2.
category theory
3.
enriched category theory
4.
formal language theory
5.
assessment category
6.
bimonoidal category
7.
closed category
8.
cocomplete category
9.
cyclic category
10.
double category
11.
duplicial category
12.
free monoidal category
13.
Locally graded category
14.
monoidal category
15.
omega-category
16.
orbit category
17.
skew-monoidal category
18.
slice 2-category
19.
slice category
20.
symmetric monoidal category
21.
triangulated category
22.
2-category
23.
Automata, Formal Verification
24.
Formal
25.
formal and combined safety elements
26.
formal and informal
27.
formal concept analysis
28.
formal education
29.
formal ferification
30.
formal languages
31.
formal logic
32.
formal methods
33.
formal PMS
34.
formal rationality
35.
formal reasoning
36.
formal revolution
37.
formal semantics
38.
formal specification
39.
formal verification
40.
mandatory formal concepts
41.
non-formal education
42.
rigorous formal diagrammatic system
43.
top-K formal concepts
44.
a coherent theory of proofs
45.
activity theory
46.
adaptive structuration theory (AST)
47.
algebraic number theory
48.
algebraic theory
49.
algorithm design and theory
50.
beam theory
51.
behavioral reasoning theory
52.
bicategory theory
53.
Boolean Algebra Meets Graph-Theory
54.
catastrophe theory
55.
chaos theory
56.
coding theory
57.
cognitive theory
58.
commitment theory
59.
communication channels (information theory)
60.
complexity leadership theory
61.
complexity theory
62.
computation theory
63.
computer softwaregraph theory
64.
conservation of resources theory
65.
Consumer Culture Theory
66.
control theory
67.
Cooper-Helmstetter cell cycle theory
68.
cosmology: theory
69.
critical theory of technology
70.
cultural theory of international relations
71.
dark matter theory
72.
decision theory
73.
Dempster-Shafer theory
74.
Demster-Shafer Theory
75.
density functional theory
76.
density functional theory (DFT)
77.
dependent type theory
78.
design theory
79.
development theory
80.
Digital Government Theory: Development and Application
81.
dispersive theory
82.
domain theory
83.
ecological systems theory
84.
economic theory
85.
end of theory
86.
energetic impact theory
87.
evolutionary theory of policy capacity
88.
Flow theory
89.
fully nonlinear potential theory
90.
game theory
91.
general systems theory
92.
general theory of information transfer
93.
general vibration theory
94.
graph theory
95.
gravitational waves / theory
96.
grounded theory
97.
group theory
98.
group threat theory
99.
higher-order beam theory
100.
History and Theory
101.
homotopy theory
102.
homotopy type theory
103.
housemoney effect prospect theory
104.
iceberg theory of culture
105.
image theory
106.
information theory
107.
innovation theory
108.
institutional theory
109.
intellectual capital theory
110.
interdependence theory
111.
inverse problem theory/applications
112.
inverse problems theory/applications
113.
job search theory
114.
Lawvere theory
115.
layer-wise displacement theory
116.
linear systems theory
117.
maritime investment theory
118.
mechanism design theory
119.
middle-range theory
120.
modern portfolio theory
121.
network theory
122.
nonlinear shallow water theory
123.
nonlinear shallow-water theory
124.
nonlinear strip theory
125.
nonlinear theory
126.
normal torsion theory
127.
number theory
128.
organization theory
129.
organizational theory
130.
peer‐to‐peer theory
131.
perceived customer value theory
132.
phase field theory
133.
picture theory
134.
protection motivation theory
135.
proto-theory of design
136.
punctuated equilibrium theory
137.
rational choice theory
138.
real options theory
139.
realization theory
140.
reduction theory
141.
refined zigzag theory
142.
regulatory focus theory
143.
sampling theory
144.
scapegoat theory
145.
search and matching theory
146.
self-determination theory
147.
self-determination theory of work motivation
148.
set theory
149.
shallow water theory
150.
shallow‐water theory
151.
sign theory
152.
signalling theory
153.
social exchange theory
154.
social identity theory
155.
social practice theory
156.
social presence theory
157.
social representation theory
158.
social system theory
159.
social systems theory
160.
sociological curriculum theory
161.
S-O-R theory
162.
speech-act theory
163.
stakeholder theory
164.
Stakeholder-oriented decision theory
165.
State Theory
166.
stimulus-organism-response theory
167.
stochastic learning theory
168.
strategic narrative theory
169.
strategic narrative theory
170.
Straussian theory model
171.
structuration theory
172.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
173.
switching theory
174.
synchronous reference frame theory
175.
system theory
176.
systems theory
177.
the RAT theory
178.
theory
179.
theory and practice of meta-modelling with application in healthcare
180.
theory building
181.
theory of accounting
182.
Theory of computation
183.
Theory Of Constraints (TOC)
184.
theory of economic development
185.
theory of inventive problem solving (TRIZ)
186.
theory of natural disaster
187.
Theory of paradox
188.
theory of planned behavior
189.
theory of planned behaviour
190.
theory of signs
191.
theory of value
192.
ticked cubical type theory
193.
time-dependent density functional theory (TD-DFT)
194.
type theory
195.
unified theory of acceptance and use of technology
196.
value theory
197.
virtual disc theory
198.
2D+T theory
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT